Resolution Principleとは
Resolution Principleとは、複数の論理ルールから矛盾を見つけ、そこから結論を導くための推論手順です。日本語では導出原理とも呼ばれ、記号AIや自動定理証明で使われてきました。人間が文章で考える代わりに、コンピュータが「この2つを組み合わせると何が言えるか」を機械的に確かめるための土台です。
なぜ記号AIで重視されたのか
Resolution Principleの役割は、論理を「探せる形」に変えることです。たとえば「AならB」「Aである」という知識があれば、Bを導けます。この発想を大量のルールに広げ、人が一つずつ筋道を追わなくても、機械が候補をしらみつぶしに調べられるようにしました。述語論理やProlog、推論エンジンを理解するうえで、裏側にある古典的な考え方といえます。
生成AIとの違い
生成AIは、大量の文章から次に来そうな言葉を予測して答えを作ります。一方、Resolution Principleはあらかじめ書かれたルールを使い、正しい/正しくないを追い詰める方法です。どちらが上という話ではありません。契約ルールや業務規程のように、根拠を説明したい場面では記号AIの発想が今も役立ちます。感覚的には、生成AIが文章を書く担当なら、Resolution Principleは規則表を照合する監査担当です。
Topic「機械向けの論理」という発想が名前に残っている
起点としてよく参照される1965年の論文名は、A Machine-Oriented Logic Based on the Resolution Principleです。人間に読みやすい証明ではなく、機械が扱いやすい論理へ寄せた題名になっています。ChatGPTが広く知られる2022年より半世紀以上前から、AI研究では「機械が推論しやすい表現」を探していたわけです。
Resolution Principleに関するよくある質問
- Resolution Principleと述語論理は何が違いますか？
- 述語論理は知識を厳密に書くための言語に近く、Resolution Principleはその知識から結論を導くための手順です。紙と筆記具の関係に近く、片方だけでは推論全体は完結しません。
- 数式まで理解しないと判断できない用語ですか？
- 経営判断では、細かな推論規則を覚える必要はありません。AIには文章を確率的に作る系統だけでなく、ルールを明示して確かめる系統もある、という分類を押さえれば十分です。
