Minimal abductive solutions with explicit justification. Medina-Vega, R., HernÁndez-Quiroz, F., & Velázquez-Quesada, F., R. Logic Journal of the IGPL, 00(0):1-20, 2020.
Minimal abductive solutions with explicit justification [pdf]Paper  abstract   bibtex   
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.

Downloads: 0