public class DelpReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private ComparisonCriterion |
comparisonCriterion
The comparison criterion is initialized with the "empty criterion"
|
private DefeasibleLogicProgram |
groundDelp |
Constructor and Description |
---|
DelpReasoner(BeliefBase beliefBase,
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()
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.
|
getKnowledgeBase
private ComparisonCriterion comparisonCriterion
private final DefeasibleLogicProgram groundDelp
public DelpReasoner(BeliefBase beliefBase, ComparisonCriterion comparisonCriterion)
beliefBase
- a delp.comparisonCriterion
- a comparison criterion used for inferencepublic ComparisonCriterion getComparisonCriterion()
public Answer query(Formula query)
Reasoner
public java.util.Set<DelpArgument> getWarrants()
public boolean isWarrant(DelpArgument argument, java.util.Set<DelpArgument> arguments)
argument
- a DeLP argumentarguments
- a set of DeLP arguments