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
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
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.Envoyé par gorgonite
Tu peux me filer quelques lien svp ?
Merci
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.Envoyé par LLB
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:
Cette fonction unify est celle que tu recherche.Envoyé par SpiceGuid
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.
Du même auteur: mon projet, le dernier article publié, le blog dvp et le jeu vidéo.
Avant de poser une question je lis les règles du forum.
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).
When Colt produced the first practical repeating handgun, it gave rise to the saying God created men, but Colt made them equal.
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
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 ?Envoyé par gorgonite
voici l'exemple d'un jeu de dame en java dont l'inteligence est en CLIPS
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
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.
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.
Partager