| Authors |
|
| Publication date |
08-2021
|
| Journal |
Logic Journal of the IGPL
|
| Volume | Issue number |
29 | 4
|
| Pages (from-to) |
483–502
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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
|
|
Permalink to this page
|