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
-
-
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 programjava.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.
-
-
-
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 interfaceReasoner<DelpAnswer.Type,DefeasibleLogicProgram,FolFormula>
- Parameters:
delp
- a belief basef
- a formula- Returns:
- the answer to the query
-
-