| Interface | Description |
|---|---|
| Postulate<S extends Formula> |
Models a general (rationality) postulate, i.e.
|
| PostulateEvaluatable<S extends Formula> |
Classes implementing this interface can be evaluated
wrt.
|
| Class | Description |
|---|---|
| PostulateEvaluationReport<S extends Formula> |
Summarises the results of a postulate evaluation.
|
| PostulateEvaluator<S extends Formula,T extends BeliefSet<S>> |
Evaluates some approach (reasoner, measure, etc.) wrt.
|