A Logic Programming System for Evolving Programs with Temporal Operators

Alfredo Gabaldon Royval; João Alexandre Carvalho Pinheiro Leite; José Júlio Alves Alferes

doi:10.1007/978-3-642-04686-5_9

A Logic Programming System for Evolving Programs with Temporal Operators

Alfredo Gabaldon Royval, João Alexandre Carvalho Pinheiro Leite, José Júlio Alves Alferes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	Unknown
Title of host publication	Lecture Notes in Computer Science
Pages	101-112
Volume	5816
DOIs	https://doi.org/10.1007/978-3-642-04686-5_9
Publication status	Published - 1 Jan 2009
Event	Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence - Duration: 1 Jan 2009 → …

Conference

Conference	Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence
Period	1/01/09 → …

Access to Document

10.1007/978-3-642-04686-5_9

Cite this

@inproceedings{f152b1a782f447abaadeb219e0858c22,

title = "A Logic Programming System for Evolving Programs with Temporal Operators",

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.",

author = "Royval, {Alfredo Gabaldon} and Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro} and Alferes, {Jos{\'e} J{\'u}lio Alves}",

year = "2009",

month = jan,

day = "1",

doi = "10.1007/978-3-642-04686-5_9",

language = "Unknown",

isbn = "978-3-642-04685-8",

volume = "5816",

pages = "101--112",

booktitle = "Lecture Notes in Computer Science",

note = "Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence ; Conference date: 01-01-2009",

}

TY - GEN

T1 - A Logic Programming System for Evolving Programs with Temporal Operators

AU - Royval, Alfredo Gabaldon

AU - Leite, João Alexandre Carvalho Pinheiro

AU - Alferes, José Júlio Alves

PY - 2009/1/1

Y1 - 2009/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-04686-5_9

DO - 10.1007/978-3-642-04686-5_9

M3 - Conference contribution

SN - 978-3-642-04685-8

VL - 5816

SP - 101

EP - 112

BT - Lecture Notes in Computer Science

T2 - Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence

Y2 - 1 January 2009

ER -