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) Return modelCompleteReasoner.getModel
(NecessityArgumentationFramework bbase) Return modelGroundedReasoner.getModel
(NecessityArgumentationFramework bbase) Return modelPreferredReasoner.getModel
(NecessityArgumentationFramework bbase) StableReasoner.getModel
(NecessityArgumentationFramework bbase) AdmissibleReasoner.getModels
(NecessityArgumentationFramework bbase) Return modelsCompleteReasoner.getModels
(NecessityArgumentationFramework bbase) Return modelsGroundedReasoner.getModels
(NecessityArgumentationFramework bbase) Return modelsPreferredReasoner.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