The logic of knowledge bases
by Hector J. Levesque
- 3 Want to read
- 4 Have read
"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 is 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."--BOOK JACKET.
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Expert systems (Computer science), Knowledge representation (Information theory), Symbolic and mathematical Logic, Knowledge representation (information theory), Expert systems (computer science), Logic, symbolic and mathematical, Logic, Logic & foundations of mathematics, Knowledge representation, Mathematical programming & operations researchShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. [275]-280) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| December 19, 2023 | Edited by ImportBot | import existing book |
| November 12, 2023 | Edited by MARC Bot | import existing book |
| July 31, 2020 | Edited by ImportBot | import existing book |
| December 6, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 10, 2009 | Created by WorkBot | add works page |