Loading...
Please wait, while we are loading the content...
Annotated defeasible logic
| Content Provider | Scilit |
|---|---|
| Author | Governatori, Guido Maher, Michael J. |
| Copyright Year | 2017 |
| Description | Defeasible logics provide several linguistic features to support the expression of defeasible knowledge. There is also a wide variety of such logics, expressing different intuitions about defeasible reasoning. However, the logics can only combine in trivial ways. This limits their usefulness in contexts where different intuitions are at play in different aspects of a problem. In particular, in some legal settings, different actors have different burdens of proof, which might be expressed as reasoning in different defeasible logics. In this paper, we introduce annotated defeasible logic as a flexible formalism permitting multiple forms of defeasibility, and establish some properties of the formalism. |
| Related Links | http://arxiv.org/pdf/1707.04734 https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9DB13E3C9942A9F1AAD8111B21C524D8/S1471068417000266a.pdf/div-class-title-annotated-defeasible-logic-div.pdf |
| Ending Page | 836 |
| Page Count | 18 |
| Starting Page | 819 |
| ISSN | 14710684 |
| e-ISSN | 14753081 |
| DOI | 10.1017/s1471068417000266 |
| Journal | Theory and Practice of Logic Programming |
| Issue Number | 5-6 |
| Volume Number | 17 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2017-08-22 |
| Access Restriction | Open |
| Subject Keyword | Theory and Practice of Logic Programming History and Philosophy of Science Defeasible Logic |
| Content Type | Text |
| Resource Type | Article |
| Subject | Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software |
