Class AbstractAcceptabilityReasoner
java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner
- All Implemented Interfaces:
QualitativeReasoner<DungTheory,Argument>
,Reasoner<Boolean,DungTheory,Argument>
- Direct Known Subclasses:
EeeAcceptabilityReasoner
,IaqAcceptabilityReasoner
,SeeAcceptabilityReasoner
,SeemAcceptabilityReasoner
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
-
Method Summary
Modifier and TypeMethodDescriptionabstract Collection<Argument>
Returns the set of acceptable arguments of this reasoner.query(DungTheory beliefbase, Argument formula)
Queries the given belief base for the given formula.
-
Constructor Details
-
AbstractAcceptabilityReasoner
public AbstractAcceptabilityReasoner()
-
-
Method Details
-
getAcceptableArguments
Returns the set of acceptable arguments of this reasoner.- Parameters:
aaf
- some AAF- Returns:
- the set of acceptable arguments of this reasoner.
-
query
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<DungTheory,Argument>
- Specified by:
query
in interfaceReasoner<Boolean,DungTheory,Argument>
- Specified by:
query
in classAbstractDungReasoner
- Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-