Uses of Class
org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
Package
Description
-
Uses of NecessityArgumentationFramework in org.tweetyproject.arg.bipolar.reasoner.necessity
Modifier and TypeMethodDescriptionAdmissibleReasoner.getModel(NecessityArgumentationFramework bbase)
CompleteReasoner.getModel(NecessityArgumentationFramework bbase)
GroundedReasoner.getModel(NecessityArgumentationFramework bbase)
PreferredReasoner.getModel(NecessityArgumentationFramework bbase)
StableReasoner.getModel(NecessityArgumentationFramework bbase)
AdmissibleReasoner.getModels(NecessityArgumentationFramework bbase)
CompleteReasoner.getModels(NecessityArgumentationFramework bbase)
GroundedReasoner.getModels(NecessityArgumentationFramework bbase)
PreferredReasoner.getModels(NecessityArgumentationFramework bbase)
StableReasoner.getModels(NecessityArgumentationFramework bbase)
-
Uses of NecessityArgumentationFramework in org.tweetyproject.arg.bipolar.syntax
Modifier and TypeMethodDescriptionDeductiveArgumentationFramework.toNAF()
translates this DAF into the corresponding framework with support in a necessary sense See Cayrol, Lagasquie-Schiex.EvidentialArgumentationFramework.toNAF()
translates this EAF into the corresponding NAF can only translate framework which contain only binary attacks translation algorithm from: Polberg, Oren.Modifier and TypeMethodDescriptionint
NecessityArgumentationFramework.compareTo(NecessityArgumentationFramework o)
ModifierConstructorDescriptioncreates an evidential argumentation framework from the given framework with necessities