La logique contextuelle générale - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2021

The general contextual logic

La logique contextuelle générale

Arnaud Kohler
  • Fonction : Auteur
  • PersonId : 1046743

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.
Fichier principal
Vignette du fichier
La logique contextuelle générale.pdf (800.22 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03195162 , version 1 (10-04-2021)
hal-03195162 , version 2 (21-05-2021)
hal-03195162 , version 3 (16-10-2021)
hal-03195162 , version 4 (21-01-2022)
hal-03195162 , version 5 (18-04-2022)
hal-03195162 , version 6 (02-10-2022)
hal-03195162 , version 7 (29-10-2022)

Identifiants

  • HAL Id : hal-03195162 , version 1

Citer

Arnaud Kohler. La logique contextuelle générale. 2021. ⟨hal-03195162v1⟩
230 Consultations
489 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More