Abstract
We present a general method to formalize action domains with numeric-valued fluents whose values are incremented or decremented by executions of actions, and show how it can be applied to the action description language \(\cal C+\) and to the concurrent situation calculus. This method can handle nonserializable concurrent actions, as well as ramifications on numeric-valued fluents, which are described in terms of some new causal structures, called contribution rules.
We thank Selim T. Erdoğan, Joohyung Lee, and Vladimir Lifschitz for helpful comments on an earlier version of the paper. Esra Erdem was supported in part by the Austrian Science Fund (FWF) under project P16536-N04.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Koehler, J.: Planning under resource constraints. In: Proc. ECAI, pp. 489–493 (1998)
Kvarnström, J., Doherty, P., Haslum, P.: Extending TALplanner with concurrency and resources. In: Proc. ECAI, pp. 501–505 (2000)
Bacchus, F., Ady, M.: Planning with resources and concurrency: A forward chaining approach. In: Proc. IJCAI, pp. 417–424 (2001)
Lee, J., Lifschitz, V.: Describing additive fluents in action language \(\cal C\)+. In: Proc. IJCAI (2003)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. AIJ 153, 49–104 (2004)
Baral, C., Son, T.C., Tuan, L.: A transition function based characterization of actions with delayed and continuous effects. In: Proc. KR (2002)
Gelfond, M., Lifschitz, V.: Action languages. ETAI 3, 195–210 (1998)
Erdem, E., Gabaldon, A.: Cumulative effects of concurrent actions on numeric-valued fluents. In: Proc. AAAI, pp. 627–632 (2005)
Reiter, R.: Knowledge in action: Logical Foundations for specifying and implementing dynamical systems. MIT Press, Cambridge (2001)
Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Proc. IJCAI, pp. 1985–1991 (1995)
McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: Proc. IJCAI, pp. 1978–1984 (1995)
Thielscher, M.: Ramification and causality. AIJ 89, 317–364 (1997)
de Kleer, J., Brown, J.S.: A qualitative physics based on confluences. AIJ 24, 7–83 (1984)
Iwasaki, Y., Simon, H.: Causality in device behavior. AIJ 29, 3–32 (1986)
Giunchiglia, E., Lifschitz, V.: Action languages, temporal action logics and the situation calculus. In: Proc. NRAC (1999)
Halpern, J., Pearl, J.: Causes and explanations: a structural-model approach–Part I: Causes. In: Proc. UAI, pp. 194–202 (2001)
Doherty, P., Gustafsson, J., Karlsson, L., Kvarnstrom, J. (TAL) Temporal Action Logics: Language specification and tutorial. ETAI 2, 273–306 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Erdem, E., Gabaldon, A. (2006). Representing Action Domains with Numeric-Valued Fluents. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds) Logics in Artificial Intelligence. JELIA 2006. Lecture Notes in Computer Science(), vol 4160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853886_14
Download citation
DOI: https://doi.org/10.1007/11853886_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39625-3
Online ISBN: 978-3-540-39627-7
eBook Packages: Computer ScienceComputer Science (R0)