The A-system  is a new system for performing abductive reasoning within the framework of Abductive Logic Programming (ALP). The principles behind the system are founded by work on two earlier systems ACLP [2,3] and SLDNFA(C) [1,6]. The basic inference mechanism of the system combines abductive logic programming and constraint logic programming. In its computation it reduces the high level specification of the problem and goal at hand to a lower level constraint store. This constraint store is managed by an efficient constraint solver returning information to the abductive reduction process in order to help this in its search for a solution.
Published: B. Van Nuffelen, en A. Kakas, A-System : Programming with abduction, Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, Proceedings (Eiter, T. and Faber, W. and Truszczynski, M., eds.), vol 2173, LNAI, pp. 393-396, 2001© Copyright 2001 by Springer-Verlag
Source: PS, Gzipped, 39604 bytes