Action Languages are formal methods of talking about actions and their effects on ﬂuents. One recent approach in planning is to deﬁne the domains of the planning problems using action languages. The aim of this research is to ﬁnd a plan for a system deﬁned in the action language C by translating it into a causal theory and then ﬁnding an equivalent logic program. The planning problem will then be reduced to ﬁnding the answer set (stable model) of this logic program. This planner will be added as an extension to the Causal Calculator (CCALC) which is a model checker for the language of the causal theories
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Linear Temporal Logic as an Executable Semantics for Planning Languages.Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini & Valentina Poggioni - 2006 - Journal of Logic, Language and Information 16 (1):63-89.
Emergence of Self and Other in Perception and Action: An Event-Control Approach.J. Scott Jordan - 2003 - Consciousness and Cognition 12 (4):633-646.
Expansions of Models of Ω-Stable Theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
Logics for Epistemic Programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.
Emergence of Self and Other in Perception and Action: An Event-Control Approach.S. J. - 2003 - Consciousness and Cognition 12 (4):633-646.
Modèles Saturés Et Modèles Engendrés Par Des Indiscernables.Benoît Mariou - 2001 - Journal of Symbolic Logic 66 (1):325-348.
Language as Fictitious Consensus.Dunja Jutronić-Tihomirović - 1991 - Grazer Philosophische Studien 40:163-179.
Added to index2010-11-07
Total downloads16 ( #292,835 of 2,153,826 )
Recent downloads (6 months)1 ( #398,274 of 2,153,826 )
How can I increase my downloads?