Uses of Class
org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
Package
Description
-
Uses of DeductiveArgumentationFramework in org.tweetyproject.arg.bipolar.reasoner.deductive
Modifier and TypeMethodDescriptionClosureReasoner.getModel(DeductiveArgumentationFramework bbase)
SafetyReasoner.getModel(DeductiveArgumentationFramework bbase)
CAdmissibleReasoner.getModels(DeductiveArgumentationFramework bbase)
ClosureReasoner.getModels(DeductiveArgumentationFramework bbase)
ConflictFreeReasoner.getModels(DeductiveArgumentationFramework bbase)
DAdmissibleReasoner.getModels(DeductiveArgumentationFramework bbase)
SafetyReasoner.getModels(DeductiveArgumentationFramework bbase)
-
Uses of DeductiveArgumentationFramework in org.tweetyproject.arg.bipolar.syntax
Modifier and TypeMethodDescriptionNecessityArgumentationFramework.toDAF()
translates this NAF into the corresponding framework with support in a deductive sense only works for NAFs which contain only binary support relations See Cayrol, Lagasquie-Schiex.Modifier and TypeMethodDescriptionint
DeductiveArgumentationFramework.compareTo(DeductiveArgumentationFramework o)
ModifierConstructorDescriptioncreates a necessity argumentation framework from the given deductive argumentation framework