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 |