Package net.sf.tweety.arg.delp.reasoner

Class DelpReasoner

java.lang.Object

net.sf.tweety.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

Field Summary

Fields

Modifier and Type	Field	Description
private ComparisonCriterion	comparisonCriterion	The comparison criterion is initialized with the "empty criterion"

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.
private boolean	isWarrant(DefeasibleLogicProgram groundDelp, DelpArgument argument)	Checks whether the given argument is a warrant regarding a given set of arguments
DelpAnswer.Type	query(DefeasibleLogicProgram delp, FolFormula f)	Queries the given belief base for the given formula.

Methods inherited from class java.lang.Object

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

Field Detail

comparisonCriterion

private ComparisonCriterion comparisonCriterion

The comparison criterion is initialized with the "empty criterion"

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

isWarrant

private boolean isWarrant(DefeasibleLogicProgram groundDelp,
                          DelpArgument argument)

Checks whether the given argument is a warrant regarding a given set of arguments

Parameters:

groundDelp - a grounded DeLP

argument - a DeLP argument

Returns:

true iff argument is a warrant given arguments.

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