Uses of Class
org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
Packages that use NecessityArgumentationFramework
Package
Description
-
Uses of NecessityArgumentationFramework in org.tweetyproject.arg.bipolar.reasoner.necessity
Methods in org.tweetyproject.arg.bipolar.reasoner.necessity with parameters of type NecessityArgumentationFrameworkModifier and TypeMethodDescriptionAdmissibleReasoner.getModel
(NecessityArgumentationFramework bbase) Return modelCompleteReasoner.getModel
(NecessityArgumentationFramework bbase) Return modelGroundedReasoner.getModel
(NecessityArgumentationFramework bbase) Return modelPreferredReasoner.getModel
(NecessityArgumentationFramework bbase) StableReasoner.getModel
(NecessityArgumentationFramework bbase) AdmissibleReasoner.getModels
(NecessityArgumentationFramework bbase) Return modelsCompleteReasoner.getModels
(NecessityArgumentationFramework bbase) Return modelsGroundedReasoner.getModels
(NecessityArgumentationFramework bbase) Return modelsPreferredReasoner.getModels
(NecessityArgumentationFramework bbase) StableReasoner.getModels
(NecessityArgumentationFramework bbase) -
Uses of NecessityArgumentationFramework in org.tweetyproject.arg.bipolar.syntax
Methods in org.tweetyproject.arg.bipolar.syntax that return NecessityArgumentationFrameworkModifier and TypeMethodDescriptionDeductiveArgumentationFramework.toNAF()
translates this DAF into the corresponding framework with support in a necessary sense See Cayrol, Lagasquie-Schiex.EvidentialArgumentationFramework.toNAF()
translates this EAF into the corresponding NAF can only translate framework which contain only binary attacks translation algorithm from: Polberg, Oren.Methods in org.tweetyproject.arg.bipolar.syntax with parameters of type NecessityArgumentationFrameworkModifier and TypeMethodDescriptionint
NecessityArgumentationFramework.compareTo
(NecessityArgumentationFramework o) Constructors in org.tweetyproject.arg.bipolar.syntax with parameters of type NecessityArgumentationFrameworkModifierConstructorDescriptioncreates an evidential argumentation framework from the given framework with necessities