arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1302.6804cs.AI
收藏

惩罚逻辑及其与Dempster-Shafer理论的联系

Penalty logic and its Link with Dempster-Shafer Theory

IRIT - Universite Paul Sabatier(保罗·萨巴蒂埃大学);CERT-ONERA(法国国家航空航天研究中心)

Florence Dupin de Saint-Cyr, Jerome Lang, Thomas Schiex

摘要:

Pinkas引入的惩罚逻辑将知识库中的每个公式与违反该公式时要付出的代价相关联。在不一致的知识库中,惩罚可以作为选择优选的一致子集的准则,从而导致非单调的推理关系。第一部分给出了罚逻辑及其相关非单调推理关系的精确形式化和主要性质。我们还表明,惩罚逻辑和Dempster-Shafer理论是相关的,特别是在无穷小的情况下。

英文摘要:

Penalty logic, introduced by Pinkas, associates to each formula of a knowledge base the price to pay if this formula is violated. Penalties may be used as a criterion for selecting preferred consistent subsets in an inconsistent knowledge base, thus inducing a non-monotonic inference relation. A precise formalization and the main properties of penalty logic and of its associated non-monotonic inference relation are given in the first part. We also show that penalty logic and Dempster-Shafer theory are related, especially in the infinitesimal case.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