Logical support in a time-varying model

  • Alan M. Thompson
Wednesday Morning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 87)


Techniques using logical dependencies as a means of monitoring the justifications of beliefs in a database have proved to be a valuable tool for automatic deduction and planning. A new technique for determining logical support dynamically within existing structure eliminates the need for declaring dependencies in clause form. Procedural specialists define the behavior of logical connectives and allow domain axioms to be expressed in a declarative form. The system uses dependency relationships in the world model to determine the consequences of actions and assumptions. The use of context layers in addition to dependencies remedies certain difficulties encoutered in previous modelling schemes, resulting in improved model accuracy following a state change.


Logical Support Local Uncertainty Logical Dependency Truth Value Alternate Support 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Doyle]
    Jon Doyle, "Truth Maintenance Systems for Problem Solving", A.I. Laboratory, MIT. AI-TR-419.Google Scholar
  2. [London]
    Philip E. London, "Dependency Networks as a Representation for Modelling in General Problem Solvers", Dept. of Computer Science, U. Maryland. TR-698.Google Scholar
  3. [Stallman]
    Richard Stallman and Gerald Sussman, "Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis", MIT AI Memo 380, also in AI Journal, Vol 9, No 2 (October 1977).Google Scholar
  4. [Thompson79]
    Alan Thompson, ‘Network Truth Maintenance for Deduction and Modelling," Proc. IJCAI6, Tokyo (1979).Google Scholar
  5. [Thompson80]
    Alan Thompson, "Network-Based Reasoning in ERIS—First Report," Jet Propulsion Laboratory Publication (Pending), Pasadena, CA.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Alan M. Thompson
    • 1
  1. 1.Information Systems Division Jet Propulsion LaboratoryCalifornia Institute of TechnologyPasadenaUSA

Personalised recommendations