Abduction in Logic Programming-英文文献.pdf

Abduction in Logic Programming Marc Denecker1 and Antonis Kakas2 1 Department of Computer Science, K.U.Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium. Marc.Denecker@cs.kuleuven.ac.be http://www.cs.kuleuven.ac.be/~marcd 2 Department of Computer Science, University of Cyprus, 75 Kallipoleos St., Nicosia, Cyprus. antonis@ucy.ac.cy http://www.cs.ucy.ac.cy/~antonis Abstract. Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main develop- ments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational and suitability to application. The paper attempts to ex- pose some of the challenges and prospects for the further development of the field. 1 Introduction Over the last two decades, abduction has been embraced in AI as a non-monotonic reasoning paradigm to address some of the limitations of deductive reasoning in classical logic. The role of abduction has been demonstrated in a variety of ap- plications. It has been proposed as a reasoning paradigm in AI for diagnosis [8, 90], natural language understanding [8, 39, 4, 93], default reasoning [81, 29, 25, 50], planning [28, 110, 71, 59], knowledge assimilation and belief revision [54, 76], multi-agent systems [7, 64, 102] and other problems. In the context of logic programming, the study of abductive infer