Knowledge Representation: Logical, Philosophical, and Computational Foundations

Front Cover
Brooks/Cole, 2000 - Computers - 594 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.

From inside the book

Contents

CHAPTER
1
CHAPTER
52
Knowledge Representations
132
Copyright

12 other sections not shown

Common terms and phrases

About the author (2000)

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.

Bibliographic information