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
Commonsense Reasoning, 2nd Edition
To endow computers with common sense is one of the major long-term goals of artificial intelligence …
The AI Factor
Have you heard about artificial intelligence (AI) and big data but felt they are technologies too …
The book that revolutionized business communications has been updated for today's workplace. Crucial Conversations provides powerful …
Critical Thinking Skills For Dummies
Turbocharge your reasoning with Critical Thinking Just what are the ingredients of a great argument? What …