TY - GEN
T1 - Declarative semantics for revision programming and connections to active integrity constraints
AU - Caroprese, Luciano
AU - Truszczyński, Mirosław
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=56849105771&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=56849105771&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-87803-2_10
DO - 10.1007/978-3-540-87803-2_10
M3 - Conference contribution
AN - SCOPUS:56849105771
SN - 3540878025
SN - 9783540878025
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 100
EP - 112
BT - Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings
T2 - 11th European Conference on Logics in Artificial Intelligence, JELIA 2008
Y2 - 28 September 2008 through 1 October 2008
ER -