もっともらしい推論と一階もっともらしい論理

Abstract

反駁可能（defeasible）な主張とは、それが真である可能性が高い、あるいは確からしい、または通常は真であるが、時折は偽でありうるような主張である。もっともらしい推論は、数を用いずに、事実または反駁可能な主張のいずれかから結論を導く。したがって、確率のようなものは関与しない。もっともらしい推論のための論理に関する17の原則が提案され、いくつかの重要なもっともらしい推論の例が検討される。必要な原則が14、望ましい原則が3あり、そのうちの1つは形式的には定式化されていない。Plausible Logic（PL）と呼ばれる一階述語論理が定義されており、望ましい原則のうち2つを除くすべてを満たし、すべての例に対して正しく推論する。私たちの知る限り、このような論理はこれだけである。PLには、与えられたもっともらしい推論の状況から、異なる筋の通った結論が導かれうるため、8つの推論アルゴリズムがある。本稿は、提出予定の私の書籍 `Plausible Reasoning and Plausible Logic'（PRPL）の要約である。この記事の各節は、PRPLの各章に対応し、その逆も同様である。すべての結果の証明はPRPLにあるので、本稿では省略する。