Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intentional knowledge (rules) may change over time due to updates. Despite their generality, these languages do not provide a means to directly access past states of the evolving knowledge. They are limited to so-called Markovian change, i.e. changes entirely determined by the current state. We remedy this limitation by extending the Logic Programming Update Language EVOLP with LTL-like temporal operators that allow referring to the history of the evolving knowledge base, and show how this can be implemented in a Logic Programming framework.
|Title of host publication||Lecture Notes in Computer Science|
|Publication status||Published - 1 Jan 2009|
|Event||Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence - |
Duration: 1 Jan 2009 → …
|Conference||Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence|
|Period||1/01/09 → …|
Royval, A. G., Leite, J. A. C. P., & Alferes, J. J. A. (2009). A Logic Programming System for Evolving Programs with Temporal Operators. In Lecture Notes in Computer Science (Vol. 5816, pp. 101-112) https://doi.org/10.1007/978-3-642-04686-5_9