Abstract
AbstractJustification 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.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Reference15 articles.
1. Vicious circle principle, aggregates, and formation of sets in ASP based languages
2. Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
3. Well-founded and stable semantics of logic programs with aggregates;Pelov;TPLP 7,2007
4. Marynissen, S. and Bogaerts, B. to appear. Tree-like justifications are consistent. In Technical Communications of ICLP.
5. Marynissen, S. 2022. Advances in Justification Theory. Ph.D. thesis, Department of Computer Science, KU Leuven. Denecker, Marc and Bart Bogaerts (supervisors).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The XAI system for answer set programming xASP2;Journal of Logic and Computation;2024-07-29
2. Embedding justification theory in approximation fixpoint theory;Artificial Intelligence;2024-06
3. Tree-Like Justification Systems are Consistent;Electronic Proceedings in Theoretical Computer Science;2022-08-04
4. On Nested Justification Systems;Theory and Practice of Logic Programming;2022-07-11