Uses of Class
org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework
-
-
Uses of StructuredArgumentationFramework in org.tweetyproject.agents.dialogues.structured
Subclasses of StructuredArgumentationFramework in org.tweetyproject.agents.dialogues.structured Modifier and Type Class Description class
PerceivableStructuredArgumentationFramework
This class packs a structured argumentation framework into a perceivable object.Constructors in org.tweetyproject.agents.dialogues.structured with parameters of type StructuredArgumentationFramework Constructor Description CautiousArgumentationAgent(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.TruthfulArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility)
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
Methods in org.tweetyproject.arg.saf.reasoner with parameters of type StructuredArgumentationFramework Modifier and Type Method Description java.util.Set<Proposition>
OutputReasoner. getOutput(StructuredArgumentationFramework saf)
Returns the output this reasoner bases upon.java.lang.Boolean
OutputReasoner. query(StructuredArgumentationFramework beliefbase, Proposition formula)
-
Uses of StructuredArgumentationFramework in org.tweetyproject.arg.saf.syntax
Methods in org.tweetyproject.arg.saf.syntax with parameters of type StructuredArgumentationFramework Modifier and Type Method Description boolean
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
Methods in org.tweetyproject.arg.saf.util that return StructuredArgumentationFramework Modifier and Type Method Description StructuredArgumentationFramework
SimpleSafSampler. next()
-