Logique contextuelle
De Wikipedia, l'encyclopédie encyclopedia
La logique contextuelle Lc[1] est un système formel dont l'objectif est la modélisation et l'exploitation des connaissances par un agent intelligent. Elle postule qu'une phrase est, en soi, un ensemble de signes qui ne dit rien : son sens est dans la pensée, le langage est son moyen de communication, et cette relation doit être modélisée dans le formalisme qui porte l'expression.
La mise en forme de cet article est à améliorer ().
La mise en forme du texte ne suit pas les recommandations de Wikipédia : il faut le « wikifier ».
Cet article semble être une page autobiographique ou autocentrée qui a fait l'objet de modifications substantielles, soit par le principal intéressé, soit par une ou plusieurs personnes en lien étroit avec le sujet ().
Il peut être nécessaire de l'améliorer pour respecter le principe de neutralité de point de vue.
Cliquer ici pour comprendre la signification de cet avertissement.
Appliqué à la logique propositionnelle, l’exercice conduit à l'élaboration d'un langage sémantiquement non monotone et syntaxiquement monotone. Se situant dans le cadre de la révision des croyances et garantissant la cohérence syntaxique, Lc propose des réponses à quelques difficultés propres aux langages formels, comme l’exploitation de connaissances avec exception, incohérentes ou aléthiques, et bénéficie d’une capacité à supporter des pensées imaginées.
Le terme a aussi été employé par Nicolas Gauvrit pour nommer un modèle de logique locale permettant d'élucider certains paradoxes de la logique naturelle[2], et par Yvon Gauthier pour proposer une analogie avec les logiques internes[3].