Abstract base class for working with arbitrary lower previsions.
Does gamble dominate other_gamble in lower prevision?
Parameters: | |
---|---|
Returns: | True if gamble dominates other_gamble, False otherwise. |
Return type: | bool |
Get largest possible domain to which the lower prevision can be extended.
Return the lower expectation for gamble conditional on event via natural extension.
Parameters: | |
---|---|
Returns: | The lower bound for this expectation, i.e. the natural extension of the gamble. |
Return type: | float or Fraction |
Return the upper expectation for gamble conditional on event via natural extension.
Parameters: | |
---|---|
Returns: | The upper bound for this expectation, i.e. the natural extension of the gamble. |
Return type: | float or Fraction |
No Dutch book? Does the lower prevision avoid sure loss?
Returns: | True if avoids sure loss, False otherwise. |
---|---|
Return type: | bool |
Do all assessments coincide with their natural extension? Is the lower prevision coherent?
Parameters: | algorithm (str) – The algorithm to use (the default value uses the most efficient algorithm). |
---|---|
Returns: | True if coherent, False otherwise. |
Return type: | bool |
Is the lower prevision a linear prevision? More precisely, we check that the natural extension is linear on the linear span of the domain of the lower prevision.
Parameters: | algorithm (str) – The algorithm to use (the default value uses the most efficient algorithm). |
---|---|
Returns: | True if linear, False otherwise. |
Return type: | bool |