教科書で学ぶ記号的AIと論理推論
定義述語論理は、対象の性質や対象どうしの関係を「述語(対象)」の形の記号で表す論理である。
解説例えば「ミケは猫である」は 猫(ミケ) と書き、「猫」が述語、「ミケ」が対象に当たる。「すべての」「ある」を表す量化子 (∀・∃) を組み合わせると、多くの対象に成り立つ一般則も書けるので、人が記号やルールで知識を書き表して推論させる記号的 AI の土台になる。
たとえ住所録で「氏名」「続柄」のように欄を決めて書くと、誰と誰が親子かを機械が探し出せる。述語論理は、知識をそうした決まった書式にそろえる方法に近い。
記憶フック国語の文法で習う述語 (〜である、〜より大きい) を先頭に出し、主語などを括弧の中に入れる字面で覚える。