Principles of Knowledge Representation and Reasoning in the FRAPPE System
The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning, truth maintenance, hybrid architecture, and many sorted logic.
Main Authors: | Feldman, Yishai A., Rich, Charles |
---|---|
Format: | Working Paper |
Language: | en_US |
Published: |
MIT Artificial Intelligence Laboratory
2008
|
Online Access: | http://hdl.handle.net/1721.1/41500 |
Similar Items
-
Le Japon quatre fois frappé
by: Philippe Pelletier
Published: (2011-03-01) -
The Interaction Between Truth Maintenance, Equality, and Pattern-Directed Invocation: Issues of Completeness and Efficiency
by: Feldman, Yishai A., et al.
Published: (2008) -
Pattern-Directed Invocation with Changing Equations
by: Feldman, Yishai A., et al.
Published: (2004) -
Knowledge representation and reasoning /
by: Brachman, Ronald J., 1949-, et al.
Published: (2004) -
The DLV System for Knowledge Representation and Reasoning
by: Leone, N, et al.
Published: (2002)