Concept information
PREFERRED TERM
nonmonotonic logic
DEFINITION(S)
- a type of logic designed to reason with rules that have implicit exceptions that can be used in other rules, as in the example "birds fly", "ostriches are birds", "ostriches do not fly". The arrival of new information (in this case, that "Zoe is an ostrich") can invalidate a conclusion that has already been reached (in this case, that "Zoe flies" when we only knew that "Zoe is a bird"), hence the non-monotonic nature of the deduction process, unlike classical logic. (Source: translated from https://ia.gdria.fr/Glossaire/logique-non-monotone/ )
BROADER CONCEPT(S)
SYNONYM(S)
- NML
- non-monotonic logic
- non-monotonic logics
- nonmonotonic logics
IN OTHER LANGUAGES
-
French
-
logique non monotonique
-
logique non-monotone
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}}