Book descriptionTo 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.
- 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.
Table of contents
- Cover image
- Title page
- Table of Contents
- Praise for Commonsense Reasoning
- About the Author
- Chapter 1: Introduction
- PART I: Foundations
PART II: Commonsense Phenomena
- Chapter 3: The Effects of Events
- Chapter 4: The Triggering of Events
- Chapter 5: The Commonsense Law of Inertia
- Chapter 6: Indirect Effects of Events
- Chapter 7: Continuous Change
- Chapter 8: Concurrent Events
- Chapter 9: Nondeterministic Effects of Events
- PART III: Commonsense Domains
- PART IV: Default Reasoning
PART V: Programs and Applications
- Chapter 13: The Discrete Event Calculus Reasoner
- Chapter 14: Applications
PART VI: Logical and Nonlogical Methods
- Chapter 15: Logics for Commonsense Reasoning
- Chapter 16: Nonlogical Methods for Commonsense Reasoning
- PART VII: Conclusion
- PART VIII: Appendices
- Title: Commonsense Reasoning
- Release date: July 2010
- Publisher(s): Morgan Kaufmann
- ISBN: 9780080476612
You might also like
Mathematics is beautiful--and it can be fun and exciting as well as practical. Good Math is …
Introduction to Probability
Developed from celebrated Harvard statistics lectures, Introduction to Probability provides essential language and tools for understanding …
40 Algorithms Every Programmer Should Know
Learn algorithms for solving classic computer science problems with this concise guide covering everything from fundamental …
Precalculus with Calculus Previews, 6th Edition
Building off the success of Zill and Dewar's popular Essentials version, the new Sixth Edition of …