处理部分不一致性的分级可能性与确定性逻辑
人工智能
2013-03-26 v1 计算机科学中的逻辑
摘要
本文给出了可能性逻辑的语义，该逻辑处理带权重的经典逻辑公式，其中权重被解释为 Zadeh 可能性理论意义上的确定性程度或可能性程度的下界。所提出的语义基于解释的模糊集。它对部分不一致性具有容错性。可满足性从解释扩展到了解释的模糊集，每个模糊集代表一个描述关于世界状态已知信息的可能性分布。可能性知识库随后被视为满足它的一组可能性分布。基于先前引入的广义归结原理的可能性逻辑自动演绎反驳方法，被证明相对于所提出的语义是可靠且完备的，包括部分不一致性的情况。
引用
@article{arxiv.1303.5727,
title = {A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency},
author = {Jerome Lang and Didier Dubois and Henri Prade},
journal= {arXiv preprint arXiv:1303.5727},
year = {2013}
}
备注
Appears in Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence (UAI1991)