一个数量级演算
An Order of Magnitude Calculus
摘要：
本文提出了一个简单的数量级推理演算。给出了一个语义的可靠性和完备性结果。数量级的概率函数很容易定义，并且与Kappa函数等价，Kappa函数是Spohn自然条件函数的轻微推广。微积分也产生了一个数量级的决策理论，它可以用来证明修正版本的珍珠的决策理论的卡帕功能，虽然后者是较弱的和较少的表达。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
