November 2014
Intermediate to advanced
516 pages
16h 34m
English
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 ...
Read now
Unlock full access