Raisonnement automatise
- Raisonnement automatise
-
Raisonnement automatisé
Le raisonnement automatisé est un domaine de l'informatique dédié à la compréhension des différents aspects du Raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de raisonner complètement automatiquement, ou presque. Il est considéré habituellement comme un sous-domaine de l'Intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même la philosophie
Les sous-domaines les plus développés du Raisonnement automatisé sont probablement l'Assistant de preuve (qui en pratique se trouve être plus pragmatique mais moins automatisé que sa théorie), la démonstration automatique de théorèmes et la vérification de preuve (procédé qui garantie un raisonnement correcte en se basant sur l'axiome selon lequel les hypothèses fournies sont justes). Cependant, un travail énorme a été fourni dans le raisonnement par analogie, induction et abduction. D'autres sujets importants sont aussi le raisonnement sous les contraintes de l'incertitude et la raisonnement non-monotonique (ou non-monotone). Une partie importante du raisonnement sous la contrainte de l'incertitude est l'argumentation, sous des contraintes de minimalité et de cohérence, appliquées au sommet des déductions automatisées tout ce qu'il y a de plus standard. Le système Oscar de John Pollock est un exemple d'argumentation automatisée bien plus spécifique qu'un "simple" Assistant de preuve de théorème. L'argumentation formelle est un sous-domaine de l'intelligence artificielle.
Les outils et techniques du raisonnement automatisé incluent les logiques et les calculs classiques de la preuve automatique de théorème, mais aussi la logique floue, l'Inférence bayésienne, le raisonnement par le Principe d'entropie maximale et un grand nombre de techniques ad-hoc moins formelles.
Voir aussi
Sources
- (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Automated reasoning ».
Conférences du domaine
- International Joint Conference on Automated Reasoning (IJCAR)
- Conference on Automated Deduction (CADE)
- Association for Automated Reasoning (AAR)
Liens externes
Catégories : Intelligence artificielle | Méthode de démonstration
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Raisonnement automatise de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Raisonnement Automatisé — Le raisonnement automatisé est un domaine de l informatique dédié à la compréhension des différents aspects du Raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de raisonner complètement… … Wikipédia en Français
Raisonnement automatisé — Le raisonnement automatisé est un domaine de l informatique consacré à la compréhension des différents aspects du Raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de raisonner complètement… … Wikipédia en Français
Induction (logique) — Pour les articles homonymes, voir Induction. L induction est historiquement le nom pour un genre de raisonnement qui se propose de chercher des lois générales à partir de l observation de faits particuliers, sur une base probabiliste. L idée de… … Wikipédia en Français
Induction logique — Induction (logique) Pour les articles homonymes, voir Induction. À la différence de la déduction qui impose des propositions de départ non supposées vraies, l induction se propose de chercher des lois générales à partir de l observation de faits… … Wikipédia en Français
Inférence inductive — Induction (logique) Pour les articles homonymes, voir Induction. À la différence de la déduction qui impose des propositions de départ non supposées vraies, l induction se propose de chercher des lois générales à partir de l observation de faits… … Wikipédia en Français
Recherche inductive — Induction (logique) Pour les articles homonymes, voir Induction. À la différence de la déduction qui impose des propositions de départ non supposées vraies, l induction se propose de chercher des lois générales à partir de l observation de faits… … Wikipédia en Français
Razonamiento automático — Saltar a navegación, búsqueda El razonamiento automático es un área de la ciencias de la computación dedicada a comprender diferentes aspectos del razonamiento de manera que permita la creación de programas informáticos que posibiliten a los… … Wikipedia Español
Géométrix — Géometrix Développeur Jacques Gressier Dernière version … Wikipédia en Français
Controle industriel — Contrôle industriel Le contrôle industriel regroupe un ensemble d activités techniques et de technologies destinées à l automatisation des procédés et de systèmes de fabrication industrielle. Les domaines de compétence du contrôle industriel vont … Wikipédia en Français
Contrôle industriel — Le contrôle industriel regroupe un ensemble d activités techniques et de technologies destinées à l automatisation des procédés et de systèmes de fabrication industrielle. Les domaines de compétence du contrôle industriel vont de la conception d… … Wikipédia en Français
