By
Erik T. Mueller, IBM Thomas J. Watson Research Center
Description
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.
Audience:
Graduate students or advanced undergraduates taking a course on commonsense reasoning or knowledge representation, or looking for tools to use for their thesis work.
