推移律 (G検定)

1. 定義と概要

推移律（transitive law／推移性）とは、AとBの間にある関係が成り立ち、BとCの間にも同じ関係が成り立つとき、AとCの間にも同じ関係が自動的に成り立つという性質です。二項関係（2つのものの間に成り立つ「等しい」「大きい」などの関係）一般に定義される性質で、反射律（自分自身との間に成り立つ性質）・対称律（AとBの関係が逆向きにも成り立つ性質）と並ぶ、関係の性質のひとつに位置づけられます。

数学の身近な例で言えば、AとBが等しく、BとCも等しいなら、AとCも等しいという関係（等号の推移律）が挙げられます。また、AがBより大きく、BがCより大きいなら、AはCより大きいという大小関係も、推移律を満たす代表例です。

推移律はもともと数学・論理学の分野で、二項関係が持つ性質のひとつとして定義されてきました。G検定では、知識表現（コンピュータが扱えるようにルールや関係の形で知識を書き表すこと）やエキスパートシステム（専門家の知識をルールとして持たせるコンピュータプログラム）の分野で登場します。

AIが推論（蓄積した知識をもとに新しい結論を導き出す処理）を行う際、ある関係が推移律を満たすかどうかによって、上位の概念が持つ性質を下位の概念へ自動的に連鎖させて継承できるかどうかが変わる、という文脈で扱われます。

2. 試験対策ポイント

理解するうえで中心になるのは、推移律の定義そのものです。記号ではなく日本語の言い換えで、AとBに関係が成り立ち、BとCにも同じ関係が成り立つ場合、AとCにも同じ関係が成り立つという性質を、自分の言葉で説明できるようにしておきたいところです。数式に頼らず言葉で説明できる形にしておくことが、この論点の中心です。

知識表現の分野では、is-aの関係が推移律を満たすという性質があります。この性質は、意味ネットワーク（言葉同士の関係を線でつないだ図のような知識の表し方）やオントロジー（複数の概念やその関係を体系立てて整理した知識の枠組み）とあわせて整理しておきたいところです。

犬is-a哺乳類、哺乳類is-a動物という2つの関係が成り立つなら、犬is-a動物という関係も成り立つという具体例で押さえておきたいところです。一方で、part-ofの関係（「〜は〜の一部である」という、全体とその部品を表す関係）は推移律が常に成り立つとは限らないという対比が、is-aとの取り違えやすい点です。

数学の二項関係が持つ性質のうち、反射律・対称律・推移律の中から推移律だけを取り出して定義を問うパターンと、AIの知識表現の文脈でis-aの具体例に当てはめて問うパターンの両方が想定されます。数学的な定義そのものと、is-aへの当てはめの両方が、試験対策の対象になります。

3. 関連概念との比較・相違点

is-aの関係と異なり、part-ofの関係は推移律が常に成り立つとは限りません。指がpart-of太郎、つまり指が太郎の体の一部であるという関係と、太郎がpart-of野球部、つまり太郎が野球部の一員であるという関係が、それぞれ成り立っているとします。この2つの関係から、指がpart-of野球部、つまり指が野球部の一員であるという関係を導くことはできません。

全体と部分の関係には、体の一部を指す場合や、組織への所属を指す場合など複数の種類が混ざっており、単純には連鎖しないという点が、is-aとの大きな違いになります。2つの関係を並べると、性質の違いがはっきりします。

関係	表す内容	推移律
is-aの関係	〜は〜である、という上位下位の関係	成り立つ。犬is-a哺乳類、哺乳類is-a動物なら犬is-a動物
part-ofの関係	〜は〜の一部である、という全体と部品の関係	常に成り立つとは限らない

もうひとつの比較の軸は、推移律が本来どこで定義される性質かという点です。推移律は数学の集合上の二項関係全般に定義される性質で、AとBが等しく、BとCも等しいなら、AとCも等しいという関係や、AがBより大きく、BがCより大きいなら、AはCより大きいという関係にも成り立ちます。

G検定でis-aの関係が推移律を満たすと説明されるのは、この数学的な推移律の考え方を、AIが知識を体系立てて扱う知識表現の分野に当てはめたものという位置づけです。数学の性質とAIの知識表現の性質は、別々のものではなく、同じ考え方の応用という関係にあります。

4. ビジネス・実務での活用シナリオ

ナレッジマネジメント（組織内の知識を蓄積し活用する取り組み）や社内向けの情報共有サイトの構築では、組織図や製品カテゴリのような上位下位の関係をis-aの関係として整理することがあります。この整理に推移律を当てはめると、下位の項目が上位の性質を連鎖的に継承していると扱えるため、カテゴリ体系をゼロから作り直す手間が減ります。

ECサイトのカテゴリ設計やレコメンド（おすすめ商品の提示）でも、商品カテゴリの親子関係というis-aの一種が使われます。推移律が成り立つ関係として親子カテゴリを設計しておくと、下位カテゴリに属する商品を、上位カテゴリの条件でまとめて検索したり推薦したりできます。

エキスパートシステムやルールベースのAIでは、知識ベース（知識やルールを蓄積したデータの集まり）に登録した関係が推移律を満たすと定義しておきます。すると、AがBであり、BがCであるという2つの既知の事実から、AがCであるという新しい事実を、推論エンジン（既知の事実やルールから新しい事実を自動的に導き出す仕組み）が自動的に導き出します。

5. 要点まとめ

• 推移律とは、AとBに関係が成り立ち、BとCにも同じ関係が成り立つ場合、AとCにも同じ関係が成り立つという性質です。
• is-aの関係とあわせて理解しておきたい関係で、犬is-a哺乳類、哺乳類is-a動物ならば犬is-a動物という具体例のとおり、is-aの関係は推移律を満たします。
• 一方でpart-ofの関係は推移律が常に成り立つとは限らず、is-aとの対比として理解する論点になります。

6. 確認問題