Moteur d'inférence
- Moteur d'inférence
-
Un moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un logiciel correspondant à un algorithme de simulation des raisonnements déductifs.
Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances.
Les moteurs d'inférences peuvent implémenter :
Historique
Les premiers moteurs d'inférences sont nés dans les années 1960 dans la communauté des chercheurs en informatique, notamment lors du lancement du programme de recherche américain sur le GPS (General Problem Solving).
En France, le moteur Prolog — inventé par Alain Colmerauer à Marseille dans les années 1970 — est un exemple mondialement connu de moteur d'inférence en logique formelle monotone d'ordre 1 en chaînage arrière non complet déductivement. Les Japonais avaient d'ailleurs décidé de fonder leur programme de recherche sur les ordinateurs dits de « 5e génération » sur le langage français Prolog.[réf. nécessaire]
Exemples de moteurs d'inférence
- CLIPS : Chaînage avant, Contrôle irrévocable, Moteur d'ordre 1, Logique non monotone, Monde fermé
- Moteur de MYCIN :' système de diagnostic médical,
- GOSSEYN : moteur d'ordre 1 en chaînage avant, développé en Fortran par Jean-Marc Fouet,
- PROLOG : moteur d'ordre 1 en chaînage arrière, développé par Alain Colmerauer,
- PROLOG II : moteur d'ordre 1 en chaînage arrière, développé par Michel Van Caneghem,
- Kadviser : moteur d'ordre 1 à propagation de contraintes, créé en 1988 par la société KADE-TECH et développé aujourd'hui par la société NIMTOTH,
- MACISTE moteur d'ordre 2, développé par Jacques Pitrat,
- SMECI : développé en LISP par la société ILOG,
- SNARK : développé par Jean-Louis Laurière (il existe également un démonstrateur de théorème du même nom, par Mark E. Stickel, qui n'a rien à voir).
Voir aussi
Lien externe
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Moteur d'inférence de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Moteur D'inférence — Un moteur d inférence (du verbe inférer = déduire) est un logiciel correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des … Wikipédia en Français
Moteur d'inference — Moteur d inférence Un moteur d inférence (du verbe inférer = déduire) est un logiciel correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d inférence permet aux systèmes experts de conduire des raisonnements… … Wikipédia en Français
Moteur d'inférence — ● Moteur d inférence programme qui, dans un système expert, interprète les données de la base de connaissances et assure, suivant des stratégies générales ou particulières, l enchaînement des étapes de la résolution d un problème donné … Encyclopédie Universelle
moteur d'inférence — ● loc. m. ►INTART Programme réalisant les déductions logiques d un système expert à partir d une base de connaissances (faits) et d une base de règles. Les règles sont utilisées pour manipuler les connaissances et aboutir à des conclusions qu on… … Dictionnaire d'informatique francophone
INFÉRENCE — Opération de l’esprit qui passe de propositions assertives, comme prémisses, à des propositions assertives, comme conclusions. Au sens strict, on distingue l’inférence du raisonnement en ce qu’elle peut être soit médiate soit immédiate (passer de … Encyclopédie Universelle
Moteur (informatique) — Moteur (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom … Wikipédia en Français
Moteur (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Moteur (homonymie) », sur le Wiktionnaire (dictionnaire universel) Physique Un moteur est un… … Wikipédia en Français
inférence — ● n. f. ►INTART * La réalisation d une déduction logique, utilisée par un système expert pour paraître intelligent. Voir aussi moteur d inférence. * Inférence de type: déduction du type des sorties d une fonction par l analyse du type des entrées … Dictionnaire d'informatique francophone
moteur — ● n. m. ►CIEL noyau qui ne peut pas fonctionner en l absence d un frontal plus ou moins indépendant. Il se doit d avoir des performances extraordinaires, c est pourquoi il ne s occupe pratiquement pas d affichages. Exemple: Moteur de base de… … Dictionnaire d'informatique francophone
Systeme expert — Système expert D une manière générale, un système expert est un outil capable de reproduire les mécanismes cognitifs d un expert, dans un domaine particulier. Il s agit de l une des voies tentant d aboutir à l intelligence artificielle. Plus… … Wikipédia en Français
