Graduate studies at Western
|Abstract||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)
|Through your library||Only published papers are available at libraries|
Similar books and articles
José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite (2005). The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79 (1):7 - 32.
Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini & Valentina Poggioni (2007). Linear Temporal Logic as an Executable Semantics for Planning Languages. Journal of Logic, Language and Information 16 (1):63-89.
J. Scott Jordan (2003). Emergence of Self and Other in Perception and Action: An Event-Control Approach. Consciousness and Cognition 12 (4):633-646.
Steven Buechler (1984). Expansions of Models of Ω-Stable Theories. Journal of Symbolic Logic 49 (2):470-477.
Alexandru Baltag & Lawrence S. Moss (2004). Logics for Epistemic Programs. Synthese 139 (2):165 - 224.
S. J. (2003). Emergence of Self and Other in Perception and Action: An Event-Control Approach. Consciousness and Cognition 12 (4):633-646.
Benoît Mariou (2001). Modèles Saturés Et Modèles Engendrés Par Des Indiscernables. Journal of Symbolic Logic 66 (1):325-348.
Martin Bunzl (1984). A Causal Model for Causal Priority. Erkenntnis 21 (1):31 - 44.
Dunja Jutronić-Tihomirović (1991). Language as Fictitious Consensus. Grazer Philosophische Studien 40:163-179.
Matthew R. Longo & Bennett I. Bertenthal (2004). Automaticity and Inhibition in Action Planning. Behavioral and Brain Sciences 27 (1):44-45.
Sorry, there are not enough data points to plot this chart.
Added to index2010-11-07
Total downloads1 ( #292,563 of 739,370 )
Recent downloads (6 months)1 ( #61,680 of 739,370 )
How can I increase my downloads?