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...

Full description

Bibliographic Details
Main Author: Moore, Robert Carter
Language:en_US
Published: 2004
Online Access:http://hdl.handle.net/1721.1/6898