Abstract
In the reasoning about actions community, causal relationships have been proposed as a possible approach for solving the ramification problem, i.e., the problem of how to deal with indirect effects of actions. In this paper, we show that causal relationships can be added to action formalisms based on Description Logics (DLs) without destroying the decidability of the consistency and the projection problem. We investigate the complexity of these decision problems based on which DL is used as base logic for the action formalism.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Baader, F., Lippmann, M., Liu, H.: Adding causal relationships to DL-based action formalisms. LTCS-Report 10-01, Chair of Automata Theory, Technische Universität Dresden (2010), http://lat.inf.tu-dresden.de/research/reports.html
Baader, F., Lutz, C., Miličić, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proceedings of AAAI-2005 and IAAI-2005, pp. 572–577. AAAI Press/The MIT Press (2005) Short version of [4]
Baader, F., Miličić, M., Lutz, C., Sattler, U., Wolter, F.: Integrating description logics and action formalisms for reasoning about web services. LTCS-Report 05-02, Chair of Automata Theory, Technische Universität Dresden (2005), Long version of [3], http://lat.inf.tu-dresden.de/research/reports.html
De Giacomo, G.: Decidability of Class-Based Knowledge Representation Formalisms. PhD thesis, Università di Roma “La Sapienza” (1995)
Denecker, M., Theseider-Dupré, D., van Belleghem, K.: An inductive definition approach to ramifications. Linkoping Electronic Articles in Computer and Information Science 3(7), 1–43 (1998)
Herzig, A.: The PMA revisited. In: Proceedings of KR-1996, pp. 40–50 (1996)
Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Proceedings of IJCAI-1995, pp. 1985–1993 (1995)
Liu, H., Lutz, C., Miličić, M., Wolter, F.: Reasoning about actions using description logics with general TBoxes. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 266–279. Springer, Heidelberg (2006)
Liu, H., Lutz, C., Miličić, M., Wolter, F.: Updating description logic ABoxes. In: Proceedings of KR-2006, pp. 46–56. AAAI Press, Menlo Park (2006)
Liu, Y., Lakemeyer, G.: On first-order definability and computability of progression for local-effect actions and beyond. In: Proceedings of IJCAI-2009, pp. 860–866 (2009)
Liu, Y., Levesque, H.J.: Tractable reasoning in first-order knowledge bases with disjunctive information. In: Proceedings of AAAI-2005 and IAAI-2005, pp. 639–644. AAAI Press/The MIT Press (2005)
Reiter, R.: Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. The MIT Press, Bradford Books (2001)
Schaerf, A.: Reasoning with individuals in concept languages. Data Knowledge Engineering 13(2), 141–176 (1994)
Thielscher, M.: Ramification and causality. AIJ 89(1–2), 317–364 (1997)
Thielscher, M.: Reasoning Robots: The Art and Science of Programming Robotic Agents. Applied Logic Series, vol. 33. Springer, Netherlands (2005)
van Belleghem, K., Denecker, M., Theseider-Dupré, D.: A constructive approach to the ramification problem. In: Proceedings of ESSLLI-1998, pp. 1–17 (1998)
Winslett, M.: Reasoning about action using a possible models approach. In: Proceedings of AAAI-1988, pp. 89–93 (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baader, F., Lippmann, M., Liu, H. (2010). Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. In: Fermüller, C.G., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2010. Lecture Notes in Computer Science, vol 6397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16242-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-16242-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16241-1
Online ISBN: 978-3-642-16242-8
eBook Packages: Computer ScienceComputer Science (R0)