Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:allows |
Conclusions to be withdrawn in light of new evidence
|
| gptkbp:contrastsWith |
gptkb:Monotonic_logic
Classical logic |
| gptkbp:describes |
Reasoning with exceptions
|
| gptkbp:developedBy |
gptkb:Donald_Nute
|
| gptkbp:field |
gptkb:artificial_intelligence
gptkb:philosophy Computer science |
| gptkbp:hasComponent |
Defeasible rules
Defeaters Strict rules Superiority relation |
| https://www.w3.org/2000/01/rdf-schema#label |
Defeasible logic
|
| gptkbp:introducedIn |
1987
|
| gptkbp:relatedTo |
gptkb:Argumentation_theory
Logic programming Default logic |
| gptkbp:usedIn |
Knowledge representation
Multi-agent systems Legal reasoning |
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|