Qu'est-ce que le raisonnement automatisé?
Le raisonnement automatisé est l'idée que des ordinateurs ou d'autres machines peuvent être programmés pour reproduire les résultats du raisonnement logique humain. Ce type spécifique de recherche technologique fait partie d'un domaine plus vaste, parfois appelé intelligence artificielle, dans lequel les développeurs utilisent des algorithmes complexes et d'autres ressources pour simuler l'intelligence humaine. Le raisonnement automatisé est axé sur l'obtention de résultats logiques avec les ordinateurs.
Les experts dans le domaine de l'intelligence artificielle peuvent identifier une gamme de projets utilisant l'automatisation pour le raisonnement. Certaines d'entre elles sont plus centrées sur ce que l'on appelle un raisonnement déductif valide, utilisant les mathématiques pour produire une logique formelle. Ces types de projets peuvent inclure la démonstration de théorèmes ou l’utilisation de variables spécifiques pour créer un ensemble logique de valeurs. D'autres types de raisonnement automatisé sont davantage basés sur le langage ou abstraits, où les développeurs humains peuvent avoir besoin de fournir aux ordinateurs des objectifs ou des jugements spécifiquement étiquetés afin d'obtenir des résultats ou des décisions efficaces.
De nombreux professionnels identifient des objectifs spécifiques dans les projets de raisonnement automatisé. Par exemple, certains algorithmes peuvent être écrits dans le but de fournir un diagnostic médical, ou lors de tâches de planification, de vérification ou autres, où la saisie et la programmation par ordinateur conduisent à des résultats logiques spécifiques, dictés par une décision. Dans bon nombre de ces projets, les développeurs s’emploient à adapter ces technologies pour qu’elles analysent efficacement les problèmes du monde réel. Bon nombre de ces applications de l’automatisation du raisonnement relèvent de la catégorie de ce que l’on appelle l’aide à la décision, où la technologie est utilisée pour aider les êtres humains à prendre des décisions concernant un large éventail de projets.
Certaines des techniques utilisées dans le raisonnement automatisé sont également utiles dans d'autres types de technologie. Par exemple, ceux qui travaillent sur l'automatisation du raisonnement dans les applications utilisent souvent ce qu'on appelle la logique floue, où les algorithmes résument essentiellement un large ensemble de points de données en un résultat plus concret et spécifique. L'évaluation des méthodes de raisonnement automatisé peut aider les observateurs extérieurs à comprendre comment sont construites ces applications technologiques, comment elles fonctionnent et à quoi elles servent.
La plupart des experts s'accordent pour dire qu'il reste beaucoup à faire pour faire progresser le domaine du raisonnement automatisé. Les projets futurs incluront probablement des moyens de rendre plus efficace une gamme de produits de consommation en incluant des puces de petite taille avec des capacités de raisonnement automatisées. Les applications plus grandes peuvent fournir des mises à niveau extrêmement importantes de la méthodologie pour l'administration publique et d'autres domaines de la gestion de haut niveau.