Higher Education

Knowledge Representation: Logical, Philosophical, and Computational Foundations, 1st Edition

  • John F. Sowa State University of New York, Binghamton
  • ISBN-10: 0534949657  |  ISBN-13: 9780534949655
  • 512 Pages
  • © 2000 | Published
  • College Bookstore Wholesale Price = $163.75



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.

Features and Benefits

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

Table of Contents

1. Logic.
2. Ontology.
3. Knowledge Representation.
4. Processes.
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.
Name Index.
Subject Index.
Special Symbols.

Meet the Author

Author Bio

John F. Sowa

John Sowa is a Fellow of the American Association for Artificial Intelligence. He earned a bachelor¿s degree in Mathematics from MIT, a master¿s degree in Applied Mathematics from Harvard, and a doctorate in Computer Science from the Vrije Universiteit Brussel. He has published and edited several books and dozens of articles on artificial intelligence and related topics.