The Features-and-Fluents Semantics for the Fluent Calculus

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

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.