public class DeductiveArgMeReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private Attack |
attack
The attack notion used for determining conflict between arguments.
|
private ProbabilityFunction<PossibleWorld> |
meDistribution
The ME-distribution this reasoner bases on.
|
Constructor and Description |
---|
DeductiveArgMeReasoner(BeliefBase beliefBase,
Attack attack)
Creates a new reasoner for the given knowledge base and attack relation.
|
Modifier and Type | Method and Description |
---|---|
private ProbabilityFunction<PossibleWorld> |
computeMeDistribution()
Computes the ME-distribution this reasoner bases on.
|
ProbabilityFunction<PossibleWorld> |
getMeDistribution()
Returns the ME-distribution this reasoner bases on.
|
private Term |
getSumOfWorlds(PropositionalFormula f,
java.util.Map<PossibleWorld,Variable> worlds2vars)
Returns the sum (as a term) of all variables of worlds satisfying the first formula.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private ProbabilityFunction<PossibleWorld> meDistribution
private Attack attack
public DeductiveArgMeReasoner(BeliefBase beliefBase, Attack attack)
beliefBase
- some probabilistic knowledge baseattack
- some notion of attackpublic ProbabilityFunction<PossibleWorld> getMeDistribution()
private Term getSumOfWorlds(PropositionalFormula f, java.util.Map<PossibleWorld,Variable> worlds2vars)
f
- worlds2vars
- private ProbabilityFunction<PossibleWorld> computeMeDistribution()