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) -
The consistent preferences approach to deductive reasoning in games /
by: 227287 Asheim, Geir B.
Published: (2006) -
Logic : form and function; the mechanization of deductive reasoning /
by: 364822 Robinson, J. A.
Published: (1979)