H ? « ‹ ← → › »

Language peer sets for LUPS:
Designed 2002 ↑
2000s languages ↑
Internet↑
New internationlism↑

LUPS(ID:3543/lup001)

Designed 2002

LUPS A language for updating logic programs

Artificial Intelligence
Volume 138, Issues 1-2, June 2002, Pages 87-116

DOI: 10.1016/S0004-3702(02)00183-2
PII: S0004-3702(02)00183-2
Copyright © 2002 Elsevier Science B.V. All rights reserved.
LUPS¯¯A language for updating logic programs

José Júlio Alferes, , a, Luís Moniz Pereiraa, Halina Przymusinskab, c and Teodor C. Przymusinskic

a Centro de Inteligência Artificial, FCT/UNL, P-2829-516 Caparica, Portugal
b Computer Science, California State Polytechnic Univ., Pomona, CA 91768, USA
c Computer Science, Univ. of California, Riverside, CA 92521, USA

Received 15 May 2000. Available online 4 March 2002.

Abstract
Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the declarative and operational semantics of sequences of logic programs (or dynamic logic programs). Each program in the sequence contains knowledge about some given state, where different states may, for example, represent different time periods or different sets of priorities.

But how, in concrete situations, is a sequence of logic programs built? For instance, in the domain of actions, what are the appropriate sequences of programs that represent the performed actions and their effects? Whereas dynamic logic programming provides a way for, given the sequence, determining what should follow, it does not provide a good practical language for the specification of the sequence of updates which may be conditional on the intervening states.

Here we define the language LUPS [[Language for dynamic updates designed for specifying changes to logic programs]]. Given an initial knowledge base (as a logic program) LUPS provides a way for sequentially updating it. The declarative meaning of a sequence of sets of update actions in LUPS is defined by the semantics of the dynamic logic program generated by those actions. Additionally, we provide a translation of the sequence of update statements sets into a single logic program written in a meta-language, in such a way that the stable models of the resulting program correspond to the previously defined declarative semantics. Finally, we exhibit the usage of LUPS in several application domains.

Author Keywords: Logic programming; Knowledge updates

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder