(8) Development of Abductive Logic Programming Systems

This study aims to simplify the implementation of non-monotonic reasoning and abduction, which are important in advanced problem solving. As a methodology, we will organize a user-friendly class of logic programming called abductive logic programming (ALP), and will develop a fast proof procedure for abductive logic programs. For that purpose, we will compile abduction into first-order logic based on the program transformation method that we developed earlier. We realize ALP computation through such compiled logical formulas using the MGTP theorem prover.