Package net.sf.tweety.agents.dialogues.structured

Class CautiousArgumentationAgent

java.lang.Object

net.sf.tweety.agents.Agent

net.sf.tweety.agents.dialogues.structured.SasAgent

net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent

net.sf.tweety.agents.dialogues.structured.CautiousArgumentationAgent

public class CautiousArgumentationAgent
extends OvercautiousArgumentationAgent

This class models a cautious argumentation agent, i.e. an agent that only brings forward arguments that cannot be harmful to this agent's goal of proving some given proposition but are inherently necessary in order to prove the agent's focal element.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
CautiousArgumentationAgent(net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep, net.sf.tweety.logics.pl.syntax.Proposition focalElement)	Creates a new agent with the given (local) view and utility function.
CautiousArgumentationAgent(net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework view, UtilityFunction utility, net.sf.tweety.logics.pl.syntax.Proposition focalElement)	Creates a new (non-single-step) agent with the given (local) view and utility function.

Method Summary

Modifier and Type	Method	Description
protected Set<net.sf.tweety.arg.dung.syntax.Argument>	necessaryArguments()	Computes the set of necessary arguments for this agent's focal element, i.e.
net.sf.tweety.agents.Executable	next(Collection<? extends net.sf.tweety.agents.Perceivable> percepts)

Methods inherited from class net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent

attackSet

Methods inherited from class net.sf.tweety.agents.dialogues.structured.SasAgent

getCommonView, getPossibleArguments, getUtilityFunction, getView, isSingleStep, rank

Methods inherited from class net.sf.tweety.agents.Agent

getName, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CautiousArgumentationAgent

public CautiousArgumentationAgent(net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework view,
                                  UtilityFunction utility,
                                  net.sf.tweety.logics.pl.syntax.Proposition focalElement)

Creates a new (non-single-step) agent with the given (local) view and utility function.

Parameters:

view - the view of the agent on the argumentation.

utility - a utility function.

focalElement - the focal element of this agent.

CautiousArgumentationAgent

public CautiousArgumentationAgent(net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework view,
                                  UtilityFunction utility,
                                  boolean isSingleStep,
                                  net.sf.tweety.logics.pl.syntax.Proposition focalElement)

Creates a new agent with the given (local) view and utility function.

Parameters:

view - the view of the agent on the argumentation.

utility - a utility function.

isSingleStep - indicates whether this agent is a single-step argumentation agent, i.e. whether he may bring forward only one argument at a time or multiple.

focalElement - the focal element of this agent.

Method Detail

next

public net.sf.tweety.agents.Executable next(Collection<? extends net.sf.tweety.agents.Perceivable> percepts)

Overrides:

next in class OvercautiousArgumentationAgent

necessaryArguments

protected Set<net.sf.tweety.arg.dung.syntax.Argument> necessaryArguments()

Computes the set of necessary arguments for this agent's focal element, i.e. the intersection of all argument structures claiming this agent's focal element.

Returns:

the set of necessary arguments for this agent's focal element.