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) CompleteReasoner.getModel
(EvidentialArgumentationFramework bbase) ConflictFreeReasoner.getModel
(EvidentialArgumentationFramework bbase) GroundedReasoner.getModel
(EvidentialArgumentationFramework bbase) PreferredReasoner.getModel
(EvidentialArgumentationFramework bbase) SelfSupportingReasoner.getModel
(EvidentialArgumentationFramework bbase) StableReasoner.getModel
(EvidentialArgumentationFramework bbase) AdmissibleReasoner.getModels
(EvidentialArgumentationFramework bbase) CompleteReasoner.getModels
(EvidentialArgumentationFramework bbase) ConflictFreeReasoner.getModels
(EvidentialArgumentationFramework bbase) GroundedReasoner.getModels
(EvidentialArgumentationFramework bbase) PreferredReasoner.getModels
(EvidentialArgumentationFramework bbase) SelfSupportingReasoner.getModels
(EvidentialArgumentationFramework bbase) 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