Ça se constate empiriquement mais ça peut aussi se prouver formellement avec le raisonnement par subsomption.
1. Ouvrez cette page.
2. Effacez le contenu de la fenêtre Axioms et remplacez le par...
Ça se constate empiriquement mais ça peut aussi se prouver formellement avec le raisonnement par subsomption.
1. Ouvrez cette page.
2. Effacez le contenu de la fenêtre Axioms et remplacez le par...
petite quantification universelle + petite implication = petits raisonnements primitifs
Par exemple :
Tous les hommes sont mortels. (subsomption)
Socrate est un homme. (exemplaire)
Donc...
La subsomption est une notion "proche de l'implication".
Oui mais "proche" comment :question:
:arrow: (petit) Avantage
C'est le même avantage qu'avec la POO.
Tout chat est aussi un félin. Le...
Dans le cadre de mon projet j'ai une DL (Description Logic) qui :
possède la quantification existentielle
possède une notion proche de l'implication (la subsomption)
ne possède pas la...
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.