Knowledge Representation: Logical, Philosophical, and Computational Foundations: Logical, Philosophical, and Computational Foundations

Book Description

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.

Customer Reviews:

A Unique Contribution.......2005-08-15

In this book, John Sowa conveys diverse and effective insights within the field of knowledge representation (KR). The frameworks he employs are deeply grounded philosphically. (Sowa's previous work on conceptual structures reactivated and extended the innovative work of Charles Sanders Peirce integrating logic and graph theory.) The work reviewed here surveys a wide range of KR issues from basic ontology to agency and processes. Chapter 6, Knowledge Soup, is widely recognized for framing and addressing some of the more demanding, and largely unresolved, challenges in the field.

Throughout the book, issues are explored in a coherent, readable way. Of course, KR implies the use of relevant formalisms, and readers with some background in some AI research tradition will be better prepared to absorb the book's insights. However, for students and scholars looking for an integrated overview, Sowa makes a unique contribution.

Good, but suffers from unnecessary complexity........2000-09-07

I thought the first three chapters did an excellent job of covering advances in knowledge representation. However chapter four is marred by an attempt to present what appears to be virtually every syntax used relating to processes. Somewhere in this gulf of complexity I think he has some basic concepts, but they are hard to reach. It's equivalent to reading a book on algorithms in which the author presents the algorithms in C, Cobol, Fortran, Basic, SAS, etc. Why not just present the concepts within the context of a MINIMUM of syntax? Still the book is worth reading and has good appendixes.

Logical Foundations of Artificial Intelligence

Average customer rating:

Logical Foundations of Artificial Intelligence
Michael R. Genesereth , and Nils J. Nislsson
Manufacturer: Morgan Kaufmann Publishers
ProductGroup: Book
Binding: Hardcover

General | Computers & Internet | Subjects | Books

Logic & Language | Philosophy | Nonfiction | Subjects | Books

General | Science | Subjects | Books

All Titles | Qualifying Textbooks - Fall 2007 | Stores | Books

Computers & Internet | Qualifying Textbooks - Fall 2007 | Stores | Books

Nonfiction | Qualifying Textbooks - Fall 2007 | Stores | Books

Science | Qualifying Textbooks - Fall 2007 | Stores | Books
Similar Items:

ASIN: 0934613311

Book Description

Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic.

The first section of the book introduces the logicist approach to AI--discussing the representation of declarative knowledge and featuring an introduction to the process of conceptualization, the syntax and semantics of predicate calculus, and the basics of other declarative representations such as frames and semantic nets. This section also provides a simple but powerful inference procedure, resolution, and shows how it can be used in a reasoning system.

The next several chapters discuss nonmonotonic reasoning, induction, and reasoning under uncertainty, broadening the logical approach to deal with the inadequacies of strict logical deduction. The third section introduces modal operators that facilitate representing and reasoning about knowledge. This section also develops the process of writing predicate calculus sentences to the metalevel--to permit sentences about sentences and about reasoning processes. The final three chapters discuss the representation of knowledge about states and actions, planning, and intelligent system architecture.

Book Description

Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community.

This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the book’s Web site.

Customer Reviews:

Must read for everyone interested in AI or philosophy.......2004-06-30

It is rare that a book appears which presents a solution to a major outstanding problem. It is even rarer when a book presents a solution which is both theoretically sound and undeniably practical. But this is such a book. The frame problem, which went unnoticed for the first 70 years of logic, and unsolved for the next 30, here gets a solution.

This book is the distillation of Reiter's lifeswork. Unlike many other such books, however, it is not a mere cut-n-paste of conference papers and tech reports. Instead of being a pastiche, it is rather a continuous, sustained argument, persuasively and clearly presented. A masterpiece.

There is something here to infuriate everybody. Those who think that AI shouldn't be using logic-based methods will be infuriated because Reiter has here, for the first time, made them work. Those who think that first-order logic is the only true logic will be infuriated, because Reiter shows how 2nd order logic is key. Those who think that AI is too theoretical will be infuriated because this is a practical book. Those who think that AI shouldn't worry about being practical will be infuriated, because Reiter has shown that the best theory leads to the most practical solution. Those who are LISP fans will be infuriated because his methods lead inexorably to PROLOG. Read the book, be infuriated by it, and humbly learn from it. The master speaks.

Book Description

In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some new results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other; and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of the various types of nonmonotonic reasoning, their applications and their logics. Theorem proving techniques for these logics are also described. The following chapters deal with formulations of nonmonotonic inheritance, and nonmonotonic reasoning based on nonmonotonic rules. The final chapter discusses the achievements in the field in the light of the Yale shooting example. The book will be welcomed by researchers in theoretical computer science and artificial intelligence.

Automata, Languages and Programming: 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings (Lecture Notes in Computer Science)

Average customer rating:

Automata, Languages and Programming: 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings (Lecture Notes in Computer Science)

Manufacturer: Springer
ProductGroup: Book
Binding: Paperback

General | Programming | Computers & Internet | Subjects | Books

General | Computers & Internet | Subjects | Books

General | Software | Computers & Internet | Subjects | Books

General | Mathematics | Science | Subjects | Books

General | Medicine | Subjects | Books

All Amazon Upgrade | Amazon Upgrade | Stores | Books

Computers & Internet | Amazon Upgrade | Stores | Books

Engineering | Amazon Upgrade | Stores | Books

Medicine | Amazon Upgrade | Stores | Books

Professional & Technical | Amazon Upgrade | Stores | Books

Science | Amazon Upgrade | Stores | Books

All Titles | Qualifying Textbooks - Fall 2007 | Stores | Books

Computers & Internet | Qualifying Textbooks - Fall 2007 | Stores | Books

Medicine | Qualifying Textbooks - Fall 2007 | Stores | Books

Professional | Qualifying Textbooks - Fall 2007 | Stores | Books

Science | Qualifying Textbooks - Fall 2007 | Stores | Books
ASIN: 3540438645

Book Description

This book constitutes the refereed proceedings of the 29th International Colloquium on Automata, Languages and Programming, ICALP 2002, held in Malaga, Spain, in July 2002.The 83 revised full papers presented together with 7 invited papers were carefully reviewed and selected from a total of 269 submissions. All current aspects of theoretical computer science are addressed and major new results are presented.

Computer Science Logic (Lecture Notes Series)

Average customer rating:

Computer Science Logic (Lecture Notes Series)
P., Ed. Clote
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback

General | Computers & Internet | Subjects | Books

General | Science | Subjects | Books

General | Medicine | Subjects | Books

All Amazon Upgrade | Amazon Upgrade | Stores | Books

Computers & Internet | Amazon Upgrade | Stores | Books

Medicine | Amazon Upgrade | Stores | Books

Professional & Technical | Amazon Upgrade | Stores | Books

Science | Amazon Upgrade | Stores | Books

All Titles | Qualifying Textbooks - Fall 2007 | Stores | Books

Computers & Internet | Qualifying Textbooks - Fall 2007 | Stores | Books

Medicine | Qualifying Textbooks - Fall 2007 | Stores | Books

Professional | Qualifying Textbooks - Fall 2007 | Stores | Books

Science | Qualifying Textbooks - Fall 2007 | Stores | Books
ASIN: 3540678956

Book Description

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August 2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, etc.

Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science)

