A Logic Programming System for Evolving Programs with Temporal Operators

Authors:
José Júlio Alferes;Alfredo Gabaldon;João Leite
Affiliations:
CENTRIA, Universidade Nova de Lisboa, Portugal;CENTRIA, Universidade Nova de Lisboa, Portugal;CENTRIA, Universidade Nova de Lisboa, Portugal
Venue:
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Year:
2009

Citing 14
Cited 0

Logic programs with classical negation

Logic programming
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Revision programming

Theoretical Computer Science - Special issue: database theory
LUPS---a language for updating logic programs

Artificial Intelligence
Evolving Logic Programs

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Updating Extended Logic Programs through Abduction

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Non-Markovian control in the situation calculus

Eighteenth national conference on Artificial intelligence
On properties of update sequences based on causal rejection

Theory and Practice of Logic Programming
Reasoning about evolving nonmonotonic knowledge bases

ACM Transactions on Computational Logic (TOCL)
EVOLP: Tranformation-Based Semantics

Computational Logic in Multi-Agent Systems
EVOLP: An Implementation

Computational Logic in Multi-Agent Systems
Evolving Logic Programming Based Agents with Temporal Operators

WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Non-monotonic temporal logics for goal specification

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Irrelevant updates and nonmonotonic assumptions

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.