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