argutia.logic.argumentationFramework
Class Situation

java.lang.Object
  extended by argutia.logic.argumentationFramework.Situation
public class Situation
extends Object
Field Summary
private FamilyOfSets admissible
           
private Agent agent
           
private Argument argInterrogation
           
private Map<String,List<Argument>> arguments
           
private SetOfFormulas eFInterrogations
           
private EventListenerList listeners
           
private FamilyOfSets non_admissible
           
private Partition<Agent.Attitude,SetOfFormulas> p2Interrogations
           
private Partition<Agent.Attitude,Formula> pInterrogations
           
 
Constructor Summary
private Situation(Agent agent)
           
  Situation(Agent agent, Argument interrogation)
           
  Situation(Agent agent, SetOfFormulas interrogations)
           
 
Method Summary
 void addCalculListener(ComputationListener l)
           
private List<Argument> calculerArgGrosMensonges(boolean pertinents, Argument.Type type)
           
private List<Argument> calculerArgMensonges(boolean pertinents, Argument.Type type, FamilyOfSets conclusions)
           
private List<Argument> calculerArgPetitsMensonges(boolean pertinents, Argument.Type type)
           
private List<Argument> calculerArgSurK(boolean pertinents, Argument.Type type)
           
private List<Argument> calculerArgSurKX(boolean pertinents, Argument.Type type)
           
private List<Argument> calculerArgSurX(boolean pertinents, Argument.Type type)
           
 void calculerArguments()
           
 void calculerAttitudes()
           
protected void fireCalculEvent(ComputationEvent.Type type, Situation situation, double tempsDeCalcul)
           
private FamilyOfSets getAdmissible()
           
 Agent getAgent()
           
 Argument getArgument()
           
 Map<String,List<Argument>> getArguments()
           
 SetOfFormulas getEdF()
           
private FamilyOfSets getNonAdmissible()
           
 Partition<Agent.Attitude,Formula> getPdFInterrogations()
           
 Partition<Agent.Attitude,SetOfFormulas> getPInterrogations()
           
 boolean isWithArgument()
           
 void removeCalculListener(ComputationListener l)
           
private static List<Argument> removeNonRelevantArguments(List<Argument> src, List<Argument> relevantArguments)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Field Detail

agent

private final Agent agent

pInterrogations

private Partition<Agent.Attitude,Formula> pInterrogations

p2Interrogations

private Partition<Agent.Attitude,SetOfFormulas> p2Interrogations

admissible

private FamilyOfSets admissible

non_admissible

private FamilyOfSets non_admissible

eFInterrogations

private SetOfFormulas eFInterrogations

argInterrogation

private Argument argInterrogation

listeners

private final EventListenerList listeners

arguments

private Map<String,List<Argument>> arguments
Constructor Detail

Situation

private Situation(Agent agent)

Situation

public Situation(Agent agent,
                 Argument interrogation)

Situation

public Situation(Agent agent,
                 SetOfFormulas interrogations)
Method Detail

calculerAttitudes

public void calculerAttitudes()

getPdFInterrogations

public Partition<Agent.Attitude,Formula> getPdFInterrogations()

getPInterrogations

public Partition<Agent.Attitude,SetOfFormulas> getPInterrogations()

getAgent

public Agent getAgent()

getEdF

public SetOfFormulas getEdF()

getArgument

public Argument getArgument()

isWithArgument

public boolean isWithArgument()

getAdmissible

private FamilyOfSets getAdmissible()

getNonAdmissible

private FamilyOfSets getNonAdmissible()

calculerArgSurK

private List<Argument> calculerArgSurK(boolean pertinents,
                                       Argument.Type type)

calculerArgSurX

private List<Argument> calculerArgSurX(boolean pertinents,
                                       Argument.Type type)

calculerArgGrosMensonges

private List<Argument> calculerArgGrosMensonges(boolean pertinents,
                                                Argument.Type type)

calculerArgPetitsMensonges

private List<Argument> calculerArgPetitsMensonges(boolean pertinents,
                                                  Argument.Type type)

calculerArgMensonges

private List<Argument> calculerArgMensonges(boolean pertinents,
                                            Argument.Type type,
                                            FamilyOfSets conclusions)

calculerArgSurKX

private List<Argument> calculerArgSurKX(boolean pertinents,
                                        Argument.Type type)

getArguments

public Map<String,List<Argument>> getArguments()

calculerArguments

public void calculerArguments()

removeNonRelevantArguments

private static List<Argument> removeNonRelevantArguments(List<Argument> src,
                                                         List<Argument> relevantArguments)

fireCalculEvent

protected void fireCalculEvent(ComputationEvent.Type type,
                               Situation situation,
                               double tempsDeCalcul)

removeCalculListener

public void removeCalculListener(ComputationListener l)

addCalculListener

public void addCalculListener(ComputationListener l)
Argutia JavaDoc
23 décembre 2007