Logics for Commonsense Reasoning
Abstract
How does the event calculus stack up against other logical formalisms for commonsense reasoning? There are many such formalisms. We review four important families: the situation calculus, the features and fluent framework, action languages, and the fluent calculus. We discuss their relationship to the event calculus.
Keywords
Commonsense reasoning
Event calculus
Reasoning about action and change
Situation calculus
Features and fluents framework
Action languages
Fluent calculus
Why the event calculus? How does the event calculus stack up against other logical formalisms for commonsense reasoning? There are many such formalisms. In this chapter, we review four important families—the situation ...
Get Commonsense Reasoning, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
