「犬は哺乳類である」「哺乳類は動物である」——この「〜である」というつながりが is-a の関係です。知識をコンピュータに扱わせる「知識表現」の最も基本的な部品であり、G検定では推移律という性質とセットで問われる頻出キーワードです。
📖 ひと言でいうと
is-aの関係とは、「AはBである」という形で、下位概念（具体的なもの）と上位概念（より一般的なもの）を結ぶ継承関係のことです。身近な例でいえば、図書館の本の分類が近いイメージです。「『吾輩は猫である』は小説である」「小説は文学である」というように、具体的なものから一般的なカテゴリへと階層をさかのぼれる関係が is-a です。
🖼 1枚でわかるis-aの関係
📘 対策テキストの説明
is-a（「である」の関係）は、概念間の継承関係を表すもので、上位概念と下位概念の関係性を示している。例えば、「哺乳類」と「犬」の間にはis-aの関係が存在し、犬は哺乳類であるということを表現している。この関係は、概念階層を構築する際に重要な役割を果たす。is-aの関係には、推移律が必ず成立するという特徴がある。これは、ある概念が別の概念にis-aの関係で結ばれており、さらにその概念が別の概念にis-aの関係で結ばれている場合、最初の概念も最後の概念にis-aの関係で結ばれることを意味する。例として、「哺乳類 is-a 動物」および「人間 is-a 哺乳類」が成立する場合、「人間 is-a 動物」も自動的に成立する。
ポイントは2つです。1つめは、is-a が「上下関係」を表すこと。「犬」から見て「哺乳類」は上位概念、「哺乳類」から見て「犬」は下位概念で、この上下のつながりを何段も積み重ねると、概念のピラミッド（概念階層）ができあがります。2つめは、そのつながりを何段たどっても必ず成り立つ「推移律」という性質です。この2点が試験でも解説でも中心になります。
🔍 しっかり理解する
is-aは意味ネットワークの「背骨」
is-aの関係は、単独で使われる用語というより、意味ネットワークという知識表現手法の中で登場します。意味ネットワークでは「概念」をノード（丸）で表し、概念どうしの関係をリンク（矢印）で結びますが、そのリンクの中で最も重要なのが is-a です。is-a のリンクを縦につないでいくと「生物 ← 動物 ← 哺乳類 ← 犬」という階層構造ができ、これが知識全体を整理する背骨の役割を果たします。
継承：下位概念は上位概念の性質を受け継ぐ
is-a が「継承関係」と呼ばれるのは、下位概念が上位概念の性質を自動的に引き継ぐからです。たとえば「動物は呼吸する」という知識を一度書いておけば、「犬 is-a 哺乳類」「哺乳類 is-a 動物」とつながっている犬についても「犬は呼吸する」と推論できます。犬・猫・馬それぞれに「呼吸する」と書き込む必要がなく、知識を一箇所にまとめて効率よく管理できるのが継承の利点です。
推移律：何段たどっても成り立つ
推移律とは「A is-a B」と「B is-a C」が成り立つとき、「A is-a C」も必ず成り立つという性質です。
対策テキストの例のとおり、「人間 is-a 哺乳類」「哺乳類 is-a 動物」から「人間 is-a 動物」が自動的に導けます。この「必ず成立する」という点が is-a の大きな特徴で、後述する part-of の関係との重要な違いになります。推移律のおかげで、コンピュータは明示的に書かれていない知識でも、階層を何段でもたどって機械的に導き出せます。知識ベースに全部の組み合わせを書き込まなくてよいため、記述量を大幅に減らせるという実用上の利点もあるのです。
💡 具体例で考える
プログラミングのオブジェクト指向における「クラスの継承」は、is-aの関係の考え方がそのまま生きている例です。たとえば「乗り物」クラスに「移動できる」という機能を定義し、「自動車 is-a 乗り物」「トラック is-a 自動車」と継承させれば、トラックにも「移動できる」が自動的に備わります。設計の世界では「継承は is-a の関係が成り立つときに使うべき」という指針が使われるほど、この概念は実務にも浸透しています。
もう1つの例は生物の分類体系です。「スズメ is-a 鳥類」「鳥類 is-a 脊椎動物」「脊椎動物 is-a 動物」という階層を作っておけば、「鳥類は卵を産む」という知識からスズメについての推論ができます。意味ネットワークで知識ベースを作るときも、まさにこのような is-a の階層が骨組みとして最初に設計されます。
⚠️ よくある誤解・紛らわしい用語
- 「is-a と part-of はどちらも上下関係だから同じ」は誤り — is-a は「犬は哺乳類である」という種類・分類の関係、part-of は「目は頭部の一部である」という全体と部分の関係です。「目 is-a 頭部（目は頭部である）」とは言えないことから区別できます。
- 「推移律はどの関係でも成り立つ」は誤り — 推移律が「必ず」成立するのは is-a の特徴です。part-of の関係では成り立たない場合があるとされ、この対比が出題ポイントになります。
- 矢印の向きに注意 — is-a は下位概念から上位概念へ向かう関係です。「哺乳類 is-a 犬」のように逆向きにした選択肢はひっかけの定番です。
- has-a との混同 — has-a は「頭部は目を所有している」という所有関係で、継承とは別物です。「である」と言い換えられるなら is-a、「持っている」なら has-a と覚えましょう。
📝 試験でのポイント
- 「概念間の継承関係を表し、推移律が必ず成立するのはどれか」という形で、is-a / part-of / has-a から選ばせる問題が想定されます。
- 「哺乳類と犬」「人間と動物」など具体的なペアを示して、is-a が成り立つかを判定させる形式に注意しましょう。
- 意味ネットワークの説明文の中で、ノード・リンク・is-a・part-of の役割を正しく組み合わせられるかが問われます。
- 「上位概念」「下位概念」という用語がどちらを指すか（犬から見て哺乳類が上位）を取り違えないようにしましょう。
📚 まとめ
- is-aの関係は「AはBである」という下位概念と上位概念の継承関係です。
- is-a を積み重ねることで概念階層ができ、意味ネットワークの骨組みになります。
- 下位概念は上位概念の性質を継承するため、知識を効率よく表現できます。
- 推移律が必ず成立する点が最大の特徴で、part-of との違いとして頻出です。
