p
u
b
l
i
c
i
t
é
publicité
  1. #1
    Rédacteur
    Avatar de SpiceGuid
    Homme Profil pro
    Inscrit en
    juin 2007
    Messages
    1 617
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : juin 2007
    Messages : 1 617
    Points : 2 773
    Points
    2 773

    Par défaut Quantification existentielle, universelle et implication

    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 quantification universelle
    • ne possède pas la négation


    Est-ce que je peux récupérer une notion proche de la quantification universelle ?
    Comme je le crois sur la simple foi de l'exemple suivant.

    La nuit, tous les chats sont gris

    En utilisant la quantification existentielle et l'implication :

    il existe une période nocturne ⇒ il existe un chat ⇒ ce chat est de couleur grise
    Du même auteur: le cours OCaml, le dernier article publié, le blog dvp et le jeu vidéo.
    Avant de poser une question je lis les règles du forum.

  2. #2
    Rédacteur
    Avatar de SpiceGuid
    Homme Profil pro
    Inscrit en
    juin 2007
    Messages
    1 617
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : juin 2007
    Messages : 1 617
    Points : 2 773
    Points
    2 773

    Par défaut Vous avez dit proche ?

    La subsomption est une notion "proche de l'implication".
    Oui mais "proche" comment

    (petit) Avantage

    C'est le même avantage qu'avec la POO.
    Tout chat est aussi un félin. Le concept de félin subsume le concept de chat.

    Du coup on a 2 conclusions pour le prix d'une seule hypothèse.

    Félix est un chat ⇒ il existe un chat & il existe un félin

    (gros) Inconvénient

    C'est l'exemplaire qui implique l'existence.
    Du coup la conclusion contient au moins autant de quantifications existentielle que l'hypothèse.

    Ma conclusion

    J'ai bien l'impression que je ne vais pas gratuitement récupérer une notion proche de la quantification universelle.

    Cependant je n'ai toujours pas votre opinion de Coqueurs : et si on utilisait l'implication
    On pourrait exprimer la quantification universelle sans utiliser la négation
    Du même auteur: le cours OCaml, le dernier article publié, le blog dvp et le jeu vidéo.
    Avant de poser une question je lis les règles du forum.

  3. #3
    Rédacteur/Modérateur

    Avatar de gorgonite
    Homme Profil pro
    Ingénieur d'études
    Inscrit en
    décembre 2005
    Messages
    10 260
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 30
    Localisation : France

    Informations professionnelles :
    Activité : Ingénieur d'études
    Secteur : Transports

    Informations forums :
    Inscription : décembre 2005
    Messages : 10 260
    Points : 17 706
    Points
    17 706

    Par défaut

    Naïvement, tu as malgré tout une petite quantification universelle

    Félix est un chat ⇒ il existe un chat & il existe un félin
    on pourrait voir
    Pour tout c, c est un chat => c est un félin
    (donc vraie quantification universelle + vraie implication... enfin ça reste quand même un peu une définition de la subsomption, on tourne en rond ^^)
    Evitez les MP pour les questions techniques... il y a des forums
    Contributions sur DVP : Mes Tutos | Mon Blog

  4. #4
    Rédacteur
    Avatar de SpiceGuid
    Homme Profil pro
    Inscrit en
    juin 2007
    Messages
    1 617
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : juin 2007
    Messages : 1 617
    Points : 2 773
    Points
    2 773

    Par défaut petites ambitions

    petite quantification universelle + petite implication = petits raisonnements primitifs

    Par exemple :

    Tous les hommes sont mortels. (subsomption)
    Socrate est un homme. (exemplaire)
    Donc Socrate est mortel. (conclusion)

    Par contre La nuit, tous les chats sont gris avec les mêmes outils
    Du même auteur: le cours OCaml, le dernier article publié, le blog dvp et le jeu vidéo.
    Avant de poser une question je lis les règles du forum.

  5. #5
    Rédacteur
    Avatar de SpiceGuid
    Homme Profil pro
    Inscrit en
    juin 2007
    Messages
    1 617
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Loire (Rhône Alpes)

    Informations forums :
    Inscription : juin 2007
    Messages : 1 617
    Points : 2 773
    Points
    2 773

    Par défaut Tous les Rubik's cubes bon marché sont chers!

    Ç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 :
    Code RACE : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
    Every n:rare_thing is a n:costly_thing.
    Every n:cheap_rubiks_cube is a n:rare_thing.
    3. Cliquez l'onglet Prove et proposez comme Theorems :
    Code RACE : Sélectionner tout - Visualiser dans une fenêtre à part
    Every n:cheap_rubiks_cube is a n:costly_thing.
    4. Cliquez le bouton Prove
    Du même auteur: le cours OCaml, le dernier article publié, le blog dvp et le jeu vidéo.
    Avant de poser une question je lis les règles du forum.

Discussions similaires

  1. Réponses: 3
    Dernier message: 26/03/2013, 17h21
  2. La quantification universelle de type en OCaml
    Par SpiceGuid dans le forum Caml
    Réponses: 23
    Dernier message: 24/08/2008, 20h51
  3. Réponses: 9
    Dernier message: 13/10/2005, 18h24
  4. [VB6][Expert Only ?][ADO] Format universel des dates
    Par HPJ dans le forum VB 6 et antérieur
    Réponses: 16
    Dernier message: 14/02/2004, 10h42
  5. En quoi XML est-il un moyen universel d'échange de données ?
    Par Pomalaix dans le forum XML/XSL et SOAP
    Réponses: 4
    Dernier message: 27/01/2003, 11h29

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo