Adding Causal Relationships to DL-based Action Formalisms

Research output: Contribution to book/Conference proceedings/Anthology/ReportChapter in book/Anthology/ReportContributed

Contributors

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.

Details

Original languageEnglish
Title of host publicationLTCS-Report 10-01
Publication statusPublished - 2010
Peer-reviewedNo

External IDs

ORCID /0000-0002-4049-221X/work/142247818

Keywords

Keywords

  • Description Logic, Action Formalism, Ramifications