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 respect to the original DFL semantics.
منابع مشابه
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 ...
متن کاملReasoning About Actions with Description Logics
In this paper we will show that a recently proposed method for ABox updates in Description Logics can be given a Fluent Calculus semantics. This allows the usage of Description Logic ABoxes as decidable state descriptions. We discuss some natural extensions of the method and the arising issues. Finally, we present an action programming language implementing this Fluent Calculus fragment using a...
متن کامل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...
متن کاملSymbolic Dynamic Programming
A symbolic dynamic programming approach for solving first-order Markov decision processes within the situation calculus is presented. As an alternative specification language for dynamic worlds the fluent calculus is chosen and the fluent calculus formalization of the symbolic dynamic programming approach is provided. The major constructs of Markov decision processes such as the optimal value f...
متن کاملAI planning - based semantic web service composition
Semantic web service composition constitutes the phases namely specification, matchmaking, planning, validation, discovery and execution. As web service composition is categorised as an AI planning problem, the objective of this paper is to propose a fluent calculus approach for the planning phase of the semantic web service composition. Among various methods to solve the AI planning problem, l...
متن کامل