MGTP Applications (1) 
Abductive Reasoning System 


Abstract 

We have developed several parallel abductive reasoning systems using the 
MGTP. We will describe two implementations of the abductive reasoning 
system shown in Figure 1: one is the MGTP+MGTP method, and the other 
is the Skip method. In each method, the given input formulas are translated 
into MGTP rules in a different way. We demonstrated them by applying them 
to a logic circuit design problem. 




Figure 1: Abductive Reasoning System based on the MGTP 


Abduction 

We considered the first-order abductive framework (,), where  is a 
set of Horn clauses and  is a set of atoms (abducibles). A set E of ground 
instances of elements of  is an explanation of a closed formula G from (, ) 
if: (1)  E G, and (2) E is consistent. Given ,  and G, the task 
of abduction is to find the explanations of G from (, ). 

MGTP+MGTP 

Each ground hypothesis H from  is represented by fact(H, {H}), and each 
Horn clause in  of the form: 



is translated into the MGTP rule of the form: 




					- 71 -