@prefix skos: . @prefix dc: . @prefix xsd: . skos:broader ; skos:inScheme ; skos:prefLabel "nonmonotonic logic"@en, "logique non monotone"@fr ; skos:definition "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/ )"@fr, "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/ )"@en ; skos:altLabel "nonmonotonic logics"@en, "NML"@en, "logique non monotonique"@fr, "logique non-monotone"@fr, "non-monotonic logic"@en, "non-monotonic logics"@en ; skos:exactMatch , , ; a skos:Concept ; dc:modified "2024-09-14T07:31:13"^^xsd:dateTime . skos:prefLabel "logique"@fr, "logic"@en ; a skos:Concept ; skos:narrower . a skos:ConceptScheme .