教科書で学ぶ記号的AIと論理推論
定義演繹推論は、一般則を個別の事実に当てはめて、その個別についての結論を導く推論である。
解説代表的な形は三段論法で、一般則 (大前提) と個別の事実 (小前提) から結論を出す。前提が正しく、手順が論理の規則に従っていれば、結論も必ず正しい。記号的 AI では、述語論理で書いた知識に演繹推論をかけて、書かれていなかった事実を導き出す。
たとえ「この施設は全館禁煙」と知っていれば、どの部屋に入っても、そこでたばこが吸えないことは確かめなくても分かる。
記憶フック「繹」は糸口から糸を引き出す意味の字で、一般則という糸口から個別の答えを引き出す、と字形で覚える。