Search
 
loader loading subjects...
cover
Verifying Properties of Infinite Sequences of Description Logic Actions
Franz Baader, Hongkai Liu, Anees ul Mehdi
53 - 58
10.3233/978-1-60750-606-5-53
Frontiers in Artificial Intelligence and Applications
Volume 215: ECAI 2010
Abstract

The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem becomes decidable. On the one hand, we abstract from the actual execution sequences of a non-terminating program by considering infinite sequences of actions defined by a Büchi automaton. On the other hand, we assume that the logic underlying our action formalism is a decidable description logic rather than full first-order predicate logic.

Download
Creative Commons License