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. © 2010 Springer-Verlag.
CITATION STYLE
Baader, F., Lippmann, M., & Liu, H. (2010). Using causal relationships to deal with the ramification problem in action formalisms based on description logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6397 LNCS, pp. 82–96). Springer Verlag. https://doi.org/10.1007/978-3-642-16242-8_7
Mendeley helps you to discover research relevant for your work.