推移律

推移律とは、「A ならば B」「B ならば C」が成り立つとき「A ならば C」も成り立つ、という論理の規則です。

たとえば「犬は哺乳類」「哺乳類は動物」なら「犬は動物」が自動的に導けます。意味ネットワークで is-a の関係をたどって性質を引き継がせるとき、この推移律が働いています。

知識をたどって新しい結論を導く推論の基礎となる、シンプルだが重要な規則です。