Package org.tweetyproject.arg.delp.reasoner

Class DelpReasoner

java.lang.Object

org.tweetyproject.arg.delp.reasoner.DelpReasoner

All Implemented Interfaces:

Reasoner<DelpAnswer.Type,DefeasibleLogicProgram,FolFormula>

public class DelpReasoner
extends java.lang.Object
implements Reasoner<DelpAnswer.Type,DefeasibleLogicProgram,FolFormula>

This reasoner performs default dialectical reasoning on some given DeLP.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
DelpReasoner(ComparisonCriterion comparisonCriterion)	Creates a new DelpReasoner for the given delp.

Method Summary

Modifier and Type	Method	Description
static java.util.Set<DelpArgument>	getArgumentsWithConclusion(DefeasibleLogicProgram delp, FolFormula f)	Returns all arguments with the given conclusion from the delp.
ComparisonCriterion	getComparisonCriterion()	returns the comparison criterion used in this program
java.util.Set<DelpArgument>	getWarrants(DefeasibleLogicProgram delp)	Computes the subset of the arguments of this program, that are warrants.
DelpAnswer.Type	query(DefeasibleLogicProgram delp, FolFormula f)	Queries the given belief base for the given formula.

Methods inherited from class java.lang.Object

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

Constructor Detail

DelpReasoner

public DelpReasoner(ComparisonCriterion comparisonCriterion)

Creates a new DelpReasoner for the given delp. *

Parameters:

comparisonCriterion - a comparison criterion used for inference

Method Detail

getComparisonCriterion

public ComparisonCriterion getComparisonCriterion()

returns the comparison criterion used in this program

Returns:

the comparison criterion used in this program

getWarrants

public java.util.Set<DelpArgument> getWarrants(DefeasibleLogicProgram delp)

Computes the subset of the arguments of this program, that are warrants.

Parameters:

delp - a delp

Returns:

a set of DelpArgument that are warrants

getArgumentsWithConclusion

public static java.util.Set<DelpArgument> getArgumentsWithConclusion(DefeasibleLogicProgram delp,
                                                                     FolFormula f)

Returns all arguments with the given conclusion from the delp.

Parameters:

delp - some delp.

f - a formula

Returns:

all arguments with the given conclusion from the delp.

query

public DelpAnswer.Type query(DefeasibleLogicProgram delp,
                             FolFormula f)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface Reasoner<DelpAnswer.Type,DefeasibleLogicProgram,FolFormula>

Parameters:

delp - a belief base

f - a formula

Returns:

the answer to the query