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.
|