- Titel
- Adding Causal Relationships to DL-based Action Formalisms
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795153
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 10-01
- Erstveröffentlichung
- 2010
- DOI
- https://doi.org/10.25368/2022.174
- Abstract (EN)
- 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.
- Freie Schlagwörter (DE)
- Aktionsformalismus, kausale Beziehung, Beschreibungslogik
- Freie Schlagwörter (EN)
- action formalism, causal relationship, description logic
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-795153
- Veröffentlichungsdatum Qucosa
- 16.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0