Adding Causal Relationships to DL-based Action Formalisms

From International Center for Computational Logic
Toggle side column

Adding Causal Relationships to DL-based Action Formalisms

Franz BaaderFranz Baader,  Marcel LippmannMarcel Lippmann,  Hongkai LiuHongkai Liu
Franz Baader, Marcel Lippmann, Hongkai Liu
Adding Causal Relationships to DL-based Action Formalisms
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 10-01, 2010. LTCS-Report
  • KurzfassungAbstract
    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 without destroying the decidability of the consistency and the projection problem.
  • Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ BaLiLi-LTCS-10-01,
  address = {Dresden, Germany},
  author = {Franz {Baader} and Marcel {Lippmann} and Hongkai {Liu}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {10-01},
  title = {Adding Causal Relationships to {DL}-based Action Formalisms},
  type = {LTCS-Report},
  year = {2010},
}