net.sf.tweety.arg.lp

Class LiteralReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.lp.ArgumentationReasoner

net.sf.tweety.arg.lp.LiteralReasoner

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 and Description
LiteralReasoner(net.sf.tweety.commons.BeliefBase beliefBase, 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 and Description
boolean	isJustified(net.sf.tweety.lp.asp.syntax.DLPLiteral arg) A literal is called x/y-justified, if a x/y-justified argument with conclusion arg can be constructed from p.
boolean	isOverruled(net.sf.tweety.lp.asp.syntax.DLPLiteral arg) A literal is called x/y-overruled, iff it is not x/y-justified.
net.sf.tweety.commons.Answer	query(net.sf.tweety.commons.Formula query)

Methods inherited from class net.sf.tweety.arg.lp.ArgumentationReasoner

getDefensibleArguments, getJustifiedArguments, getOverruledArguments, isDefensible, isJustified, isOverruled

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

LiteralReasoner

public LiteralReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
                       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:

beliefBase -

attack -

defence -

Method Detail

query

public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Overrides:

query in class ArgumentationReasoner

isOverruled

public boolean isOverruled(net.sf.tweety.lp.asp.syntax.DLPLiteral arg)

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

Parameters:

arg - a literal

Returns:

true iff arg is not x/y-overruled

isJustified

public boolean isJustified(net.sf.tweety.lp.asp.syntax.DLPLiteral arg)

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

Parameters:

arg - a literal

Returns:

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