Verification Programs for Abduction

Francesco M. Donini and Paolo Liberatore

Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI 2000)

We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of assumptions. To filter out erroneous explanations, a verification program should propose which assumptions to check. Given the abductive setting of manifestations, assumptions, and a theory relating them, we study the complexity of providing a minimal set of assumptions to be checked in order to identify the actual explanation. We study also the case in which assumptions to be checked are given in a tree-like order.


 @inproceedings{doni-libe-00,
 title = {Verification Programs for Abduction},
 year = {2000},
 author = {Donini, Francesco M. and Liberatore, Paolo},
 booktitle = {Proceedings of the Fourteenth European Conference on
 Artificial Intelligence (ECAI 2000)},
 pages = {166--170},
 }
 
HTTP download.
FTP download.