COVID-19 Update: We are currently shipping orders daily. However, due to transit disruptions in some geographies, deliveries may be delayed. To provide all customers with timely access to content, we are offering 50% off Science and Technology Print & eBook bundle options. Terms & conditions.
Commonsense Reasoning - 1st Edition - ISBN: 9780123693884, 9780080476612

Commonsense Reasoning

1st Edition

An Event Calculus Based Approach

Author: Erik T. Mueller
eBook ISBN: 9780080476612
Hardcover ISBN: 9780123693884
Paperback ISBN: 9781493300693
Imprint: Morgan Kaufmann
Published Date: 19th January 2006
Page Count: 432
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.


To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world.

Key Features

  • Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states.
  • The first full book on commonsense reasoning to use the event calculus.
  • Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall.
  • Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves.
  • Includes fully worked out proofs and circumscriptions for every example.


Graduate students or advanced undergraduates taking a course on commonsense reasoning or knowledge representation, or looking for tools to use for their thesis work.

Table of Contents

Chapter 1: Introduction<BR id=""CRLF"">1.1 What is Commonsense Reasoning?<BR id=""CRLF"">1.2 Key Issues of Commonsense Reasoning<BR id=""CRLF"">1.3 Brief History of Commonsense Reasoning<BR id=""CRLF"">1.4 The Event Calculus<BR id=""CRLF""><BR id=""CRLF"">Part I: Foundations<BR id=""CRLF""><BR id=""CRLF"">Chapter 2: The Event Calculus<BR id=""CRLF"">2.1 First-Order Logic<BR id=""CRLF"">2.2 Event Calculus Basics <BR id=""CRLF"">2.3 Event Calculus Axiomatizations<BR id=""CRLF"">2.4 Reification<BR id=""CRLF"">2.5 Conditions<BR id=""CRLF"">2.6 Circumscription<BR id=""CRLF"">2.7 Domain Descriptions<BR id=""CRLF"">2.8 Reasoning Types<BR id=""CRLF""> <BR id=""CRLF"">Part II: Commonsense Phenomena <BR id=""CRLF""><BR id=""CRLF"">Chapter 3: The Effects of Events<BR id=""CRLF"">3.1 Positive and Negative Effect Axioms<BR id=""CRLF"">3.2 Effect Axiom Idioms<BR id=""CRLF"">3.3 Preconditions<BR id=""CRLF"">3.4 State Constraints<BR id=""CRLF""> <BR id=""CRLF"">Chapter 4: The Triggering of Events<BR id=""CRLF"">4.1 Trigger Axioms<BR id=""CRLF"">4.2 Preventing Repeated Triggering<BR id=""CRLF"">4.3 Triggered Fluents<BR id=""CRLF""> <BR id=""CRLF"">Chapter 5: The Commonsense Law of Inertia<BR id=""CRLF"">5.1 Representation of the Commonsense Law of Inertia<BR id=""CRLF"">5.2 Representing Release from the Commonsense Law of Inertia<BR id=""CRLF"">5.3 Release Axioms<BR id=""CRLF""><BR id=""CRLF"">Chapter 6: Indirect Effects of Events<BR id=""CRLF"">6.1 Effect Axioms<BR id=""CRLF"">6.2 Primitive and Derived Fluents<BR id=""CRLF"">6.3 Release Axioms and State Constraints<BR id=""CRLF"">6.4 Effect Constraints<BR id=""CRLF"">6.5 Causal Constraints<BR id=""CRLF"">6.6 Trigger Axioms<BR id=""CRLF""><BR id=""CRLF"">Chapter 7: Continuous Change<BR id=""CRLF"">7.1 Trajectory Axioms<BR id=""CRLF"">7.2 AntiTrajectory Axioms<BR id=""CRLF"">7.3 Using AntiTrajectory Instead of Releases<BR id=""CRLF""><BR id=""CRLF"">Chapter 8: Concurrent Events<BR id=""CRLF"">8.1 Restricting Concurrency<BR id=""CRLF"">8.2 Cumulative and Canceling Effects<BR id=""CRLF""><BR id=""CRLF"">Chapter 9: Nondeterministic Effects of Events<BR id=""CRLF"">9.1 Determining Fluents<BR id=""CRLF"">9.2 Disjunctive Event Axioms<BR id=""CRLF""><BR id=""CRLF"">Part III: Commonsense Domains <BR id=""CRLF""><BR id=""CRLF"">Chapter 10: Space<BR id=""CRLF"">10.1 Relational Space<BR id=""CRLF"">10.2 Metric Space<BR id=""CRLF"">10.3 Object Identity<BR id=""CRLF""><BR id=""CRLF"">Chapter 11: The Mental States of Agents<BR id=""CRLF"">11.1 Beliefs, Goals, and Plans<BR id=""CRLF"">11.2 Emotions<BR id=""CRLF""> <BR id=""CRLF"">Part IV: Default Reasoning <BR id=""CRLF""><BR id=""CRLF"">Chapter 12: Default Reasoning<BR id=""CRLF"">12.1 Atemporal Default Reasoning<BR id=""CRLF"">12.2 Temporal Default Reasoning<BR id=""CRLF"">12.3 Default Reasoning Method<BR id=""CRLF"">12.4 Defaults and the Qualification Problem<BR id=""CRLF"">12.5 Default Events and Properties<BR id=""CRLF""><BR id=""CRLF"">Part V: Programs and Applications <BR id=""CRLF""><BR id=""CRLF"">Chapter 13: The Discrete Event Calculus Reasoner<BR id=""CRLF"">13.1 Discrete Event Calculus Reasoner Architecture<BR id=""CRLF"">13.2 Encoding SAT Problems<BR id=""CRLF"">13.3 Simple Examples<BR id=""CRLF"">13.4 Example: Telephone<BR id=""CRLF"">13.5 Discrete Event Calculus Reasoner Language<BR id=""CRLF""><BR id=""CRLF"">Chapter 14: Applications<BR id=""CRLF"">14.1 Business Systems<BR id=""CRLF"">14.2 Natural Language Understanding<BR id=""CRLF"">14.3 Vision<BR id=""CRLF""><BR id=""CRLF"">Part VI: Logical and Nonlogical Methods <BR id=""CRLF""><BR id=""CRLF"">Chapter 15: Logics for Commonsense Reasoning<BR id=""CRLF"">15.1 Situation Calculus<BR id=""CRLF"">15.2 Features and Fluents<BR id=""CRLF"">15.3 Action Languages<BR id=""CRLF"">15.4 Fluent Calculus<BR id=""CRLF"">15.5 Discussion and Summary<BR id=""CRLF""> <BR id=""CRLF"">Chapter 16: Nonlogical Methods for Commonsense Reasoning<BR id=""CRLF"">16.1 Qualitative Reasoning<BR id=""CRLF"">16.2 Analogical Processing<BR id=""CRLF"">16.3 Probabilistic Reasoning<BR id=""CRLF"">16.4 Society of Mind<BR id=""CRLF""><BR id=""CRLF"">Part VII: Conclusion <BR id=""CRLF"">Chapter 17: Conclusion<BR id=""CRLF""><BR id=""CRLF"">Part VIII: Appendices <BR id=""CRLF"">Appendix A: Logical Foundations<BR id=""CRLF"">Appendix B: Equivalence of EC and DEC<BR id=""CRLF"">Appendix C: Events with Duration<BR id=""CRLF"">Appendix D: Answers to Selected Exercises


