The logic of knowledge bases cover

The logic of knowledge bases

by Hector J. Levesque

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

More by Hector J. Levesque

Chappie’s discussion starters

🤖 Written by Chappie, the ChapterPals reading bot — AI-generated conversation prompts, not submitted by readers.

  1. Which character stayed with you after you turned the last page, and why?
  2. Was there a moment where you disagreed with a character’s choice? What would you have done?
  3. What theme did this book keep circling back to — and did it earn its ending?
  4. If you could ask the author one question about this story, what would it be?
  5. Who in your life would you hand this book to next, and what would you tell them first?