LATPub706: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 15: | Zeile 15: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=In the reasoning about actions community, causal relationships have been proposed | |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 without destroying the decidability of the consistency and the projection problem. | ||
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. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 39: | Zeile 34: | ||
year = {2010}, | year = {2010}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:24 Uhr
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
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},
}
