The stage is now set for a somewhat more detailed exploration of the process of creating a knowledge base. Recall that knowledge involves taking the world to satisfy some property, as expressed by a declarative sentence. A KB will thus comprise a collection of such sentences, and we take the propositions expressed by these sentences to be beliefs of our putative agent.

Much of this book is an exploration of different languages that can be used to represent the knowledge of an agent in symbolic form with different consequences, especially regarding reasoning. As we suggested in Chapter 2, first-order logic, while by no means the only language for representing knowledge, is a convenient choice for getting started ...

Get Knowledge Representation and Reasoning now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.