argutia.logic.argumentationFramework
Class Agent

java.lang.Object
  extended by argutia.logic.argumentationFramework.Agent
public class Agent
extends Object
Nested Class Summary
static class Agent.Attitude
          The notion of admissiblity determines four possible distinct attitudes that an agent may adopt concerning a given formula.
static class Agent.Interdit
           
 
Field Summary
protected SetOfFormulas K
          Connaissances
protected Partition<Agent.Interdit,Formula> pX
           
private String title
           
protected SetOfFormulas X
          Interdit
 
Constructor Summary
Agent(SetOfFormulas connaissances, SetOfFormulas interdits)
           
Agent(String title, SetOfFormulas connaissances, SetOfFormulas interdits)
           
 
Method Summary
 boolean estXInferee(Formula f)
           
 Agent.Attitude getAttitude(Formula f)
           
 SetOfFormulas getK()
           
 Partition<Agent.Interdit,Formula> getPX()
           
 String getTitle()
           
 boolean isConsistant()
           
private Partition<Agent.Interdit,Formula> partitionnerInterdits(SetOfFormulas interdits)
           
 Partition<Agent.Attitude,SetOfFormulas> partitionnerInterrogations(FamilyOfSets interrogations)
           
 Partition<Agent.Attitude,Formula> partitionnerInterrogations(SetOfFormulas interrogations)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Field Detail

K

protected SetOfFormulas K
Connaissances

X

protected SetOfFormulas X
Interdit

title

private final String title

pX

protected Partition<Agent.Interdit,Formula> pX
Constructor Detail

Agent

public Agent(SetOfFormulas connaissances,
             SetOfFormulas interdits)

Agent

public Agent(String title,
             SetOfFormulas connaissances,
             SetOfFormulas interdits)
Method Detail

partitionnerInterdits

private Partition<Agent.Interdit,Formula> partitionnerInterdits(SetOfFormulas interdits)

getPX

public Partition<Agent.Interdit,Formula> getPX()

getTitle

public String getTitle()

getK

public SetOfFormulas getK()

getAttitude

public Agent.Attitude getAttitude(Formula f)

estXInferee

public boolean estXInferee(Formula f)

partitionnerInterrogations

public Partition<Agent.Attitude,Formula> partitionnerInterrogations(SetOfFormulas interrogations)

partitionnerInterrogations

public Partition<Agent.Attitude,SetOfFormulas> partitionnerInterrogations(FamilyOfSets interrogations)

isConsistant

public boolean isConsistant()

toString

public String toString()
Overrides:
toString in class Object
Argutia JavaDoc
23 décembre 2007