Sciweavers

85
Voted
ECAI
2000
Springer

Verification Programs for Abduction

15 years 12 days ago
Verification Programs for Abduction
Abstract. 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.
Paolo Liberatore, Francesco M. Donini
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where ECAI
Authors Paolo Liberatore, Francesco M. Donini
Comments (0)