迈向科学证据的规范理论

科学推理系统使用客观证据做出决策，这些证据以独立实验试验、命题公理和事件概率约束的形式出现。作为迈向这一目标的第一步，我们提出了一个系统，该系统从这些形式的客观证据中推导出概率区间。我们的推理系统能够管理基于规则的专家系统中的数据和规则的不确定性。我们期望我们的系统将特别适用于具有丰富实验证据的领域（如医学）中的诊断和分析。我们讨论了该解决方案的局限性，并提出了未来研究方向。这项工作可以被视为Nilsson的“概率逻辑”[Nil86]向区间和实验观测的推广。