Class StableReasoner
- java.lang.Object
-
- net.sf.tweety.arg.bipolar.reasoner.evidential.StableReasoner
-
public class StableReasoner extends java.lang.Object
a set of arguments S is stable iff it is conflict-free, self-supporting and for any argument a e-supported by bbase, where a is not in S, S e-support attacks either a or every set of arguments minimally e-supporting a.- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description StableReasoner()
-
Method Summary
Modifier and Type Method Description ArgumentSet
getModel(EvidentialArgumentationFramework bbase)
java.util.Collection<ArgumentSet>
getModels(EvidentialArgumentationFramework bbase)
-
-
-
Method Detail
-
getModels
public java.util.Collection<ArgumentSet> getModels(EvidentialArgumentationFramework bbase)
-
getModel
public ArgumentSet getModel(EvidentialArgumentationFramework bbase)
-
-