argutia.logic.argumentationFramework
Class Agent
java.lang.Object
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
|
K
protected SetOfFormulas K
- Connaissances
X
protected SetOfFormulas X
- Interdit
title
private final String title
pX
protected Partition<Agent.Interdit,Formula> pX
Agent
public Agent(SetOfFormulas connaissances,
SetOfFormulas interdits)
Agent
public Agent(String title,
SetOfFormulas connaissances,
SetOfFormulas interdits)
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