首页>
外文OA文献
>Modelling default and likelihood reasoning as probabilistic reasoning
【2h】
Modelling default and likelihood reasoning as probabilistic reasoning
展开▼
机译:将默认推理和似然推理建模为概率推理
展开▼
免费
页面导航
摘要
著录项
相似文献
相关主题
摘要
A probabilistic analysis of plausible reasoning about defaults and about likelihood is presented. Likely and by default are in fact treated as duals in the same sense as possibility and necessity. To model these four forms probabilistically, a qualitative default probabilistic (QDP) logic and its quantitative counterpart DP are derived that allow qualitative and corresponding quantitative reasoning. Consistency and consequent results for subsets of the logics are given that require at most a quadratic number of satisfiability tests in the underlying propositional logic. The quantitative logic shows how to track the propagation error inherent in these reasoning forms. The methodology and sound framework of the system highlights their approximate nature, the dualities, and the need for complementary reasoning about relevance.
展开▼