Description
Non-monotonic logic is a formal logic whose conclusion relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (cf. defeasible reasoning), i.e., a kind of inference in which reasoners draw tentative conclusions, enabling reasoners to retract their conclusion(s) based on further evidence.
Technical Details
| Framework | MITRE D3FEND |
| Ontology URI | d3f:Non-monotonicLogic |
| Local Identifier | Non-monotonicLogic |
| Publication Status | Exists in ontology only |