Logical support in a time-varying model
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.
KeywordsLogical Support Local Uncertainty Logical Dependency Truth Value Alternate Support
Unable to display preview. Download preview PDF.
- [Doyle]Jon Doyle, "Truth Maintenance Systems for Problem Solving", A.I. Laboratory, MIT. AI-TR-419.Google Scholar
- [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
- [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
- [Thompson79]Alan Thompson, ‘Network Truth Maintenance for Deduction and Modelling," Proc. IJCAI6, Tokyo (1979).Google Scholar
- [Thompson80]Alan Thompson, "Network-Based Reasoning in ERIS—First Report," Jet Propulsion Laboratory Publication (Pending), Pasadena, CA.Google Scholar