Minimal abductive solutions with explicit justification
| Authors |
|
|---|---|
| Publication date | 08-2021 |
| Journal | Logic Journal of the IGPL |
| Volume | Issue number | 29 | 4 |
| Pages (from-to) | 483–502 |
| Organisations |
|
| Abstract | Abductive problems and their solutions are presented by means of justification logic. We introduce additional meta-constructions in order to generate and compare different solutions to the same abductive problem. Our approach has three advantages: (i) it makes structurally explicit the solution to an abductive problem (as it has a syntactic nature); (ii) it gives a precise meaning to the notion of evidence; (iii) it provides clear definitions and procedures for the comparison of solutions that can be adapted to different needs. |
| Document type | Article |
| Language | English |
| Published at |
https://doi.org/10.1093/jigpal/jzz036
(Final published version)
|
| Permalink to this page | |