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
Classes in org.tweetyproject.arg.bipolar.syntax that implement interfaces with type arguments of type EvidentialArgumentationFrameworkModifier and TypeClassDescriptionclassThis class implements a bipolar abstract argumentation theory with support in an evidential sense.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 TypeMethodDescriptionintEvidentialArgumentationFramework.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