argutia.logic.argumentationFramework
Class Situation
java.lang.Object
argutia.logic.argumentationFramework.Situation
public class Situation
- extends Object
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 |
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
Situation
private Situation(Agent agent)
Situation
public Situation(Agent agent,
Argument interrogation)
Situation
public Situation(Agent agent,
SetOfFormulas interrogations)
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