LiteralReasoner

java.lang.Object
- net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner
- - net.sf.tweety.arg.lp.reasoner.LiteralReasoner

All Implemented Interfaces:

QualitativeReasoner<ArgumentationKnowledgeBase,Argument>, Reasoner<java.lang.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.
`java.lang.Boolean`	`query(ArgumentationKnowledgeBase kb, ASPLiteral query)`

Methods inherited from class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner
getDefensibleArguments, getJustifiedArguments, getOverruledArguments, isDefensible, isOverruled, query

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - 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 Detail
  - query
```
public java.lang.Boolean query(ArgumentationKnowledgeBase kb,
                               ASPLiteral query)
```
  - 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