Accession Number : ADA183430


Title :   Knowledge-Based Systems Workshop: Proceedings of a Workshop Held in St. Louis, Missouri on April 21-23, 1987


Descriptive Note : Annual rept. Apr 1986-Apr 1987


Corporate Author : SCIENCE APPLICATIONS INTERNATIONAL CORP ARLINGTON VA


Personal Author(s) : Baumann, Lee S


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a183430.pdf


Report Date : Apr 1987


Pagination or Media Count : 202


Abstract : Contents: Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults; Module-Oriented Programming in ABE: Modules and Abstract Datatypes; Annual Report of the Experimental Knowledge Systems Laboratory; On Making Expert Systems More Like Experts; The Loom Knowledge Representation Language; A Framework for Situation Assessment: Using Best-Explanation Reasoning to Infer Plans from Behavior; Concurrency in Abductive Reasoning; an Experiment in Knowledge-Based Signal Understanding Using Parallel Architectures; An Instrumented Architectural Simulation System; Considerations for Multiprocessor Topologies; RUM: A Layered Architecture for Reasoning with Uncertainty; Progress in Reasoning with Incomplete and Uncertain Information Part I: Reasoning with Uncertainty ; Part II: Analogical Reasoning; Part III: Reasoning with Incomplete Information; An Algebraic Foundation for Truth Maintenance; Logics of Justified Belief; Using T-norm Based Uncertainty Calculi in a Naval Situation Assessment Application; A role for Assumption Based and Nonmonotonic; Justifications in Automating Strategic Threat Analysis, and A Mathematical Theory for Diagnosis Based on the MONAD Concept.


Descriptors :   *COMPUTER PROGRAMMING , *PILOTS , *SYSTEMS ENGINEERING , ALGEBRA , ARCHITECTURE , CALCULI , COMPUTER ARCHITECTURE , FRAMES , INSTRUMENTATION , LABORATORIES , LANGUAGE , LAYERS , LOGIC , MAINTENANCE , MATHEMATICS , MILITARY APPLICATIONS , MISSOURI , MULTIPROCESSORS , NAVY , PARALLEL ORIENTATION , REASONING , SIMULATION , SPEECH RECOGNITION , STRATEGIC ANALYSIS , THEORY , THREATS , TOPOLOGY , VOICE COMMUNICATIONS , WORKSHOPS


Subject Categories : Military Aircraft Operations
      Computer Programming and Software
      Cybernetics


Distribution Statement : APPROVED FOR PUBLIC RELEASE