Erik T. Mueller: “Commonsense Reasoning and the Event Calculus”

March 1, 2006 | USC ICT

Speaker: Erik T. Mueller
Host: Andrew Gordon

Commonsense reasoning is fundamental to high-level cognition. The event calculus, which is based on first-order logic, is an effective method for commonsense reasoning. It supports multiple reasoning types, including default reasoning, projection, and explanation, and reasoning about multiple domains, including action, change, space, and mental states. In this talk I will discuss key issues of commonsense reasoning, the use of the event calculus for commonsense reasoning, and how the event calculus is being applied to problems in high-level cognition, namely narrative comprehension and vision.