public class IssReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private SocialMapping<java.lang.Double> |
mapping
The mapping to be computed by this reasoner.
|
private SimpleProductSemantics |
semantics
The semantics used by this reasoner.
|
private double |
tolerance
The tolerance of the ISS algorithm.
|
Constructor and Description |
---|
IssReasoner(BeliefBase beliefBase,
SimpleProductSemantics semantics,
double tolerance)
Creates a new reasoner for the given social abstract argumentation framework
|
Modifier and Type | Method and Description |
---|---|
private double |
dist(SocialMapping<java.lang.Double> sm1,
SocialMapping<java.lang.Double> sm2,
java.util.Collection<Argument> args)
Returns the maximum-norm distance between the two social
mappings
|
SocialMapping<java.lang.Double> |
getSocialModel()
Returns the social model computed by the ISS algorithm.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private SimpleProductSemantics semantics
private SocialMapping<java.lang.Double> mapping
private double tolerance
public IssReasoner(BeliefBase beliefBase, SimpleProductSemantics semantics, double tolerance)
beliefBase
- a social abstract argumentation frameworkthe
- simple product semantics usedthe
- tolerance of the ISS algorithm.private double dist(SocialMapping<java.lang.Double> sm1, SocialMapping<java.lang.Double> sm2, java.util.Collection<Argument> args)
sm1
- some social mappingsm2
- some social mappingargs
- some argumentspublic SocialMapping<java.lang.Double> getSocialModel()