Declarative semantics for revision programming and connections to active integrity constraints

Luciano Caroprese, Mirosław Truszczyński

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

We investigate revision programming, a formalism to describe constraints on belief sets (databases, knowledge bases), and to specify preferred ways to enforce them. We propose several semantics for revision programs combining ideas from logic programming and active integrity constraints, a formalism to model preferred ways to enforce integrity constraints on databases. We present results on the complexity of the semantics we introduce. We also show that all these semantics are invariant under "shifting". Finally, we prove that from the perspective of a broad semantic landscape of revision programming, there is a direct correspondence between revision programs and active integrity constraints.

Original languageEnglish
Title of host publicationLogics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings
Pages100-112
Number of pages13
DOIs
StatePublished - 2008
Event11th European Conference on Logics in Artificial Intelligence, JELIA 2008 - Dresden, Germany
Duration: Sep 28 2008Oct 1 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5293 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th European Conference on Logics in Artificial Intelligence, JELIA 2008
Country/TerritoryGermany
CityDresden
Period9/28/0810/1/08

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Declarative semantics for revision programming and connections to active integrity constraints'. Together they form a unique fingerprint.

Cite this