Class FlatAbaReasoner<T extends Formula>

java.lang.Object
org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner<T>
org.tweetyproject.arg.aba.reasoner.FlatAbaReasoner<T>
Type Parameters:
T - the type of formulas
All Implemented Interfaces:
ModelProvider<Assumption<T>,AbaTheory<T>,AbaExtension<T>>, QualitativeReasoner<AbaTheory<T>,Assumption<T>>, Reasoner<Boolean,AbaTheory<T>,Assumption<T>>

public class FlatAbaReasoner<T extends Formula> extends GeneralAbaReasoner<T>
This class models a reasoner over ABA formulae. This reasoner can only be used with flat ABA theories because only those can be transformed into Dung frameworks.
Author:
Nils Geilen, Matthias Thimm
  • Constructor Details

    • FlatAbaReasoner

      public FlatAbaReasoner(Semantics semantics)
      Creates a new instance
      Parameters:
      semantics - an indicator for the used semantics (c.f. org.tweetyproject.arg.dung.semantics.Semantics)
  • Method Details