net.sf.tweety.arg.delp

Class DelpReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.delp.DelpReasoner

public class DelpReasoner
extends Reasoner

This reasoner performs default dialectical reasoning on some given DeLP.

Author:

Matthias Thimm

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
DelpReasoner(BeliefBase beliefBase, ComparisonCriterion comparisonCriterion) Creates a new DelpReasoner for the given delp.

Method Summary

Modifier and Type	Method and Description
ComparisonCriterion	getComparisonCriterion() returns the comparison criterion used in this program
java.util.Set<DelpArgument>	getWarrants() Computes the subset of the arguments of this program, that are warrants.
boolean	isWarrant(DelpArgument argument, java.util.Set<DelpArgument> arguments) Checks whether the given argument is a warrant regarding a given set of arguments
Answer	query(Formula query) This method determines the answer of the given query wrt.

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

Field Detail

comparisonCriterion

private ComparisonCriterion comparisonCriterion

The comparison criterion is initialized with the "empty criterion"

groundDelp

private final DefeasibleLogicProgram groundDelp

Constructor Detail

DelpReasoner

public DelpReasoner(BeliefBase beliefBase,
                    ComparisonCriterion comparisonCriterion)

Creates a new DelpReasoner for the given delp.

Parameters:

beliefBase - a delp.

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

query

public Answer query(Formula query)

Description copied from class: Reasoner

This method determines the answer of the given query wrt. to the given knowledge base.

Specified by:

query in class Reasoner

Parameters:

query - a query.

Returns:

the answer to the query.

getWarrants

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

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

Returns:

a set of DelpArgument that are warrants

isWarrant

public boolean isWarrant(DelpArgument argument,
                         java.util.Set<DelpArgument> arguments)

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

Parameters:

argument - a DeLP argument

arguments - a set of DeLP arguments

Returns:

true iff argument is a warrant given arguments.