Exploiting Game Theory for Analysing Justifications

08/04/2020
by   Simon Marynissen, et al.
0

Justification theory is a unifying semantic framework. While it has its roots in non-monotonic logics, it can be applied to various areas in computer science, especially in explainable reasoning; its most central concept is a justification: an explanation why a property holds (or does not hold) in a model. In this paper, we continue the study of justification theory by means of three major contributions. The first is studying the relation between justification theory and game theory. We show that justification frameworks can be seen as a special type of games. The established connection provides the theoretical foundations for our next two contributions. The second contribution is studying under which condition two different dialects of justification theory (graphs as explanations vs trees as explanations) coincide. The third contribution is establishing a precise criterion of when a semantics induced by justification theory yields consistent results. In the past proving that such semantics were consistent took cumbersome and elaborate proofs. We show that these criteria are indeed satisfied for all common semantics of logic programming. This paper is under consideration for acceptance in Theory and Practice of Logic Programming (TPLP).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/30/2022

Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming

Approximation fixpoint theory (AFT) is an abstract and general algebraic...
research
08/05/2022

Tree-Like Justification Systems are Consistent

Justification theory is an abstract unifying formalism that captures sem...
research
06/17/2015

Why Bother With Syntax?

This short note discusses the role of syntax vs. semantics and the inter...
research
12/27/2021

Proceedings 37th Conference on Mathematical Foundations of Programming Semantics

MFPS conferences are dedicated to the areas of mathematics, logic, and c...
research
07/03/2002

Agent Programming with Declarative Goals

A long and lasting problem in agent research has been to close the gap b...
research
12/17/2010

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

Interpolation is an important property of classical and many non classic...
research
03/27/2021

Local Explanations via Necessity and Sufficiency: Unifying Theory and Practice

Necessity and sufficiency are the building blocks of all successful expl...

Please sign up or login with your details

Forgot password? Click here to reset