Uses of Class
org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework
Package
Description
-
Uses of StructuredArgumentationFramework in org.tweetyproject.agents.dialogues.structured
Modifier and TypeClassDescriptionclass
This class packs a structured argumentation framework into a perceivable object.ModifierConstructorDescriptionCautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep, Proposition focalElement)
Creates a new agent with the given (local) view and utility function.CautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, Proposition focalElement)
Creates a new (non-single-step) agent with the given (local) view and utility function.OvercautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep, Proposition focalElement)
Creates a new agent with the given (local) view and utility function.OvercautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, Proposition focalElement)
Creates a new (non-single-step) agent with the given (local) view and utility function.SasAgent(StructuredArgumentationFramework view, UtilityFunction utility)
Creates a new (non-single-step) SasAgent with the given (local) view and utility function.SasAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep)
Creates a new SasAgent with the given (local) view and utility function.Creates a new (non-single-step) agent with the given (local) view and utility function.TruthfulArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep)
Creates a new agent with the given (local) view and utility function. -
Uses of StructuredArgumentationFramework in org.tweetyproject.arg.saf.reasoner
Modifier and TypeMethodDescriptionOutputReasoner.getOutput(StructuredArgumentationFramework saf)
Returns the output this reasoner bases upon.OutputReasoner.query(StructuredArgumentationFramework beliefbase, Proposition formula)
-
Uses of StructuredArgumentationFramework in org.tweetyproject.arg.saf.syntax
Modifier and TypeMethodDescriptionboolean
ArgumentStructure.attacks(ArgumentStructure other, StructuredArgumentationFramework saf)
Checks whether this argument structure attacks the other argument structure, i.e.boolean
ArgumentStructure.isValid(StructuredArgumentationFramework saf)
Checks whether this argument structure is valid wrt. -
Uses of StructuredArgumentationFramework in org.tweetyproject.arg.saf.util