1980 | ReviewPaper | Buchkapitel
Logical support in a time-varying model
verfasst von : Alan M. Thompson
Erschienen in: 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.