Michael Thielscher, Thomas Witkowski
Based on an elaborate ontological taxonomy, the Features-and-Fluents framework provides an independent action semantics for assessing the range of applicability of action calculi. In this paper, we show how the fluent calculus can be used to capture the full range of phenomena in K-IA, the broadest ontological class that has been fully formalized in (Sandewall 1994). To this end, we develop a significant extension of the fluent calculus for modeling actions with durations and with specific trajectories of changes. We present a provably correct translation of scenario descriptions from the Features-and-Fluents semantics into fluent calculus axiomatizations.
Subjects: 11. Knowledge Representation
Submitted: Mar 7, 2006