[论文解读] First-Order Conditional Logic Revisited

Nir Friedman, Joseph Y. Halpern+1 more|arXiv (Cornell University)|Aug 28, 1998

Logic, Reasoning, and Knowledge参考文献 31被引用 10

一句话总结

本文通過區分統計條件句（例如，'大多數鳥會飛'）與主觀條件句（例如，'我認為特威蒂不太可能飛'），重新探討一階條件邏輯，並提出一種基於可信度的語義，僅使用KLM性質與標準一階模態邏輯公理，實現了嚴謹且完整的公理化系統。本文證明，可信度結構為一階邏輯提供了最自然的擴展，避免了其他方法中出現的無限彩票悖論等問題。

ABSTRACT

Conditional logics play an important role in recent attempts to formulate theories of default reasoning. This paper investigates first-order conditional logic. We show that, as for first-order probabilistic logic, it is important not to confound statistical conditionals over the domain (such as ``most birds fly''), and subjective conditionals over possible worlds (such as ``I believe that Tweety is unlikely to fly''). We then address the issue of ascribing semantics to first-order conditional logic. As in the propositional case, there are many possible semantics. To study the problem in a coherent way, we use plausibility structures. These provide us with a general framework in which many of the standard approaches can be embedded. We show that while these standard approaches are all the same at the propositional level, they are significantly different in the context of a first-order language. Furthermore, we show that plausibilities provide the most natural extension of conditional logic to the first-order case: We provide a sound and complete axiomatization that contains only the KLM properties and standard axioms of first-order modal logic. We show that most of the other approaches have additional properties, which result in an inappropriate treatment of an infinitary version of the lottery paradox.

研究动机与目标

• 釐清一階邏輯中關於領域的統計條件句與關於可能世界之主觀條件句之間的區別。
• 解決一階條件邏輯缺乏一致語義的問題，此問題對人工智慧中的預設推理至關重要。
• 展示可信度結構為解釋一階條件句提供了一個統一且自然的框架。
• 證明標準條件邏輯方法在一階情況下與命題邏輯情況下顯著不同，而這在命題層次上並不明顯。
• 僅基於KLM性質與一階模態邏輯公理，提供一個嚴謹且完整的公理化系統，避免引入臨時性擴展。

提出的方法

• 作者使用可信度結構作為一般語義框架，用以解釋一階條件句。
• 他們使用包含個體、可能世界與可信度層級的三類邏輯形式化條件句。
• 他們定義條件句的滿足性，使用可能世界上的可信度排序：若B在最可信的A世界中成立，則條件句A → B成立。
• 他們使用模態邏輯與條件推理的標準技術，證明該邏輯相對於此語義的嚴謹性與完備性。
• 他們將本方法與現有語義（例如，偏好性、機率性）進行比較，顯示其他方法會引入不必要的性質。

实验结果

研究问题

• RQ1 我們如何在一階邏輯中形式化區分統計條件句（例如，'大多數鳥會飛'）與主觀條件句（例如，'我認為特威蒂不太可能飛'）？
• RQ2 哪種語義最能支持一階條件邏輯中的預設推理，且不引入悖論？
• RQ3 為何命題層次的條件邏輯語義無法自然地推廣至一階情況？
• RQ4 能否僅使用KLM性質與一階模態邏輯公理，實現一階條件邏輯的嚴謹且完整的公理化？
• RQ5 其他一階條件句語義是否會導致問題行為，例如無限彩票悖論中所見的情況？

主要发现

• 可信度結構為一階條件邏輯提供了自然且通用的語義，統一了多種方法。
• 所提出的邏輯相對於可信度語義是嚴謹且完備的，僅使用KLM性質與標準一階模態邏輯公理。
• 與命題邏輯不同，一階條件句在不同語義下表現出顯著差異，許多方法會引入不必要的性質。
• 其他一階條件邏輯方法被證明會導致某些性質，進而導致對無限彩票悖論的不恰當處理。
• 統計條件句與主觀條件句之間的區別至關重要，必須在任何預設推理的形式化中予以保留。