問題 No.3917
初期の人工知能研究における記号主義（古典的AI）において、知識表現や推論の基礎として用いられた論理学の性質の一つであり、「AならばBであり、BならばCであるならば、AならばCである」という関係性が成り立つ性質を指す言葉は何か。
【正解の解説】
推移律
「A君の背がB君より高く、B君の背がC君より高いなら、A君の背はC君より高い」という身長の順序関係を思い浮かべると非常に分かりやすいです。古典的なAI研究において、コンピュータに人間のような推論をさせるための基礎として、この当たり前とも言えるルールの積み重ねが非常に重要な役割を果たしました。
スポンサーリンク
【その他の選択肢の解説】
対称律
「AとBが友達である」という関係であれば「BとAも友達である」と言えるため対称律が成り立ちますが、「AはBの父親である」という関係では「BはAの父親である」とは言えないため成り立ちません。推移律と混同しやすいため、矢印の向きが逆になっても成り立つかという双方向性に注目して見分けるのがコツです。
反射律
「AはAと等しい」や「AはA自身と同じ身長である」といった、自分自身に対する関係性を表すものです。推移律のように複数の異なる要素をまたぐ関係ではなく、あくまで一つの要素と自分自身に着目している点が決定的な違いであり、AIの論理推論では初期条件の確認などに使われます。
同値律
初学者が「論理学の性質のどれかだろう」と勘違いしやすいように作られた架空の選択肢です。数学や論理学では、反射律、対称律、推移律の3つが揃ってはじめて「等しい」とみなせる同値関係になるため、用語のパーツを組み合わせただけの言葉に惑わされないよう注意が必要です。