| Property |
Value |
| dbo:abstract
|
- La logique contextuelle Lc 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 soit, 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. 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, et par Yvon Gauthier pour proposer une analogie avec les logiques internes. (fr)
- La logique contextuelle Lc 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 soit, 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. 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, et par Yvon Gauthier pour proposer une analogie avec les logiques internes. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 11542 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- La logique contextuelle Lc 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 soit, 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. (fr)
- La logique contextuelle Lc 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 soit, 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. (fr)
|
| rdfs:label
|
- Logique contextuelle (fr)
- Logique contextuelle (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