Average customer rating:

Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science)

Manufacturer: Springer
ProductGroup: Book
Binding: Paperback

General | Computers & Internet | Subjects | Books

General | Science | Subjects | Books

All Amazon Upgrade | Amazon Upgrade | Stores | Books

Computers & Internet | Amazon Upgrade | Stores | Books

Professional & Technical | Amazon Upgrade | Stores | Books

Science | Amazon Upgrade | Stores | Books

All Titles | Qualifying Textbooks - Fall 2007 | Stores | Books

Computers & Internet | Qualifying Textbooks - Fall 2007 | Stores | Books

Professional | Qualifying Textbooks - Fall 2007 | Stores | Books

Science | Qualifying Textbooks - Fall 2007 | Stores | Books
ASIN: 3540645705

Book Description

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations

Average customer rating:

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations

Manufacturer: Oxford University Press, USA
ProductGroup: Book
Binding: Hardcover

General | Programming | Computers & Internet | Subjects | Books

General | Computers & Internet | Subjects | Books

General | Software | Computers & Internet | Subjects | Books

General | Science | Subjects | Books

Book Description

Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. This Handbook has been created in response to the growing need for an in-depth survey of the applications of logic in AI and computer science. The Handbook of Logic in Artificial Intelligence and Logic Programming will be published in five volumes. Each volume provides a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. this first volume presents the logical foundations and deduction methodologies extensively used in AI.

Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter (Artificial Intelligence)

Average customer rating:

Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter (Artificial Intelligence)

Manufacturer: Springer
ProductGroup: Book
Binding: Hardcover

General | Computers & Internet | Subjects | Books

General | Science | Subjects | Books

Book Description

This collection of papers is the outcome of the work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms and methods for characterizing intelligent behaviors of agents, knowledge-based systems and processes in terms of reasoning about the environment, actions, and activities that are capable of changing the current state. The book deals with commonsense reasoning, in particular with Reiter's Default Logic formalism, the theory of actions and reasoning about actions, including formalisms for high-level robot control, and different approaches to knowledge representation, all based on symbolic logic.

Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence) (Studies in Computational Intelligence)

Average customer rating:

Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence) (Studies in Computational Intelligence)
Ligeza A.
Manufacturer: Springer
ProductGroup: Book
Binding: Hardcover

General | Computers & Internet | Subjects | Books

General | Engineering | Professional & Technical | Subjects | Books

General | Mathematics | Science | Subjects | Books

All Amazon Upgrade | Amazon Upgrade | Stores | Books

Computers & Internet | Amazon Upgrade | Stores | Books

Engineering | Amazon Upgrade | Stores | Books

Professional & Technical | Amazon Upgrade | Stores | Books

Science | Amazon Upgrade | Stores | Books

All Titles | Qualifying Textbooks - Fall 2007 | Stores | Books

Computers & Internet | Qualifying Textbooks - Fall 2007 | Stores | Books

Professional | Qualifying Textbooks - Fall 2007 | Stores | Books

Science | Qualifying Textbooks - Fall 2007 | Stores | Books
ASIN: 3540291172

Product Description

The book presents logical foundations for rule-based systems. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verification. The ultimate goal was to provide a deeper theoretical insight into the nature of rule-based systems and put together the most complete presentation including details so frequently skipped in typical textbooks. The book may be useful to potentially wide audience, but it is aimed at providing specific knowledge for graduate, post-graduate and Ph.D. students, as well as knowledge engineers and research workers involved in the domain of AI. It also constitutes a summary of the Authors research and experience gathered through several years of his research work.

Books:

Books Index

Books Home

Recommended Books