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 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 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
Set<DelpArgument>	getWarrants(DefeasibleLogicProgram delp)	Computes the subset of the arguments of this program, that are warrants.
boolean	isInstalled()	Return is installed
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 Details

DelpReasoner

public DelpReasoner(ComparisonCriterion comparisonCriterion)

Creates a new DelpReasoner for the given delp. *

Parameters:

comparisonCriterion - a comparison criterion used for inference

Method Details

getComparisonCriterion

public ComparisonCriterion getComparisonCriterion()

returns the comparison criterion used in this program

Returns:

the comparison criterion used in this program

getWarrants

public 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 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

isInstalled

public boolean isInstalled()

Return is installed

Returns:

is installed