Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints

Authors:
Luciano Caroprese;Mirosław Truszczyński
Affiliations:
Università della Calabria, Rende, Italy 87030;Department of Computer Science, University of Kentucky, Lexington, USA KY 40506
Venue:
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Year:
2008

Citing 7
Cited 3

Updating logical databases

Updating logical databases
Revision programming

Theoretical Computer Science - Special issue: database theory
Nested expressions in logic programs

Annals of Mathematics and Artificial Intelligence
Revision Specifications by Means of Programs

JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Revision programming: a knowledge representation formalism

Revision programming: a knowledge representation formalism
Declarative Semantics for Active Integrity Constraints

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Declarative semantics of production rules for integrity maintenance

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Declarative Semantics for Active Integrity Constraints

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Logic programming languages for databases and the web

A 25-year perspective on logic programming
Active integrity constraints and revision programming

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate revision programming, a formalism to describe constraints on belief sets (databases, knowledge bases), and to specify preferredways 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.