Package net.sf.tweety.arg.dung.reasoner
Class AbstractAcceptabilityReasoner
- java.lang.Object
-
- net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
-
- net.sf.tweety.arg.dung.reasoner.AbstractAcceptabilityReasoner
-
- All Implemented Interfaces:
net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>,net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>
- Direct Known Subclasses:
EeeAcceptabilityReasoner,IaqAcceptabilityReasoner,SeeAcceptabilityReasoner,SeemAcceptabilityReasoner
public abstract class AbstractAcceptabilityReasoner extends AbstractDungReasoner
Ancestor class for reasoners that are tailored towards computing the set {a | a is credulously/skeptically accepted wrt. semantics x} directly, see [Thimm, Cerutti, Vallati; 2020, in preparation].- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description AbstractAcceptabilityReasoner()
-
Method Summary
Modifier and Type Method Description abstract Collection<Argument>getAcceptableArguments(DungTheory aaf)Returns the set of acceptable arguments of this reasoner.Booleanquery(DungTheory beliefbase, Argument formula)
-
-
-
Method Detail
-
getAcceptableArguments
public abstract Collection<Argument> getAcceptableArguments(DungTheory aaf)
Returns the set of acceptable arguments of this reasoner.- Parameters:
aaf- some AAF- Returns:
- the set of acceptable arguments of this reasoner.
-
query
public Boolean query(DungTheory beliefbase, Argument formula)
- Specified by:
queryin interfacenet.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>- Specified by:
queryin interfacenet.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>- Specified by:
queryin classAbstractDungReasoner
-
-