Institute for Creative Technologies

Erik T. Mueller

Date: Wednesday, March 1, 2006
Time: 11:00 AM - 12:30 PM
Location: 6th floor amphitheater
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.