logique non-monotone

Domaines: philosophiethéorie de la connaissance

intelligence artificielle
Auteur: Office québécois de la langue française
Dernière mise à jour: 2000

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, 2000
Termes :
1. non-monotonic logic
2. nonmonotonic logic
3. non-monotonous logic
catalan
Auteur : Universitat Autònoma de Barcelona, 2005
Terme :
1. lògica no monòtona n. f.
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas, 2005
Colegio de México, 2005
Terme :
1. lógica no monotónica s. f.
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa, 2005
Universidade de São Paulo, 2005
Note :

Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.

Termes :
1. lógica não-monotônica s. f. Brésil
2. lógica não-monotónica s. f. Portugal

Définition :

Note :

Termes privilégiés :

Traductions

Termes :

Terme :

Terme :

Note :

Termes :

Abonnez-vous!