Package | Description |
---|---|
net.sf.tweety.agents.dialogues.structured | |
net.sf.tweety.arg.saf.reasoner | |
net.sf.tweety.arg.saf.syntax | |
net.sf.tweety.arg.saf.util |
Modifier and Type | Class and Description |
---|---|
class |
PerceivableStructuredArgumentationFramework
This class packs a structured argumentation framework into a
perceivable object.
|
Modifier and Type | Field and Description |
---|---|
private StructuredArgumentationFramework |
SasAgent.commonView
The current state of the argumentation as perceived by all agents.
|
private StructuredArgumentationFramework |
SasAgent.view
The current view of this agent on the overall
argumentation, i.e.
|
Modifier and Type | Method and Description |
---|---|
protected StructuredArgumentationFramework |
SasAgent.getCommonView()
Returns the common view of this agent.
|
protected StructuredArgumentationFramework |
SasAgent.getView()
Returns the view of this agent.
|
Constructor and 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.
|
Modifier and Type | Method and 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) |
Modifier and Type | Method and 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.
|
Modifier and Type | Method and Description |
---|---|
StructuredArgumentationFramework |
SimpleSafSampler.next() |