Moteur D'inférence

Moteur D'inférence

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 conclusions à partir d'une base de faits et d'une base de connaissances.

Les moteurs d'inférences peuvent implémenter :

Sommaire

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 II — 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 : Chainage 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 II : moteur d'ordre 1 en chaînage arrière, développé par Alain Colmerauer,
  • 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

Ce document provient de « Moteur d%27inf%C3%A9rence ».

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'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 — 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… …   Wikipédia en Français

  • 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”