[论文解读] Linking Makinson and Kraus-Lehmann- Magidor preferential entailments.

Yves Moinard|arXiv (Cornell University)|Jan 1, 2002

Advanced Algebra and Logic被引用 1

一句话总结

本文在前提和结论两侧的推理均尊重逻辑等价性的条件下，建立了Makinson与Kraus-Lehmann-Magidor的偏好推理框架之间的等价性。它简化了两者等价性的刻画，并将结果扩展到更广泛的偏好推理设定中，同时保持模型的简洁性。

ABSTRACT

About ten years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main competitor being a more general version defined by Makinson (MAK). These two versions have already been compared, but it is time to revisit these comparisons. Here are our three main results: (1) These two notions are equivalent, provided that we restrict our attention, as done in KLM, to the cases where the entailment respects logical equivalence (on the left and on the right). (2) A serious simplification of the description of the fundamental cases in which MAK is equivalent to KLM, including a natural passage in both ways. (3) The two previous results are given for preferential entailments more general than considered in some of the original texts, but they apply also to the original definitions and, for this particular case also, the models can be simplified.

研究动机与目标

• 在更一般的设定下重新表述并比较Makinson与Kraus-Lehmann-Magidor的偏好推理框架。
• 明确两个推理系统等价的条件。
• 简化Makinson推理与KLM推理一致时的刻画，实现双向转换。
• 在保持模型简洁性的前提下，将等价性结果扩展至原始定义之外的更广泛偏好推理框架。

提出的方法

• 使用逻辑等价性保持作为关键约束，对偏好推理系统进行形式化比较。
• 将推理限制在前提和结论两侧均尊重逻辑等价性的场景。
• 推导出Makinson与KLM推理条件之间的自然且可逆的转换关系。
• 将推理框架推广至原始定义之外，涵盖更广泛的偏好结构。
• 通过利用等价性结果，简化这些推理系统的模型结构。

实验结果

研究问题

• RQ1 在何种条件下，Makinson与KLM的偏好推理系统是等价的？
• RQ2 如何以更简洁自然的方式刻画两种系统之间的等价性？
• RQ3 该等价性是否可扩展至原始定义之外的更一般的偏好推理框架？
• RQ4 当等价性成立时，这些推理系统的模型可实现何种结构简化？

主要发现

• 当推理在前提和结论两侧均尊重逻辑等价性时，Makinson与KLM的偏好推理系统是等价的。
• 建立了自然且可逆的双向转换关系，简化了两种推理系统的比较。
• 该等价性不仅适用于原始定义，也适用于更广泛的偏好推理框架。
• 在等价性条件下，两种推理系统的模型均可被简化，既保持正确性又降低复杂度。