Subsomption

Un article de Wikipédia, l'encyclopédie libre.

La subsomption désigne une relation hiérarchique entre des concepts, dans les logiques de description. Cette notion est proche de la relation « est impliqué par » en logique classique, ou encore « contient » en logique ensembliste.

La relation de subsomption permet de construire un treillis de Galois à partir d'un ensemble d'individus et de propriétés.

[modifier] Exemples

  • Le concept HUMAIN subsume le concept FONCTIONNAIRE .
  • Le concept ELECTEUR est subsumé par le concept MAJEUR .

[modifier] Autre sens

La subsomption est également une technique de raisonnement juridique suisse et allemande proche du syllogisme. Elle décrit le cheminement intellectuel qui passe le l'état de fait à la régle de droit.