Knowledge Representation: Logical, Philosophical, and Computational Foundations
โ Scribed by John F. Sowa
- Publisher
- Cengage Learning
- Year
- 1999
- Tongue
- English
- Leaves
- 609
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
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.
๐ SIMILAR VOLUMES
Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, mo
<p><P>This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a substantial focus on the computational properties.</P><P>Knowledge can be symbolically represented in many ways, and the authors have chosen labeled graphs for their modelin
<p><P>This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a substantial focus on the computational properties.</P><P>Knowledge can be symbolically represented in many ways, and the authors have chosen labeled graphs for their modelin
This book provides a de?nition and study of a knowledge representation and r- soning formalism stemming from conceptual graphs, while focusing on the com- tational properties of this formalism. Knowledge can be symbolically represented in many ways. The knowledge representation and reasoning formali
<p>This collection of thoroughly refereed papers presents state-of-the-art research results by well-known researchers on the foundations of knowledge representation and reasoning. In addition, there are two surveys, one by the volume editors intended as a guide to this book and another by Shoham and