No. of pages:
© Morgan Kaufmann 2006
19th January 2006
Morgan Kaufmann
eBook ISBN:
Hardcover ISBN:
Paperback ISBN:

About the Author

Erik T. Mueller

Affiliations and Expertise

IBM Watson Group and IBM Research, New York, USA


“A comprehensive exposition of reasoning about actions and change using the circumscription-based Event Calculus. The book has an excellent up-to-date bibliography on actions and change.”
-Chitta Baral, Arizona State University

“Central to the idea of Artificial Intelligence is getting computers to understand simple facts about people and everyday life—what we call Common Sense. Amid the technical discussions about inference algorithms and knowledge representation, a larger question arises: What have we actually learned in the past 30 years about how to put Commonsense knowledge in computers? Look no further than Erik Mueller's Commonsense Reasoning for a deep and insightful survey of the state of the art in this topic. Some say that Commonsense defies logic; here Mueller shows that logic, at least, can put up a good fight.”
-Henry Lieberman, MIT Media Laboratory

“Erik Mueller has given the most thorough treatment of common sense knowledge and reasoning yet to appear.”
-John McCarthy, Stanford University

“The strength of this book is that it uses a uniform representation formalism, the event calculus, to solve a variety of commonsense reasoning problems. Researchers will find the book an inspiring tool which provides many ideas for applications of action formalisms. Thanks to both the exemplary presentation style and numerous examples, the book is also well-suited for teachers and students alike.”
-Michael Thielscher, Dresden University of Technology

“Developing systems that can perform actions and deal with change is a major challenge in intelligent system design, because it requires the construction of sophisticated models for knowledge representation and reasoning. This book provides important ideas and methods which can be used to model commonsense reasoning about events in complex and dynamic environments. The content is well thought out, and difficult topics are presented in highly accessible ways. The author tells a compelling story that highlights the utility of event calculus for applications that require commonsense models of action and change.”
-Mary-Anne Williams, University of Technology, Sydney, and Knowledge Representation and Reasoning Inc.

People with better commonsense than others are better observers of context and have more patterns that are more readily accessible.
Nevertheless, commonsense reasoning is an important area of study. Mueller's book will be valuable to those involved in this field.- Robert W. Ferguson, Software Quality Professional 12/06-2/07

Ratings and Reviews