Raisonnement automatisé
Un article de Wikipédia, l'encyclopédie libre.
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) et la vérification de preuve (voir automated proof checking, 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 (épistémologie)|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.
[modifier] Voir aussi
[modifier] Sources
- (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Automated reasoning ».
[modifier] Articles connexes
- International Joint Conference on Automated Reasoning (IJCAR)
- Conference on Automated Deduction (CADE)
- Association for Automated Reasoning (AAR)
