Situation Calculus with Aspect
نویسندگان
چکیده
In this paper, we describe situation calculus with aspect, which is an extension of the classical situation calculus. The new approach allows eecient representation of the frame axioms and partially ordered plans. In S.C. with aspect, uents and actions are associated with aspects. The frame axioms are replaced by axioms that describe the interference relation between aspects. A plan is represented as multiple sequences of actions applied on diierent aspects. We believe that the new representation will improve the eeciency of logic based planners and facilitate the analysis of total order and partial order planning techniques.
منابع مشابه
From Situation Calculus To Fluent Calculus: A New Motivation
While historically the Fluent Calculus arose from approaches to the Frame Problem using non-classical, linear logics, an alternative is to view it as a development of the Situation Calculus with the aim of coping with the inferential aspect of the Frame Problem. Starting oo from the concept of successor state axioms as a solution to the representational aspect, we show how by gradual improvemen...
متن کاملContinuous Processes in the Fluent Calculus
Among the known predicate calculus formalisms for axiomatizing commonsense reasoning about actions, the Fluent Calculus stands out in offering a solution not only to the representational but also the inferential aspect of the fundamental Frame Problem. In this paper we extend this formalism to modeling hybrid systems, which involve both discrete and continuous change. We borrow basic notions fr...
متن کاملQualitative Reasoning about Continuous Processes with the Situation Calculus
A fundamental aspect of general reasoning about physical systems is qualitative reasoning about continuous processes. The situation calculus is proposed as a framework for qualitative reasoning with some desirable properties that are less evident in the traditional framework, qualitative physics. However, in order to handle qualitative reasoning about continuous properties, we extend the concur...
متن کاملTowards State Update Axioms: Reifying Successor State Axioms
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions—but only as far as its representational aspect is concerned. We show how by gradually applying the principle of reification to these axioms, one can achieve gradual improvement regarding the inferential aspect without losing the representational merits. The resulting concept of state update axi...
متن کاملFrom Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem
Successor state axioms provide a solution to the famous Frame Problem as far as the representational aspect is concerned. Solving in classical, monotonic logic the additional inferential Frame Problem, on the other hand, was the major motivation for the development of the Fluent Calculus a decade or so ago. Yet the expressiveness of the latter in comparison to the Situation Calculus remained a ...
متن کامل