The logic of knowledge bases | OPEN EDUCATIONAL RESOURCES

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Text

The logic of knowledge bases

Levesque, Hector J., - Personal Name;

"The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge--a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it."

Availability

No copy data

Detail Information

Series Title: -
Call Number: -
Publisher: Knowledge representation (Info : Cambridge, Mass. : MIT Press,., 2000
Collation: -
Language: English
ISBN/ISSN: 9780262278232
Classification: NONE
Content Type: text
Media Type: computer
Carrier Type: online resource
Edition: 1
Subject(s): COMPUTER SCIENCE/Artificial Intelligence
Specific Detail Info: -
Statement of Responsibility: Levesque, Hector J.,

Other Information

Cataloger: Suwardi
Source: https://direct.mit.edu/books/book/3259/The-Logic-of-Knowledge-Bases
Validator: Suwardi
Digital Object Identifier (DOI): https://doi.org/10.7551/mitpress/4290.001.0001
Journal Volume: -
Journal Issue: -
Subtitle: -
Parallel Title: -

Other version/related

No other version available

File Attachment

The logic of knowledge bases

Comments

You must be logged in to post a comment