Commonsense Reasoning

1st Edition

Print ISBN: 9781493300693
eBook ISBN: 9780080476612
Imprint: Morgan Kaufmann
Published Date: 19th January 2006
Page Count: 432
74.95 + applicable tax
55.95 + applicable tax
44.99 + applicable tax
68.95 + applicable tax
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access


To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem, introduced by John McCarthy an AI luminary, is to formalize commonsense reasoning using mathematical logic. This work 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 the author demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work on logic-based commonsense reasoning, promotes the use of the event calculus for commonsense reasoning, brings into one place information about the event calculus and commonsense reasoning currently scattered across a number of books and papers, shares the knowledge gained in using the event calculus for commonsense reasoning, and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world.


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


“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 environment