Paper Info
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.
Year
DOI
Venue
2022
10.1017/S1471068422000266
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Keywords
DocType
Volume
justification, modular, knowledge representation
Journal
22
Issue
ISSN
Citations 
5
1471-0684
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Simon Marynissen100.34
Jesse Heyninck200.34
Bart Bogaerts38316.49
Marc Denecker41626106.40