Situation Calculus Specifications for Event Calculus Logic Programs
نویسنده
چکیده
A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in time. Baker’s solution to the frame problem using circumscription is adapted to enable default reasoning about action occurrences, as well as about the effects of actions. A translation of Situation Calculus style theories into Event Calculus style logic programs is defined, and results are given on its soundness and completeness.
منابع مشابه
Situation Calculus Speciications for Event Calculus Logic Programs
A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in time. Baker's solution to the frame problem using circumscription is adapted to enable default reasoning about action occurrences, as well as about the eeects of actions. Two translations of Situation Calculus style theories into Event Calculus style logic programs a...
متن کاملHypothetical Reasoning about Actions : Fromsituation Calculus to Event
Hypothetical reasoning about actions is the activity of pre-evaluating the eeect of performing actions in a changing domain; this reasoning underlies applications of Knowledge Representation such as planning and explanation generation. Action eeects are often speciied in the language of Situation Calculus, introduced by McCarthy and Hayes in 1969. More recently, the Event Calculus has been deen...
متن کاملReformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action formalisms, such as the situation calculus, the event calculus and temporal action logics; the latter has served as a basis of a family of action languages, such as language A and several of its descendants. Based on the ...
متن کاملRule Based Updates on Simple Knowledge Bases
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update specifications to extended logic programs using situation calculus notation so as to compute the updated knowledge base. We show that the updated knowledge base that we compute satisfies the update specifications and yet ...
متن کاملReconciling the Event Calculus With the Situation Calculus
In this paper, to compare the situation calculus and event calculus we formulate both as logic programs and prove properties of these by reasoning with their completions augmented with induction. We thus show that the situation calculus and event calculus imply one another. Whereas our derivation of the event calculus from the situation calculus requires the use of induction, our derivation of ...
متن کامل