Request for consultation

Thanks for your request. You’ll soon be chatting with a consultant to get the answers you need.
{{formPostErrorMessage.message}} [{{formPostErrorMessage.code}}]
First Name is required. 'First Name' must contain at least 0 characters 'First Name' cannot exceed 0 characters Please enter a valid First Name
Last Name is required. 'Last Name' must contain at least 0 characters 'Last Name' cannot exceed 0 characters Please enter a valid Last Name
Institution is required.
Discipline is required.
Why are you contacting us today? is required. 'Why are you contacting us today?' must contain at least 0 characters 'Why are you contacting us today?' cannot exceed 0 characters Please enter a valid Why are you contacting us today?

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

John F. Sowa

  • Published
  • 512 Pages


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.

John F. Sowa, State University of New York, Binghamton

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