Principles of Knowledge Representation and Reasoning
Proceedings of the Fourth International Conference (KR '94)
By Jon Doyle, Erik Sandewall, Pietro Torasso
Publisher: Elsevier / Morgan Kaufmann
Final Release Date: June 2014
Pages: 668

Principles of Knowledge Representation and Reasoning contains the proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR '94) held in Bonn, Germany, on May 24-27, 1994. The conference provided a forum for reviewing the theory and principles underlying knowledge representation and reasoning. Topics covered range from reasoning about mental states and spatial reasoning with propositional logics to default logic as a query language.

Comprised of 60 chapters, this book begins with a description of a formal language for representing and reasoning about time and action before turning to proof in context and how it can replace the most common uses of reflection principles. The reader is then introduced to reasoning with minimal models; belief ascription and mental-level modeling; and a unified framework for class-based representation formalisms. A general approach to specificity in default reasoning is also described, together with an ontology for engineering mathematics and the use of abduction to generate tests. The book concludes by considering the use of natural language for knowledge representation and reasoning.

This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.

Product Details
Recommended for You
Customer Reviews
 
Buy 2 Get 1 Free Free Shipping Guarantee
Buying Options
Immediate Access - Go Digital what's this?
Ebook:  $93.95
Formats:  PDF