๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

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

โฌ‡  Acquire This Volume

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 (Princeton Foundatio
โœ John P. Burgess ๐Ÿ“‚ Library ๐Ÿ“… 2009 ๐ŸŒ English

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

Graph-based Knowledge Representation: Co
โœ Michel Chein, Marie-Laure Mugnier (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› Springer-Verlag London ๐ŸŒ English

<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

Graph-based Knowledge Representation: Co
โœ Michel Chein, Marie-Laure Mugnier (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› Springer-Verlag London ๐ŸŒ English

<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

Graph-based knowledge representation: co
โœ Mugnier, Marie-Laure; Chein, Michel ๐Ÿ“‚ Library ๐Ÿ“… 2008;2009 ๐Ÿ› Springer ๐ŸŒ English

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

Foundations of Knowledge Representation
โœ Gerhard Lakemeyer, Bernhard Nebel (auth.), Gerhard Lakemeyer, Bernhard Nebel (ed ๐Ÿ“‚ Library ๐Ÿ“… 1994 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<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