Commonsense Reasoning

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: An Event Calculus -Based Approach 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 brings together, 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 that span many areas of the commonsense world. Drawing upon years of practical experience and using numerous examples and illustrative applications, Erik Muller shows you the keys to mastering common sense reasoning. You'll be able to: * Understand techniques for automated commonsense reasoning* Incorporate commonsense reasoning into software solutions* Acquire a broad understanding of the field of commonsense reasoning* Gain comprehensive knowledge of the human capacity for commonsense reasoning * Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states.* Focuses on how to use the event calculus to actually perform commonsense reasoning-other texts focus only on the formalisms.* Includes fully worked out proofs and circumscriptions for every example.* Describes software tools that can be downloaded and used for automated commonsense reasoning, and real-world applications that have been built using the event calculus.