Encoding Definitional Fragments of Temporal Action Logic into Logic Programming

Marc van Zee, Patrick Doherty, John-Jules Ch. Meyer
2014 European Conference on Artificial Intelligence  
Temporal Action Logics (TAL) is an expressive class of nonmonotonic temporal logics for reasoning about action and change. In previous work, it has been shown that a very general fragment of the logic can be reduced to firstorder logic with equality. Consequently, standard theorem proving techniques can be used to reason in TAL. TAL is intended to be used for robotics. In this case, standard theorem proving techniques are too general and do not provide efficient decision procedures. The goal of
more » ... this article is to identify a limited subset of TAL that can be directly mapped to a normal logic program. Although quite restrictive, this sets the lower bound on what can be done with direct mappings to logic programs. Discussions concerning extensions to the restricted fragment are also provided.
dblp:conf/ecai/ZeeDM14 fatcat:wi7jgct3xjeklfc5ygbae3dmx4