public class DelpReasoner extends java.lang.Object implements Reasoner<DelpAnswer.Type,DefeasibleLogicProgram,FolFormula>
Modifier and Type | Field and Description |
---|---|
private ComparisonCriterion |
comparisonCriterion
The comparison criterion is initialized with the "empty criterion"
|
Constructor and Description |
---|
DelpReasoner(ComparisonCriterion comparisonCriterion)
Creates a new DelpReasoner for the given delp.
|
Modifier and Type | Method and Description |
---|---|
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.
|
boolean |
isWarrant(DefeasibleLogicProgram groundDelp,
DelpArgument argument,
java.util.Set<DelpArgument> arguments)
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.
|
private ComparisonCriterion comparisonCriterion
public DelpReasoner(ComparisonCriterion comparisonCriterion)
beliefBase
- a delp.comparisonCriterion
- a comparison criterion used for inferencepublic ComparisonCriterion getComparisonCriterion()
public java.util.Set<DelpArgument> getWarrants(DefeasibleLogicProgram delp)
public boolean isWarrant(DefeasibleLogicProgram groundDelp, DelpArgument argument, java.util.Set<DelpArgument> arguments)
argument
- a DeLP argumentarguments
- a set of DeLP argumentspublic DelpAnswer.Type query(DefeasibleLogicProgram delp, FolFormula f)
Reasoner
query
in interface Reasoner<DelpAnswer.Type,DefeasibleLogicProgram,FolFormula>
delp
- a belief basef
- a formula