Knowledge Representation: Logical, Philosophical, and Computational FoundationsJohn 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. |
Common terms and phrases
abstract agent Agnt application axioms called Chrc concept type conceptual graph conceptual relation constraints contains context coreference corresponds database default defined definition depends derived described determine diagrams distinction domain dyadic dyadic relation engine English equivalent event example exists Figure first-order logic formal formula frame function goal hierarchy implemented input kinds knowledge representation lambda expression mereology metalanguage metalevel modal modal logic natural language negation nested notation nouns object occur ontology operator pattern Peirce Peirce's person Peterbilt Petri net Petri nets physical possible predicate calculus predicate logic primitive problem procedures Prolog proposition pyramid represent role rules of inference Section semantic sentence shows simulate situation slots specify statement structure subset subtype supertype supports symbol theorem Thme tion token trailer truck transition translated true tuple type label values variables verbs word