述語論理とは
述語論理とは、「すべての」「ある」といった範囲を表す言葉と、ものごとの性質や関係を表す「述語」を使い、知識を厳密に書き表す論理の仕組みのことです。日常の文章よりずっと曖昧さが少なく、コンピュータが推論しやすい形で「世界のことがら」を記述できます。記号で知識を表す古典AI（記号AI）の土台になってきた考え方です。
英語表記：predicate logic（一階述語論理＝first-order logic）
命題論理を超えて何ができるのか
土台にあるのは、文を「正しい/正しくない」の単位だけで扱う命題論理です。述語論理はこれを広げ、「すべての人は死ぬ」「ある社員は管理職だ」のように、対象の範囲まで踏み込んで表現できます。たとえば「ソクラテスは人間だ」を、人間という性質を表す述語と、ソクラテスという個体に分けて書く、という具合。「すべての（∀）」「ある／存在する（∃）」という量を扱える点が、命題論理にはない大きな前進でした。
記号AIを支える知識表現の基盤
述語論理の強みは、知識を機械が扱える規則として書けることです。「AならばB」といったルールをためておき、そこから新しい結論を自動で導く推論エンジンや、論理プログラミング言語Prolog、エキスパートシステムなどが、この論理の上に成り立っています。今の生成AIが大量の文章から統計的に答えを作るのに対し、述語論理は人が読める規則で知識を組み立てる道筋。コンピュータが生まれるより前から磨かれ、AIの歴史で長く主役を張ってきた、もう一つの系譜です。
Topic二千年続いた論理学を塗り替えた、1879年の一冊
いまの述語論理の骨組みは、1879年にドイツの数学者ゴットロープ・フレーゲが著した『概念記法（Begriffsschrift）』で生まれました。それまではアリストテレスの三段論法が二千年あまりにわたり論理学の主役でしたが、「すべての」「ある」が入り組む複雑な推論はうまく扱えません。フレーゲの量化子がその壁を破り、現代の数学やコンピュータ科学、そして記号AIの出発点になったのです。
述語論理に関するよくある質問
- 述語論理は、今の生成AI（ChatGPTなど）でも使われていますか？
- 生成AIの中心は大量データからの統計的な学習で、述語論理そのものを直接動かすわけではありません。ただ、知識を厳密に表して正確に推論できる強みは、AIに説明可能性や論理的な正しさを持たせる研究で今も注目されています。
- 「一階述語論理」の「一階」とは何を指しますか？
- 「すべての」「ある」という量を、個々の対象に対してかけることを指します。述語そのものにまで量をかけると「高階（二階）述語論理」と呼ばれ、表現力は増す一方で扱いが難しくなります。AIの知識表現では、扱いやすい一階がよく使われます。
