Concept information
PREFERRED TERM
logique non monotone
DEFINITION(S)
- type de logique conçue pour raisonner avec des règles ayant des exceptions implicites qui peuvent intervenir dans d’autres règles, comme dans l’exemple « les oiseaux volent », « les autruches sont des oiseaux », « les autruches ne volent pas ». L’arrivée d’une nouvelle information (ici que « Zoé est une autruche ») peut invalider une conclusion déjà obtenue (ici que « Zoé vole » quand on savait seulement que « Zoé est un oiseau »), d’où le caractère non monotone du processus de déduction, à la différence de la logique classique. (Source : https://ia.gdria.fr/Glossaire/logique-non-monotone/ )
BROADER CONCEPT(S)
SYNONYM(S)
- logique non-monotone
- logique non monotonique
IN OTHER LANGUAGES
-
English
-
NML
-
non-monotonic logic
-
non-monotonic logics
-
nonmonotonic logics
URI
http://data.loterre.fr/ark:/67375/23L-VK8CS6BV-Q
{{toUpperCase label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}