DL Actions with GCIs: a Pragmatic Approach

We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. One short-coming of our initial proposal is that the considered formalisms admit only acyclic TBoxes, but not GCIs. In this paper, we define DL action formalisms that admit GCIs, propose a pragmatic approach to addressing the ramification problem that is introduced in this way, show that our formalim is decidable and investigate its computational complexity.

• Type: Conference
• Year: 2006
• Where: DLOG
• Authors: Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
• Keywords: Action Formalisms, Automated Reasoning, DL Action Formalisms, DLOG 2006, Well-established Action Theories