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. 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
{"_id":"53SHShbRJRta6ooL2","bibbaseid":"medinavega-hernndezquiroz-velzquezquesada-minimalabductivesolutionswithexplicitjustification-2020","authorIDs":[],"author_short":["Medina-Vega, R.","HernÁndez-Quiroz, F.","Velázquez-Quesada, F., R."],"bibdata":{"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","bibtex":"@article{\n title = {Minimal abductive solutions with explicit justification},\n type = {article},\n year = {2020},\n identifiers = {[object Object]},\n keywords = {abduction,evidence,explanation,justification logic,minimality},\n pages = {1-20},\n volume = {00},\n id = {3bc4d004-f752-3d6e-84a4-c1abadbdefda},\n created = {2020-11-25T00:57:34.743Z},\n file_attached = {true},\n profile_id = {b90fa0f0-b835-3487-8645-24bb43c8aba5},\n group_id = {a91e2012-a2d1-3475-84d1-ff2f8b2ca743},\n last_modified = {2020-11-25T01:01:40.230Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {Medina-Vega2020},\n folder_uuids = {cb689628-8825-4be3-9526-cd1da4d0adff},\n private_publication = {false},\n 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.},\n bibtype = {article},\n author = {Medina-Vega, Rodrigo and HernÁndez-Quiroz, Francisco and Velázquez-Quesada, Fernando R},\n journal = {Logic Journal of the IGPL},\n number = {0}\n}","author_short":["Medina-Vega, R.","HernÁndez-Quiroz, F.","Velázquez-Quesada, F., R."],"urls":{"Paper":"https://bibbase.org/service/mendeley/b90fa0f0-b835-3487-8645-24bb43c8aba5/file/0f4a66a3-1178-2df7-55ab-a010554c5346/2020_MedinaVHernándezQ__MinimalAbductiveSolutionsWthExplicitJustification.pdf.pdf"},"bibbaseid":"medinavega-hernndezquiroz-velzquezquesada-minimalabductivesolutionswithexplicitjustification-2020","role":"author","keyword":["abduction","evidence","explanation","justification logic","minimality"],"downloads":0},"bibtype":"article","creationDate":"2020-11-26T03:10:30.176Z","downloads":0,"keywords":["abduction","evidence","explanation","justification logic","minimality"],"search_terms":["minimal","abductive","solutions","explicit","justification","medina-vega","hernández-quiroz","velázquez-quesada"],"title":"Minimal abductive solutions with explicit justification","year":2020}