logique non-monotone
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique selon laquelle la vérité établie d'une assertion peut être remise en cause lors de la prise en compte d'une nouvelle connaissance.
Note :
Le raisonnement par défaut a donné naissance à la logique non monotone. La logique non monotone viole le principe de monotonie respecté par la logique classique; selon ce dernier, si X et Y sont deux ensembles de formules et si X est inclus dans Y, tout théorème déductible de X est déductible de Y.
Termes privilégiés :
- logique non-monotone n. f.
- logique non-monotonique n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- non-monotonic logic
- nonmonotonic logic
- non-monotonous logic
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- lògica no monòtona n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- lógica no monotónica s. f.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Termes :
-
lógica não-monotônica s. f.
L’étiquette Brésil signifie que le terme est principalement ou exclusivement utilisé au Brésil.
-
lógica não-monotónica s. f.
L’étiquette Portugal signifie que le terme est principalement ou exclusivement utilisé au Portugal.
-
lógica não-monotônica s. f.