Title: Partial grounded fixpoints
Authors: Bogaerts, Bart ×
Vennekens, Joost
Denecker, Marc #
Issue Date: 2015
Publisher: AAAI Press
Host Document: Proceedings of the twenty-fourth international conference on artificial intelligence pages:2784-2790
Conference: IJCAI edition:24 location:Buenos Aires, Argentina date:25-31 July 2015
Abstract: Approximation fixpoint theory (AFT) is an algebraical study of fixpoints of lattice operators. This theory induces all major semantics of logic programming, autoepistemic logic, default logic and abstract argumentation frameworks and unifies these formalisms. Recently, AFT was extended with the notion of a grounded fixpoint. This type of fixpoint formalises common intuitions from various application domains of AFT. The study of groundedness was limited to exact lattice points; in this paper, we extend it to the bilattice: for an approximator A of O, we define A-groundedness. We show that all partial A-stable fixpoints are A-grounded and that the A-well-founded fixpoint is uniquely characterised as the least precise A-grounded fixpoint. We apply our theory to logic programs and show that in this case, groundedness closely relates to unfounded sets.
ISBN: 978-1-57735-738-4
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
Technologiecluster Computerwetenschappen
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
IJCAI15-394.pdf Published 519KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.