Discussion :

[ThE_LaSt]

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

[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)

[ThE_LaSt]

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

[gorgonite]

pour scheme aucune idée... mais pour ocaml, télécharges les sources, et étudies le typeur

[LLB]

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

[ThE_LaSt]

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.

[SpiceGuid]

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:

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.

[InOCamlWeTrust]

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).

[ThE_LaSt]

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

[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

[ThE_LaSt]

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 ?

[angelfires]

voici l'exemple d'un jeu de dame en java dont l'inteligence est en CLIPS

[bourbia]

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

[gorgonite]

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

[InOCamlWeTrust]

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.