David Poole 特异性理论的修订

20 世纪 80 年代中期，David Poole 向人工智能界引入了一种语义的、模型论的特异性（specificity）概念。此后，它在非单调推理中找到了进一步的应用，特别是在可废止推理中。Poole 试图近似人类直观的特异性概念，这对于日常生活中处理部分和不一致信息的推理似乎至关重要。然而，他的概念被证明是复杂且有问题的，正如我们所展示的，通过更紧密地近似人类直观的特异性概念，可以在一定程度上克服这些问题。除了我们新的特异性排序相较于 Poole 特异性关系在文献经典案例中的直观优势外，我们还报告了一些严格的数学事实：与之前的主张相反，我们证明 Poole 的关系不具有传递性。然而，目前判定我们新的特异性关系的方法相较于已知的 Poole 关系判定方法仅显示出轻微的改进，这方面仍需进一步工作。