|
|
Article: The Logic of Knowledge Bases.
- Article from:
- AI Magazine
- Article date:
- March 22, 2002
- Author:
CopyrightCOPYRIGHT 2002 American Association for Artificial Intelligence. This material is published under license from the publisher through the Gale Group, Farmington Hills, Michigan. All inquiries regarding rights should be directed to the Gale Group. (Hide copyright information)
|
Hector J. Levesque and Gerhard Lakemeyer, Cambridge, Massachusetts, The MIT Press, 282 pp., $45.00, ISBN 0-262-12232-4.
A knowledge-based system (KBS) contains (by definition) an explicitly codified body of knowledge, which causally determines its behavior. Hence, at a coarse-grained level of abstraction, KBSs can be characterized in terms of two components: (1) a knowledge base, encoding the knowledge embodied by the system, and (2) a reasoning engine, which is able to query the knowledge base, infer or acquire knowledge from external sources, and add new knowledge to the knowledge base. Levesque and Lakemeyer's The Logic of Knowledge Bases deals with the ...