A General Abductive System with Application to Plan Recognition andDiagnosis
Hwee Tou Ng · 1992
A diverse set of intelligent activities, including natural language understanding, diagnosis, and scientific theory formation, requires the ability to construct explanations for observed phenomena. In this thesis, we view explanation as abduction, where an abduction explanation is a consistent set of assumptions which, together with background knowledge, logically entails a set of observations.