The general contextual logic
La logique contextuelle générale
Résumé
The search for a model of human reasoning led to a multiplication of formal languages during the 20th century. Each succeeded in capturing a particular inference capacity - at the expense of other properties. The union seemed impossible, signifying the failure of the symbolic approach in Artificial Intelligence. At the end of the 10th century, efforts were concentrated on the statistical or connectionist approach. The observation of a second setback is emerging today. We present in this article the causes of these failures, both based on the same lack: the incapacity of reflexivity in the mechanics of reasoning. Once this observation is corrected, we propose a formal language that unifies existing logics.
La recherche de la modélisation du raisonnement humain a conduit à une multiplication des langages formels au cours du XX ième siècle. Chacun réussissait à capturer une capacité d'inférence particulière-au dépend toutefois d'autres propriétés. L'union semblait impossible, signifiant l'échec de l'approche symbolique en Intelligence Artificielle. A la fin du Xième siècle, les efforts se sont alors concentrés sur l'approche statistique, ou connexionniste. Le constat d'un second revers émerge aujourd'hui. Nous présentons dans cet article les causes de ces échecs, basés l'un et l'autre sur le même manque : l'incapacité de réflexivité dans la mécanique du raisonnement. Ce constat corrigé, nous proposons un langage formel unificateur des logiques existantes.
Origine | Fichiers produits par l'(les) auteur(s) |
---|