Uses of Class
org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
Packages that use EvidentialArgumentationFramework
Package
Description
-
Uses of EvidentialArgumentationFramework in org.tweetyproject.arg.bipolar.reasoner.evidential
Methods in org.tweetyproject.arg.bipolar.reasoner.evidential with parameters of type EvidentialArgumentationFrameworkModifier and TypeMethodDescriptionAdmissibleReasoner.getModel
(EvidentialArgumentationFramework bbase) Return modelCompleteReasoner.getModel
(EvidentialArgumentationFramework bbase) Return modelConflictFreeReasoner.getModel
(EvidentialArgumentationFramework bbase) Return modelGroundedReasoner.getModel
(EvidentialArgumentationFramework bbase) Return modelPreferredReasoner.getModel
(EvidentialArgumentationFramework bbase) SelfSupportingReasoner.getModel
(EvidentialArgumentationFramework bbase) Return a modelStableReasoner.getModel
(EvidentialArgumentationFramework bbase) AdmissibleReasoner.getModels
(EvidentialArgumentationFramework bbase) Return modelsCompleteReasoner.getModels
(EvidentialArgumentationFramework bbase) Return modelsConflictFreeReasoner.getModels
(EvidentialArgumentationFramework bbase) Return modelsGroundedReasoner.getModels
(EvidentialArgumentationFramework bbase) Return modelsPreferredReasoner.getModels
(EvidentialArgumentationFramework bbase) SelfSupportingReasoner.getModels
(EvidentialArgumentationFramework bbase) Computes all self-supporting argument sets from the given evidential argumentation framework.StableReasoner.getModels
(EvidentialArgumentationFramework bbase) -
Uses of EvidentialArgumentationFramework in org.tweetyproject.arg.bipolar.syntax
Methods in org.tweetyproject.arg.bipolar.syntax that return EvidentialArgumentationFrameworkModifier and TypeMethodDescriptionEvidentialArgumentationFramework.getMinimalForm()
calculates the minimal form of this argumentation framework ie.NecessityArgumentationFramework.toEAF()
translates this necessity argumentation framework into an evidential argumentation framework Translation algorithm from: Polberg, Oren.Methods in org.tweetyproject.arg.bipolar.syntax with parameters of type EvidentialArgumentationFrameworkModifier and TypeMethodDescriptionint
EvidentialArgumentationFramework.compareTo
(EvidentialArgumentationFramework o) Constructors in org.tweetyproject.arg.bipolar.syntax with parameters of type EvidentialArgumentationFrameworkModifierConstructorDescriptioncreates a necessity argumentation framework from the given evidential argumentation framework