Stuart Charles Shapiro

Jon Doyle

Luigia Carlucci Aiello

Proceedings of the Fifth International Conference (KR '96)

Principles of Knowledge Representation and Reasoning

Erik Sandewall

Pietro Torasso

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.

Proceedings of the Fourth International Conference (KR '94)

The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic reasoning and belief revision, action and time, planning and decision-making and reasoning about the physical world, and the relations between KR

Proceedings of the Fourth International Conference (KR'94)

This book deploys the mathematical axioms of modern rational mechanics to understand minds as mechanical systems that exhibit actual, not metaphorical, forces, inertia, and motion. Using precise mental models developed in artificial intelligence the author analyzes motivation, attention, reasoning, learning, and communication in mechanical terms. These analyses provide psychology and economics with new characterizations of bounded rationality; provide mechanics with new types of materials exhibiting the constitutive kinematic and dynamic properties characteristic of different kinds of minds; and provide philosophy with a rigorous theory of hybrid systems combining discrete and continuous mechanical quantities. The resulting mechanical reintegration of the physical sciences that characterize human bodies and the mental sciences that characterize human minds opens traditional philosophical and modern computational questions to new paths of technical analysis.

The Mechanical Foundations of Psychology and Economics

Extending Mechanics to Minds

Gene Stone

On a day like any other, all mammals suddenly gain human-level consciousness-and begin a systematic attack on human kind. Among the ranks of these animals are a bear in the Canadian Rockies, an elephant in a traveling circus in Texas, a pig on a hog farm in North Carolina, and a dog living with his beloved owner in New York. As these four contend with the realities of who they were before the awareness, and who they must now become after it, they are each called to battle. The animals must then fight two wars: the one outside between mammals and humans, and the one inside each of their minds.

Jon Doyle

Books

Your next favorite book is out there