Sciweavers

Share
DLOG
2006

DL Actions with GCIs: a Pragmatic Approach

9 years 24 days ago
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.
Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wol
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where DLOG
Authors Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
Comments (0)
books