Uses of Class
org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
Package
Description
-
Uses of EvidentialArgumentationFramework in org.tweetyproject.arg.bipolar.reasoner.evidential
Modifier 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
Modifier 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.Modifier and TypeMethodDescriptionint
EvidentialArgumentationFramework.compareTo
(EvidentialArgumentationFramework o) ModifierConstructorDescriptioncreates a necessity argumentation framework from the given evidential argumentation framework