Reasoning from Incomplete Knowledge in a Procedural Deduction System
One very useful idea in AI research has been the notion of an explicit model of a problem situation. Procedural deduction languages, such as PLANNER, have been valuable tools for building these models. But PLANNER and its relatives are very limited in their ability to describe situations which are o...
Main Author: | Moore, Robert Carter |
---|---|
Language: | en_US |
Published: |
2004
|
Online Access: | http://hdl.handle.net/1721.1/6898 |
Similar Items
-
AMORD: A Deductive Procedure System
by: Kleer, Johan de, et al.
Published: (2004) -
AMORD: A Deductive Procedure System
by: Sussman, Gerald Jay, et al.
Published: (2008) -
Deductive theories and non-deductive knowledge
by: Paseau, AC
Published: (2023) -
Repairing Incomplete Reasoners
by: Stoilos, G, et al.
Published: (2011) -
The Use of Equality in Deduction and Knowledge Representation
by: McAllester, David Allen
Published: (2004)