The Features-and-Fluents Semantics for the Fluent Calculus
نویسندگان
چکیده
Based on an elaborate ontological taxonomy, the Featuresand-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.
منابع مشابه
Feature & Fluent revisited: from Event Calculus to Fluent Logic Programming
In this paper, we make use of a meta-logical representation based on the Kowalski and Sergot's Event Calculus in order to integrate the discrete uent logic (DFL) proposed in Features & Fluents by Erik Sandewall, into a logic programming (LP) setting. As result of this attempt we obtain an extended LP-based language that we call Fluent Logic Programming (FLP). Completeness result are shown with ...
متن کاملA Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus
Specifying the behavior of an intelligent autonomous robot or agent is a non-trivial task. The question is: how can the knowledge of the domain expert be encoded in the agent program? Qualitative representations in general facilitate to express the knowledge of a domain expert. In this paper, we propose a semantics for qualitative fluents in the situation calculus. Our semantics is based on fuz...
متن کاملReasoning about Fluents in Logic Programming
Fluent Logic Programming (FLP) is an attempt to suitably combine into a simple language ideas coming from well known temporal reasoning frameworks like Kowalski's Event Calculus and Sandewall's Features and Fluents. In this paper we propose the core syntax of FLP together with two complementary semantics. The rst one is a x-point semantics which declaratively captures the operational notion of ...
متن کاملUniversit a Di Pisa a Logic-based Calculus of Fluents a Logic-based Calculus of Fluents Universit a Degli Studi Di Pisa Dipartimento Di Informatica a Logic-based Calculus of Fluents
This report formally deenes the class of all problems on Reasoning about Actions and Change, where accurate and complete information about actions, together with strict inertia in continuous time, continuous change and alternative results of possibly concurrent and independent actions are the assumed properties. The intended model set for each member in the class is deened in terms of a model-t...
متن کاملUniversit a Di Pisa towards a Fluent Logic Programming towards a Fluent Logic Programming
This work involves two areas of research in computer science, namely Knowledge Representation and Logic Programming. Starting from the formalism proposed in Features & Fluents by Erik Sandewall for describing and reasoning about Inhabited Dynamical Systems, we try to reconstruct it within a Logic Programming framework. The result is an extended logic programming language called Fluent Logic Pro...
متن کامل