似然性测度与缺省推理
人工智能
2016-08-31 v1 计算机科学中的逻辑
摘要
我们引入了一种基于似然性测度对不确定性进行建模的新方法。很容易看出,这种方法推广了其他对不确定性进行建模的方法,例如概率测度、信念函数和可能性测度。本文重点关注似然性测度的一个应用:缺省推理。近年来,人们提出了多种不同的缺省语义,如偏好结构、-语义、可能性结构和 -排序,它们已被证明可由同一组公理刻画,这组公理被称为 KLM 性质。虽然这曾被视为令人惊讶之事,但我们在此表明这几乎是不可避免的。在似然性测度的框架下,我们可以给出 KLM 公理可靠性的必要条件,以及确保 KLM 公理完备性的充分必要附加条件。该附加条件非常弱,以至于只要公理可靠它几乎总是满足。特别地,很容易看出文献中提出的所有方法均满足该条件。
引用
@article{arxiv.cs/9808007,
title = {Plausibility Measures and Default Reasoning},
author = {Nir Friedman and Joseph Y. Halpern},
journal= {arXiv preprint arXiv:cs/9808007},
year = {2016}
}
备注
This is an expanded version of a paper that appeared in AAAI '96