Publicité
+ Répondre à la discussion
Affichage des résultats 1 à 15 sur 15
  1. #1
    Invité régulier
    Inscrit en
    octobre 2005
    Messages
    32
    Détails du profil
    Informations forums :
    Inscription : octobre 2005
    Messages : 32
    Points : 7
    Points
    7

    Par défaut Exemple de systemes experts sous Ocaml, scheme et CLIPS

    Bonjour tout le monde,
    Si quelqu'un aurait des exemples de systemes experts developpés sous Ocaml, scheme ou CLIPS, svp il pourrait me les poster ?
    Un grand merci d'avance

  2. #2
    Rédacteur/Modérateur

    Avatar de gorgonite
    Homme Profil pro Nicolas Vallée
    Ingénieur d'études
    Inscrit en
    décembre 2005
    Messages
    10 194
    Détails du profil
    Informations personnelles :
    Nom : Homme Nicolas Vallée
    Âge : 29
    Localisation : France

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

    Informations forums :
    Inscription : décembre 2005
    Messages : 10 194
    Points : 16 749
    Points
    16 749

    Par défaut

    en ocaml, je pense que tu devrais plutot chercher du côté des moteurs d'inférence (qui en gros font le même boulot que prolog), tu trouveras pas mal d'exemples liés aux applications du typage, mais cela pourra te servir pour ton système expert


    sinon, pourquoi n'utilises-tu pas prolog ? c'est rapide de faire un système expert en prolog (le moteur d'inférence est en natif)
    Evitez les MP pour les questions techniques... il y a des forums
    Contributions sur DVP : Mes Tutos | Mon Blog

  3. #3
    Invité régulier
    Inscrit en
    octobre 2005
    Messages
    32
    Détails du profil
    Informations forums :
    Inscription : octobre 2005
    Messages : 32
    Points : 7
    Points
    7

    Par défaut

    Citation Envoyé par gorgonite
    en ocaml, je pense que tu devrais plutot chercher du côté des moteurs d'inférence (qui en gros font le même boulot que prolog), tu trouveras pas mal d'exemples liés aux applications du typage, mais cela pourra te servir pour ton système expert


    sinon, pourquoi n'utilises-tu pas prolog ? c'est rapide de faire un système expert en prolog (le moteur d'inférence est en natif)
    je veux faire une comparaison des moteurs d'inferences chez ocaml, scheme, clips et prolog. Le probleme c'est que j'ai pas trouvé d'exmple de systéme experts developpés sous Ocaml et Scheme.
    Tu peux me filer quelques lien svp ?
    Merci

  4. #4
    Rédacteur/Modérateur

    Avatar de gorgonite
    Homme Profil pro Nicolas Vallée
    Ingénieur d'études
    Inscrit en
    décembre 2005
    Messages
    10 194
    Détails du profil
    Informations personnelles :
    Nom : Homme Nicolas Vallée
    Âge : 29
    Localisation : France

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

    Informations forums :
    Inscription : décembre 2005
    Messages : 10 194
    Points : 16 749
    Points
    16 749

    Par défaut

    pour scheme aucune idée... mais pour ocaml, télécharges les sources, et étudies le typeur
    Evitez les MP pour les questions techniques... il y a des forums
    Contributions sur DVP : Mes Tutos | Mon Blog

  5. #5
    LLB
    LLB est déconnecté
    Membre Expert
    Inscrit en
    mars 2002
    Messages
    962
    Détails du profil
    Informations forums :
    Inscription : mars 2002
    Messages : 962
    Points : 1 127
    Points
    1 127

    Par défaut

    T'as cherché là-dedans : http://caml.inria.fr/cgi-bin/hump.fr.cgi ?

  6. #6
    Invité régulier
    Inscrit en
    octobre 2005
    Messages
    32
    Détails du profil
    Informations forums :
    Inscription : octobre 2005
    Messages : 32
    Points : 7
    Points
    7

    Par défaut

    Citation Envoyé par LLB
    T'as cherché là-dedans : http://caml.inria.fr/cgi-bin/hump.fr.cgi ?
    Oui j'ai cherché mais j'ai pas trouvé d'exemple de systeme expert sous ocaml. Mon but c'est juste de voir comment fonctionne le moteur d'inference de Ocaml.

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

    Informations forums :
    Inscription : juin 2007
    Messages : 1 574
    Points : 2 449
    Points
    2 449

    Par défaut

    Le moteur d'inférence de OCaml est un typage Hindley-Milner, il fonctionne par unification, dans Page code source, mettez vos sources ici ! cherche la phrase:

    Citation Envoyé par SpiceGuid
    La fonction unify réalise l'unification de deux motifs pat1 et pat2
    Cette fonction unify est celle que tu recherche.

    Les systèmes d'aide à la preuve de programmes et de théorèmes (Coq, Isabelle, Epigram) possèdent en plus des règles de tactique et de stratégie qui les rendent beaucoup plus difficiles à développer et à utiliser. Il faut maîtriser leur modèle mathématique sous-jacent pour cerner leurs limitations et exhiber toutes leurs capacités. À l'heure actuelle ces systèmes ne sont pas considérés comme pratiquables pour la programmation à grande échelle.

  8. #8
    Membre Expert
    Avatar de InOCamlWeTrust
    Inscrit en
    septembre 2006
    Messages
    1 036
    Détails du profil
    Informations forums :
    Inscription : septembre 2006
    Messages : 1 036
    Points : 1 129
    Points
    1 129

    Par défaut

    C'est un message strictement informatif.

    Le système d'inférence d'OCaml est beaucoup plus complexe que cela : entre autres, l'une des difficultés réside dans la gestion des visibilités des variables de types à l'intérieur des expressions de type ; ceci est accompli grâce aux tests d'égalité physique des variables et grâce à l'insertion d'un entier dans les variables représentant leur niveau de généralisation à l'intérieur d'une expression de type, un peu comme on fait de temps en temps lors de la compilation des blocs, pour les langages qui en possèdent (C et autres).

  9. #9
    Invité régulier
    Inscrit en
    octobre 2005
    Messages
    32
    Détails du profil
    Informations forums :
    Inscription : octobre 2005
    Messages : 32
    Points : 7
    Points
    7

    Par défaut

    Merci beaucoup pour vos explication, je commence a y voir un peu plus clair. Cependant, je suis toujours à la recherche d'un exemple concret de systéme expert sous Ocaml, et aussi sous SCheme. Encore merci les gars

  10. #10
    Rédacteur/Modérateur

    Avatar de gorgonite
    Homme Profil pro Nicolas Vallée
    Ingénieur d'études
    Inscrit en
    décembre 2005
    Messages
    10 194
    Détails du profil
    Informations personnelles :
    Nom : Homme Nicolas Vallée
    Âge : 29
    Localisation : France

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

    Informations forums :
    Inscription : décembre 2005
    Messages : 10 194
    Points : 16 749
    Points
    16 749

    Par défaut

    en soi un système expert est l'utilisation d'une base de connaissances de faits et de relations, et la "recherche d'inconnues" via inférence sur ceux-ci... donc si tu as un moteur d'inférence en ocaml, tu pourras avoir un système expert en insérant des données
    Evitez les MP pour les questions techniques... il y a des forums
    Contributions sur DVP : Mes Tutos | Mon Blog

  11. #11
    Invité régulier
    Inscrit en
    octobre 2005
    Messages
    32
    Détails du profil
    Informations forums :
    Inscription : octobre 2005
    Messages : 32
    Points : 7
    Points
    7

    Par défaut

    Citation Envoyé par gorgonite
    en soi un système expert est l'utilisation d'une base de connaissances de faits et de relations, et la "recherche d'inconnues" via inférence sur ceux-ci... donc si tu as un moteur d'inférence en ocaml, tu pourras avoir un système expert en insérant des données
    T'as raison certes, mais le probléme c'est que je suis debutant en ocaml et mon travail c'est sur les moteur d'inference et je veux comparer des moteurs d'inference genre clips, scheme, ocaml. Donc j'ai besoin d'un exemple au moins pour l'executer sous ocaml. Si quelqu'un est assez bon en ocaml, est ce qu'il peut me faire un tout petit exemple avc base de connaissances et des régles, svp ?

  12. #12
    Invité de passage
    Inscrit en
    mai 2008
    Messages
    4
    Détails du profil
    Informations forums :
    Inscription : mai 2008
    Messages : 4
    Points : 4
    Points
    4

    Par défaut exemple d'utilisation de clips


  13. #13
    Invité régulier
    Inscrit en
    août 2009
    Messages
    6
    Détails du profil
    Informations forums :
    Inscription : août 2009
    Messages : 6
    Points : 5
    Points
    5

    Par défaut Système expert:

    bonjour,

    une aide, est ce quelqu'un aurait une idée sur ce qu'on peut avoir comme exemple de système expert car j'ai un projet et je voudrais savoir les exemples de système expert


    merci

  14. #14
    Rédacteur/Modérateur

    Avatar de gorgonite
    Homme Profil pro Nicolas Vallée
    Ingénieur d'études
    Inscrit en
    décembre 2005
    Messages
    10 194
    Détails du profil
    Informations personnelles :
    Nom : Homme Nicolas Vallée
    Âge : 29
    Localisation : France

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

    Informations forums :
    Inscription : décembre 2005
    Messages : 10 194
    Points : 16 749
    Points
    16 749

    Par défaut

    souvent, dans les "projets scolaires", tu as une base de connaissance, et des relations pour en tirer tes conclusions... le langage utilisé est souvent Prolog
    Evitez les MP pour les questions techniques... il y a des forums
    Contributions sur DVP : Mes Tutos | Mon Blog

  15. #15
    Membre Expert
    Avatar de InOCamlWeTrust
    Inscrit en
    septembre 2006
    Messages
    1 036
    Détails du profil
    Informations forums :
    Inscription : septembre 2006
    Messages : 1 036
    Points : 1 129
    Points
    1 129

    Par défaut

    Juste pour rendre lisible ce qui est dit entre les lignes depuis le début de cette discussion.

    Il n'y a pas, au sens classique, de système expert en Caml déjà fait, out of the box. Ni en Scheme d'ailleurs. Ce ne sont que des langages de programmation faits pour les mêmes buts que C et autres, mais dans un style et une approche différents. Si tu veux un système expert en Caml ou Scheme, il te faudra

    - soit le programmer toi-même, et ça si tu es débutant ça sera très difficile, mais pas impossible

    - soit prendre celui d'un mec qui en aurait déjà implanté un

    Dans les deux cas, il ta faudra définir précisément comment fonctionne le système expert. Etant donné que l'on a affaire ici à de vrais langages de programmation, tout est possible et réalisable, contrairement à PROLOG dont le fonctionnement du système expert natif est clairement défini et même normalisé. Par exemple, il est tout à fait possible de programmer en Caml un système expert PROLOG. Tes deux systèmes seront donc identiques.

    On a affaire ici à deux notions, langage de programmation et système expert, qui sont différentes et qu'il ne faut pas confondre. Et en aucun cas Caml n'est un système expert.
    When Colt produced the first practical repeating handgun, it gave rise to the saying God created men, but Colt made them equal.

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •