Default logic とは

デフォルトロジックは、Raymond Reiterによって提案された非単調論理であり、デフォルト推論を用いて推論を正式化する。
デフォルトロジックは、「デフォルトでは何かが真である」というような事実を表すことができます。対照的に、標準ロジックは、何かが真であるか、何かが偽であることしか表現できません。これは、推論がしばしば事実の大部分に当てはまるが必ずしも真実ではないので、問題である。典型的な例は:「鳥は典型的には飛ぶ」。このルールは、標準的な論理で、「すべての鳥が飛ぶ」、つまりペンギンが飛んでいないという事実とは矛盾しているか、または「ペンギンではなく、タチアではなく飛ぶ」という鳥類指定するルールの例外。デフォルトロジックは、例外のすべてを明示的に言及することなく、このような推論ルールを正式化することを目指しています。