On Nested Justification Systems

Simon Marynissen; Jesse Heyninck; Bart Bogaerts; Marc Denecker

doi:10.1017/S1471068422000266

On Nested Justification Systems

Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker

Informatics and Applied Informatics

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

34 Downloads (Pure)

Abstract

Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first introduced by Denecker et al., allow for the composition of justification systems. This notion of nesting thus enables the modular definition of semantics of rule-based languages, and increases the representational capacities of justification theory. As we show in this paper, the original characterization of semantics for nested justification systems leads to the loss of information relevant for explanations. In view of this problem, we provide an alternative characterization of their semantics and show that it is equivalent to the original one. Furthermore, we show how nested justification systems allow representing fixpoint definitions.

Original language	English
Pages (from-to)	641-657
Number of pages	17
Journal	Theory and Practice of Logic Programming
Volume	22
Issue number	5
DOIs	https://doi.org/10.1017/S1471068422000266
Publication status	Published - 11 Sept 2022
Event	38th International Conference on Logic Programming - Haifa, Israel Duration: 31 Aug 2021 → 6 Sept 2022 Conference number: 38 https://software.imdea.org/Conferences/ICLP2022/

Bibliographical note

Funding Information:
This research was supported by the Flemish Government in the “Onderzoeksprogramma ArtificiËle Intelligentie (AI) Vlaanderen” programme and by the FWO Flanders project G0B2221N.

Publisher Copyright:
© 2022 Cambridge University Press. All rights reserved.

Copyright:
Copyright 2022 Elsevier B.V., All rights reserved.

Access to Document

10.1017/S1471068422000266Licence: CC BY-NC-ND

NestedJustificationsAccepted author manuscript, 435 KBLicence: CC BY

Cite this

@article{03aeef240cad4d2db5ec42cc0871fb65,

title = "On Nested Justification Systems",

abstract = "Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first introduced by Denecker et al., allow for the composition of justification systems. This notion of nesting thus enables the modular definition of semantics of rule-based languages, and increases the representational capacities of justification theory. As we show in this paper, the original characterization of semantics for nested justification systems leads to the loss of information relevant for explanations. In view of this problem, we provide an alternative characterization of their semantics and show that it is equivalent to the original one. Furthermore, we show how nested justification systems allow representing fixpoint definitions.",

author = "Simon Marynissen and Jesse Heyninck and Bart Bogaerts and Marc Denecker",

note = "Funding Information: This research was supported by the Flemish Government in the “Onderzoeksprogramma Artifici{\"E}le Intelligentie (AI) Vlaanderen” programme and by the FWO Flanders project G0B2221N. Publisher Copyright: {\textcopyright} 2022 Cambridge University Press. All rights reserved. Copyright: Copyright 2022 Elsevier B.V., All rights reserved.; 38th International Conference on Logic Programming<br/>, ICLP ; Conference date: 31-08-2021 Through 06-09-2022",

year = "2022",

month = sep,

day = "11",

doi = "10.1017/S1471068422000266",

language = "English",

volume = "22",

pages = "641--657",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

publisher = "Cambridge Univ. Press",

number = "5",

url = "https://software.imdea.org/Conferences/ICLP2022/",

}

TY - JOUR

T1 - On Nested Justification Systems

AU - Marynissen, Simon

AU - Heyninck, Jesse

AU - Bogaerts, Bart

AU - Denecker, Marc

N1 - Conference code: 38

PY - 2022/9/11

Y1 - 2022/9/11

N2 - Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first introduced by Denecker et al., allow for the composition of justification systems. This notion of nesting thus enables the modular definition of semantics of rule-based languages, and increases the representational capacities of justification theory. As we show in this paper, the original characterization of semantics for nested justification systems leads to the loss of information relevant for explanations. In view of this problem, we provide an alternative characterization of their semantics and show that it is equivalent to the original one. Furthermore, we show how nested justification systems allow representing fixpoint definitions.

AB - Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first introduced by Denecker et al., allow for the composition of justification systems. This notion of nesting thus enables the modular definition of semantics of rule-based languages, and increases the representational capacities of justification theory. As we show in this paper, the original characterization of semantics for nested justification systems leads to the loss of information relevant for explanations. In view of this problem, we provide an alternative characterization of their semantics and show that it is equivalent to the original one. Furthermore, we show how nested justification systems allow representing fixpoint definitions.

UR - http://www.scopus.com/inward/record.url?scp=85136181625&partnerID=8YFLogxK

U2 - 10.1017/S1471068422000266

DO - 10.1017/S1471068422000266

M3 - Article

SN - 1471-0684

VL - 22

SP - 641

EP - 657

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 5

T2 - 38th International Conference on Logic Programming<br/>

Y2 - 31 August 2021 through 6 September 2022

ER -

On Nested Justification Systems

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

VLAAI1: Flanders Artificial Intelligence Research program (FAIR) – second cycle

FWOAL990: Approximation Fixpoint Theory as a General Algebraic Theory of Constructive Knowledge

Cite this

On Nested Justification Systems

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Projects

VLAAI1: Flanders Artificial Intelligence Research program (FAIR) – second cycle

FWOAL990: Approximation Fixpoint Theory as a General Algebraic Theory of Constructive Knowledge

Cite this