Package org.tweetyproject.arg.lp.reasoner

Class LiteralReasoner

java.lang.Object

org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner

org.tweetyproject.arg.lp.reasoner.LiteralReasoner

All Implemented Interfaces:

QualitativeReasoner<ArgumentationKnowledgeBase,Argument>, Reasoner<Boolean,ArgumentationKnowledgeBase,Argument>

public class LiteralReasoner
extends ArgumentationReasoner

This class extends the default argumentation reasoner to the reasoning about literals in the set of arguments constructible from an extended logic program p. A literal l is considered true, also called justified, in p, iff there is a justified argument with conclusion l.

Author:

Sebastian Homann

Constructor Summary

Constructors

Constructor	Description
LiteralReasoner(AttackStrategy attack, AttackStrategy defence)	Creates a new reasoner for reasoning about literals in an extended logic program given by the beliefBase.

Method Summary

Modifier and Type	Method	Description
boolean	isJustified(ArgumentationKnowledgeBase kb, ASPLiteral arg)	A literal is called x/y-justified, if a x/y-justified argument with conclusion arg can be constructed from p.
boolean	isOverruled(ArgumentationKnowledgeBase kb, ASPLiteral arg)	A literal is called x/y-overruled, iff it is not x/y-justified.
Boolean	query(ArgumentationKnowledgeBase kb, ASPLiteral query)	Evaluates a query against the given argumentation knowledge base to determine if the query is justified based on the arguments in the knowledge base.

Methods inherited from class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner

getDefensibleArguments, getJustifiedArguments, getOverruledArguments, isDefensible, isInstalled, isOverruled, query

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

LiteralReasoner

public LiteralReasoner(AttackStrategy attack,
 AttackStrategy defence)

Creates a new reasoner for reasoning about literals in an extended logic program given by the beliefBase. The argumentation framework is parameterised by two notions of attack. See the original ArgumentationReasoner for details.

Parameters:

attack - some attack strategy

defence - some attack strategy

Method Details

query

public Boolean query(ArgumentationKnowledgeBase kb,
 ASPLiteral query)

Evaluates a query against the given argumentation knowledge base to determine if the query is justified based on the arguments in the knowledge base.

Parameters:

kb - the `ArgumentationKnowledgeBase` to be queried. This knowledge base contains the arguments and their relations that are used to evaluate the query.

query - the `ASPLiteral` representing the query to be evaluated. The method checks if this literal is a conclusion of any justified argument.

Returns:

`true` if the query is justified by the arguments in the knowledge base, `false` otherwise.

isOverruled

public boolean isOverruled(ArgumentationKnowledgeBase kb,
 ASPLiteral arg)

A literal is called x/y-overruled, iff it is not x/y-justified.

Parameters:

kb - a knowledge base

arg - a literal

Returns:

true iff arg is not x/y-overruled

isJustified

public boolean isJustified(ArgumentationKnowledgeBase kb,
 ASPLiteral arg)

A literal is called x/y-justified, if a x/y-justified argument with conclusion arg can be constructed from p.

Parameters:

kb - a knowledge base

arg - a literal

Returns:

true iff a x/y-justified argument with conclusion arg can be constructed from p