| Package | Description |
|---|---|
| net.sf.tweety.beliefdynamics.mas | |
| net.sf.tweety.beliefdynamics.operators |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Collection<InformationObject<PropositionalFormula>> |
AbstractCredibilityComparer.formulas
The information objects that hold the information which agents
uttered the formulas.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<InformationObject<T>> |
CrMasRevisionWrapper.revise(java.util.Collection<InformationObject<T>> base,
java.util.Collection<InformationObject<T>> formulas) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<InformationObject<T>> |
CrMasRevisionWrapper.revise(java.util.Collection<InformationObject<T>> base,
java.util.Collection<InformationObject<T>> formulas) |
java.util.Collection<InformationObject<T>> |
CrMasRevisionWrapper.revise(java.util.Collection<InformationObject<T>> base,
java.util.Collection<InformationObject<T>> formulas) |
| Constructor and Description |
|---|
AbstractCredibilityComparer(java.util.Collection<InformationObject<PropositionalFormula>> formulas,
Order<Agent> credOrder)
Creates a new credibility comparer that is guided by the giving information which
agents uttered the formulas and the credibility order.
|
CredibilityCategorizer(java.util.Collection<InformationObject<PropositionalFormula>> formulas,
Order<Agent> credOrder)
Creates a new credibility categorizer that is guided by the giving information which
agents uttered the formulas and the credibility order.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<InformationObject<PropositionalFormula>> |
CrMasSimpleRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
java.util.Collection<InformationObject<PropositionalFormula>> formulas) |
java.util.Collection<InformationObject<PropositionalFormula>> |
CrMasArgumentativeRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
java.util.Collection<InformationObject<PropositionalFormula>> formulas) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<InformationObject<PropositionalFormula>> |
CrMasSimpleRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
java.util.Collection<InformationObject<PropositionalFormula>> formulas) |
java.util.Collection<InformationObject<PropositionalFormula>> |
CrMasSimpleRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
java.util.Collection<InformationObject<PropositionalFormula>> formulas) |
java.util.Collection<InformationObject<PropositionalFormula>> |
CrMasArgumentativeRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
java.util.Collection<InformationObject<PropositionalFormula>> formulas) |
java.util.Collection<InformationObject<PropositionalFormula>> |
CrMasArgumentativeRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
java.util.Collection<InformationObject<PropositionalFormula>> formulas) |
| Constructor and Description |
|---|
CredibilityComparer(java.util.Collection<InformationObject<PropositionalFormula>> formulas,
Order<Agent> credOrder) |