Knowledge Representation: Logical, Philosophical, and Computational Foundations
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.
44 pages matching theorem in this book
Results 1-3 of 44
What people are saying - Write a review
We haven't found any reviews in the usual places.
abstract agent Agnt applied axioms called concept type conceptual graph conceptual relation constraints contains context coreference corresponds database default defined definition depends derived described determine diagram distinction domain dyadic engine English entity equivalent event example existential graphs existential quantifier exists Figure finite-state machines first-order logic formal formula frame function fuzzy goal hierarchy implemented indexicals input instance knowledge representation mereology metalanguage metalevel modal modal logic natural language negation nested notation nouns object occur ontology Peirce Peirce's person Peterbilt Petri nets physical possible predicate calculus predicate logic prehended primitive problem procedures Prolog proposition represent rules of inference Section semantic sentence set theory shows simulate situation slots specify statement structure subset subtype supertype supports syllogism symbol theorem tion token trailer truck transition translated true tuple type label universal quantifier variables verb word