Request for consultation
John Sowa integrates logic, philosophy, linguistics, and computer science into this study of knowledge and its various models and implementations. His definitive new book shows how techniques of artificial intelligence, database design, and object-oriented programming help make knowledge explicit in a form that computer systems can use. The first three chapters are devoted to logic, ontology, and computable models of reality. Remaining chapters apply theories to the analysis of problems stated in ordinary language, and their translation to computable form. The text is self-contained, with each new idea defined when first mentioned; all formalism is developed in the body of the text or summarized in an appendix. Knowledge Representation is appropriate for advanced undergraduate and graduate students in computer science, as well as philosophy and linguistics students with some background in artificial intelligence or programming.
- Designed as the first core text for Knowledge Representation; previous courses have relied on collections of conference papers, many of which Sowa wrote.
- Presents topics in both the standard predicate calculus notation and the more readable conceptual graph notations; both notations are summarized in an appendix.
- Uses practical examples that support Sowa's conceptual presentation; an extended example - a hotel reservation system - is included in Appendix C.
- Assumes no previous knowledge of any language or system.
- Offers exercises at the end of each chapter ethat xtend the main presentation and address the central issue of converting "word problems" into appropriate representation; answers and hints for a sample of the exercises are included at the end of the book.
3. Knowledge Representation.
5. Purposes, Contexts, And Agents.
6. Knowledge Soup.
7. Knowledge Acquisition And Sharing.
Appendix A: Summary Of Notations
Appendix B: Sample Ontology.
Appendix C: Extended Example.
Answers To Selected Exercises.