net.sf.tweety.arg.prob.test.deductive

Class DeductiveArgMeReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.prob.test.deductive.DeductiveArgMeReasoner

public class DeductiveArgMeReasoner
extends Reasoner

This class implements the ME-reasoning approach from [Hunter, Thimm, 2013, in preparation].

Author:

Matthias Thimm

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
DeductiveArgMeReasoner(BeliefBase beliefBase, Attack attack) Creates a new reasoner for the given knowledge base and attack relation.

Method Summary

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.

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

meDistribution

private ProbabilityFunction<PossibleWorld> meDistribution

The ME-distribution this reasoner bases on.

attack

private Attack attack

The attack notion used for determining conflict between arguments.

Constructor Detail

DeductiveArgMeReasoner

public DeductiveArgMeReasoner(BeliefBase beliefBase,
                              Attack attack)

Creates a new reasoner for the given knowledge base and attack relation.

Parameters:

beliefBase - some probabilistic knowledge base

attack - some notion of attack

Method Detail

getMeDistribution

public ProbabilityFunction<PossibleWorld> getMeDistribution()

Returns the ME-distribution this reasoner bases on.

Returns:

the ME-distribution this reasoner bases on.

getSumOfWorlds

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.

Parameters:

f -

worlds2vars -

computeMeDistribution

private ProbabilityFunction<PossibleWorld> computeMeDistribution()

Computes the ME-distribution this reasoner bases on.

Returns:

the ME-distribution this reasoner bases on.

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.