Location of Repository

LUPS - a language for updating logic programs

By José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska and Teodor C. Przymusinski

Abstract

Most of the work conducted so far in the eld 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 dened 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 dierent states may, for example, represent dierent time periods or dierent 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 eects? 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 specication of the sequence of updates which may be condi..

Year: 2000
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.7478
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://centria.di.fct.unl.pt/~... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.