Extensions to Justification Theory

05/09/2019
by   Simon Marynissen, et al.
0

Justification theory is a unifying framework for semantics of non-monotonic logics. It is built on the notion of a justification, which intuitively is a graph that explains the truth value of certain facts in a structure. Knowledge representation languages covered by justification theory include logic programs, argumentation frameworks, inductive definitions, and nested inductive and coinductive definitions. In addition, justifications are also used for implementation purposes. They are used to compute unfounded sets in modern ASP solvers, can be used to check for relevance of atoms in complete search algorithms, and recent lazy grounding algorithms are built on top of them. In this extended abstract, we lay out possible extensions to justification theory.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/26/2023

The Logic of Logic Programming

Our position is that logic programming is not programming in the Horn cl...
research
03/07/2000

Extending Classical Logic with Inductive Definitions

The goal of this paper is to extend classical logic with a generalized n...
research
08/06/2020

On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach

Recently there has been an increasing interest in frameworks extending D...
research
04/27/2015

Theory of Semi-Instantiation in Abstract Argumentation

We study instantiated abstract argumentation frames of the form (S,R,I),...
research
01/08/2013

Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results

Previous research into the relation between ASP and classical logic has ...
research
09/13/2018

Relevance in Structured Argumentation

We study properties related to relevance in non-monotonic consequence re...
research
04/06/2022

Modular pre-processing for automated reasoning in dependent type theory

The power of modern automated theorem provers can be put at the service ...

Please sign up or login with your details

Forgot password? Click here to reset