Incorporating Action Models into the Situation Calculus
نویسندگان
چکیده
While both situation calculus and dynamic epistemic logics (DELs) are concerned with reasoning about actions and their effects, historically, the emphasis of situation calculus was on physical actions in the single-agent case, in contrast, DELs focused on epistemic actions in the multi-agent case. In recent years, crossfertilization between the two areas has begun to attract attention. In this paper, we incorporate the idea of action models from DELs into the situation calculus to develop a general multi-agent extension of it. We analyze properties of beliefs in this extension, and prove that action model logic can be embedded into the extended situation calculus. Examples are given to illustrate the modeling of multi-agent scenarios in the situation calculus.
منابع مشابه
Measuring and incorporating attitudes toward risk into mathematical programming models : the case of farmers in kavar district iran
متن کامل
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation S0 and all other situations arise from the different sequences of actions that might be performed starting in the initial one. Within this framework, it is difficult to incorporate the notion of an occurrence, since all situations after the initial one are hypothetical. These occurrences are...
متن کامل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 ...
متن کاملMaking Golog Norm Compliant
In this work we consider how to enforce norms in the Situation Calculus based programming language Golog and its relatives. We define a notion of norm compliant sequence of actions with respect to norms prescribing some actions to be forbidden or obliged (ought-to-do norms), norms prescribing that a state-condition is forbidden (oughtto-be norms) and norms that are a form of deadline. We then s...
متن کاملAction Languages, Temporal Action Logics and the Situation Calculus
In the rst part of the paper, we investigate the relationship between the action description language C and the situation calculus. Action description languages are based on the model of time that includes only two time instants: 0 for the beginning of the execution of an action and 1 for the end. The ontology of time in the situation calculus is much more elaborate. We show how to bridge the g...
متن کامل