Minimal abductive solutions with explicit justification. Medina-Vega, R.; HernÁndez-Quiroz, F.; and 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.
@article{
 title = {Minimal abductive solutions with explicit justification},
 type = {article},
 year = {2020},
 identifiers = {[object Object]},
 keywords = {abduction,evidence,explanation,justification logic,minimality},
 pages = {1-20},
 volume = {00},
 id = {3bc4d004-f752-3d6e-84a4-c1abadbdefda},
 created = {2020-11-25T00:57:34.743Z},
 file_attached = {true},
 profile_id = {b90fa0f0-b835-3487-8645-24bb43c8aba5},
 group_id = {a91e2012-a2d1-3475-84d1-ff2f8b2ca743},
 last_modified = {2020-11-25T01:01:40.230Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {Medina-Vega2020},
 folder_uuids = {cb689628-8825-4be3-9526-cd1da4d0adff},
 private_publication = {false},
 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.},
 bibtype = {article},
 author = {Medina-Vega, Rodrigo and HernÁndez-Quiroz, Francisco and Velázquez-Quesada, Fernando R},
 journal = {Logic Journal of the IGPL},
 number = {0}
}
Downloads: 0