Updates plus preferences

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Citations (Scopus)

Abstract

The aim of this paper is to combine, into a single logic programming framework, the hitherto separate forms of reasoning of preferences and updating. More precisely, we define a language capable of considering sequences of logic programs that result from the consecutive updates of an initial program, where it is possible to define a priority relation among the rules of all successive programs. Moreover, within the framework, the priority relation can itself be updated. In order to define a declarative semantics for the language, we start by reviewing the declarative semantics of updates of [1], and by presenting a definition of a semantics for preferences, shown equivalent to the one in [5], in a form suitable for its integration with the updates one. Before the conclusions and mention of future work, we present two illustrative examples of application of the framework.
Original languageEnglish
Title of host publicationLecture Notes in Artificial Intelligence
EditorsManuel Ojeda-Aciego , Inma P. de Guzman , Gerhard Brewka , Luis Moniz Pereira
PublisherSpringer Verlag
Pages345-360
Number of pages16
Volume1919
ISBN (Print)3540411313, 9783540411314
DOIs
Publication statusPublished - 2000
EventLogics in Artificial Intelligence -
Duration: 1 Jan 2002 → …

Conference

ConferenceLogics in Artificial Intelligence
Period1/01/02 → …

Keywords

  • Artificial intelligence
  • Semantics
  • Computational linguistics
  • Declarative semantics
  • Logic programs

Fingerprint Dive into the research topics of 'Updates plus preferences'. Together they form a unique fingerprint.

  • Cite this

    Alferes, J. J. A., & Pereira, L. M. (2000). Updates plus preferences. In M. O-A., I. P. D. G., G. B., & L. M. P. (Eds.), Lecture Notes in Artificial Intelligence (Vol. 1919, pp. 345-360). Springer Verlag. https://doi.org/10.1007/3-540-45757-7_6