Abstraction in Situation Calculus Action Theories
نویسندگان
چکیده
ion in Situation Calculus Action Theories Bita Banihashemi York University Toronto, Canada [email protected] Giuseppe De Giacomo Sapienza Università di Roma Roma, Italy [email protected] Yves Lespérance York University Toronto, Canada [email protected]
منابع مشابه
Abstraction in the formalization of organization theory
In many organization theories, the interpretation frame is the most important part of the theory. Furthermore, organization theorists use a rich variety of reasoning mechanisms, for instance reasoning about actions using abstraction from time. In formalizing organization theories, one has to try to preserve the richness of the interpretation frames of those theories as well as the richness of t...
متن کاملOn First-Order μ-Calculus over Situation Calculus Action Theories
In this paper we study verification of situation calculus action theories against first-order μ-calculus with quantification across situations. Specifically, we consider μLa and μLp, the two variants of μ-calculus introduced in the literature for verification of data-aware processes. The former requires that quantification ranges over objects in the current active domain, while the latter addit...
متن کاملBounded Situation Calculus Action Theories and Decidable Verification
We define a notion of bounded action theory in the situation calculus, where the theory entails that in all situations, the number of ground fluent atoms is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We argue that such theories are fairly common in applications, either because facts do not persist indefinitely or because one eventually ...
متن کاملFirst-order μ-calculus over generic transition systems and applications to the situation calculus
We consider μL, μLa, and μLp, three variants of the first-order μ-calculus studied in verification of data-aware processes, that differ in the form of quantification on objects across states. Each of these three logics has a distinct notion of bisimulation. We show that the three notions collapse for generic dynamic systems, which include all state-based systems specified using a logical formal...
متن کامل1 Knowledge , action , and Cartesian situations in the situation calculus
We formalize the notion of a Cartesian situation in the situation calculus, a property that imposes strong structural conditions on the configuration of a set of possible worlds. Focusing on action theories that use the standard Scherl and Levesque account of knowledge and action, we show how Cartesian situations give rise to a set of decomposition properties for simplifying epistemic formulae ...
متن کامل