Subsomption
Un article de Wikipédia, l'encyclopédie libre.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
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.