惩罚逻辑及其与 Dempster-Shafer 理论的联系
人工智能
2013-02-28 v1
摘要
Pinkas 引入的惩罚逻辑将知识库中的每个公式与违反该公式所需付出的代价相关联。惩罚可用作在不一致知识库中选择首选一致子集的标准，从而诱导一种非单调推理关系。第一部分给出了惩罚逻辑及其相关非单调推理关系的精确形式化及其主要性质。我们还表明，惩罚逻辑与 Dempster-Shafer 理论是相关的，特别是在无穷小情况下。
引用
@article{arxiv.1302.6804,
title = {Penalty logic and its Link with Dempster-Shafer Theory},
author = {Florence Dupin de Saint-Cyr and Jerome Lang and Thomas Schiex},
journal= {arXiv preprint arXiv:1302.6804},
year = {2013}
}
备注
Appears in Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (UAI1994)