An Order of Magnitude Calculus

Abstract

This paper develops a simple calculus for order of magnitude reasoning. A semantics is given with soundness and completeness results. Order of magnitude probability functions are easily defined and turn out to be equivalent to kappa functions, which are slight generalizations of Spohn's Natural Conditional Functions. The calculus also gives rise to an order of magnitude decision theory, which can be used to justify an amended version of Pearl's decision theory for kappa functions, although the latter is weaker and less expressive.

Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)

Cited by in corpus (7)

• Arguing for Decisions: A Qualitative Model of Decision Making
• A Qualitative Linear Utility Theory for Spohn's Theory of Epistemic Beliefs
• Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approximation
• A Unified framework for order-of-magnitude confidence relations
• Axiomatic Foundations for a Class of Generalized Expected Utility: Algebraic Expected Utility
• On the Complexity of Decision Making in Possibilistic Decision Trees
• Order-of-Magnitude Influence Diagrams