Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

Bart Bogaerts; Luís Cruz-Filipe

doi:10.24963/ijcai.2017/120

Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

Bart Bogaerts
, Luís Cruz-Filipe

Syddansk Universitet

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Abstract

Active integrity constraints (AICs) constitute a formalism to associate with a database not just the constraints it should adhere to, but also how to fix the database in case one or more of these constraints are violated. The intuitions regarding which repairs are “good” given such a description are closely related to intuitions that live in various areas of non-monotonic reasoning. In this paper, we apply approximation fixpoint theory, an algebraic framework that unifies semantics of non-monotonic logics, to the field of AICs. This results in a new family of semantics for AICs, of which we study semantics and relationships to existing semantics. We argue that the AFT-well-founded semantics has some desirable properties.

Originalsprog	Engelsk
Titel	Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Redaktører	Charles Sierra
Antal sider	7
Forlag	IJCAI
Publikationsdato	2017
Sider	866-872
DOI	https://doi.org/10.24963/ijcai.2017/120
Status	Udgivet - 2017
Udgivet eksternt	Ja
Begivenhed	International Joint Conferences on Artificial Intelligence - Melbourne, Australien Varighed: 19 aug. 2017 → 25 aug. 2017 Konferencens nummer: 26 https://ijcai-17.org/

Konference

Konference	International Joint Conferences on Artificial Intelligence
Nummer	26
Land/Område	Australien
By	Melbourne
Periode	19/08/2017 → 25/08/2017
Internetadresse	https://ijcai-17.org/

Adgang til dokumentet

10.24963/ijcai.2017/120

Citationsformater

@inproceedings{7fb8797c1e804c7f803f936ca3ef828a,

title = "Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory",

abstract = "Active integrity constraints (AICs) constitute a formalism to associate with a database not just the constraints it should adhere to, but also how to fix the database in case one or more of these constraints are violated. The intuitions regarding which repairs are “good” given such a description are closely related to intuitions that live in various areas of non-monotonic reasoning. In this paper, we apply approximation fixpoint theory, an algebraic framework that unifies semantics of non-monotonic logics, to the field of AICs. This results in a new family of semantics for AICs, of which we study semantics and relationships to existing semantics. We argue that the AFT-well-founded semantics has some desirable properties.",

keywords = "Knowledge Representation, Reasoning, and Logic, Non-monotonic Reasoning",

author = "Bart Bogaerts and Lu{\'i}s Cruz-Filipe",

note = "2017 International Joint Conferences on Artificial Intelligence Organization, IJCAI ; Conference date: 19-08-2007 Through 25-08-2017; International Joint Conferences on Artificial Intelligence , IJCAI ; Conference date: 19-08-2017 Through 25-08-2017",

year = "2017",

doi = "10.24963/ijcai.2017/120",

language = "English",

pages = "866--872",

editor = "Charles Sierra",

booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence",

publisher = "IJCAI",

url = "https://ijcai-17.org/",

}

Bogaerts, B & Cruz-Filipe, L 2017, Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. i C Sierra (red.), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. IJCAI, s. 866-872, International Joint Conferences on Artificial Intelligence , Melbourne, Victoria, Australien, 19/08/2017. https://doi.org/10.24963/ijcai.2017/120

Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. / Bogaerts, Bart; Cruz-Filipe, Luís.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. red. / Charles Sierra. IJCAI, 2017. s. 866-872.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

AU - Bogaerts, Bart

AU - Cruz-Filipe, Luís

N1 - Conference code: 26

PY - 2017

Y1 - 2017

N2 - Active integrity constraints (AICs) constitute a formalism to associate with a database not just the constraints it should adhere to, but also how to fix the database in case one or more of these constraints are violated. The intuitions regarding which repairs are “good” given such a description are closely related to intuitions that live in various areas of non-monotonic reasoning. In this paper, we apply approximation fixpoint theory, an algebraic framework that unifies semantics of non-monotonic logics, to the field of AICs. This results in a new family of semantics for AICs, of which we study semantics and relationships to existing semantics. We argue that the AFT-well-founded semantics has some desirable properties.

AB - Active integrity constraints (AICs) constitute a formalism to associate with a database not just the constraints it should adhere to, but also how to fix the database in case one or more of these constraints are violated. The intuitions regarding which repairs are “good” given such a description are closely related to intuitions that live in various areas of non-monotonic reasoning. In this paper, we apply approximation fixpoint theory, an algebraic framework that unifies semantics of non-monotonic logics, to the field of AICs. This results in a new family of semantics for AICs, of which we study semantics and relationships to existing semantics. We argue that the AFT-well-founded semantics has some desirable properties.

KW - Knowledge Representation

KW - Reasoning, and Logic

KW - Non-monotonic Reasoning

U2 - 10.24963/ijcai.2017/120

DO - 10.24963/ijcai.2017/120

M3 - Article in proceedings

SP - 866

EP - 872

BT - Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

A2 - Sierra, Charles

PB - IJCAI

T2 - International Joint Conferences on Artificial Intelligence

Y2 - 19 August 2017 through 25 August 2017

ER -

Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

Abstract

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater