A virtual inference scheme for distributed logic inference
Jia‐Yang Juang, E.H. Freeman · 2003
A virtual logic-inference scheme is described for parallel logic inference in distributed computing systems. Task decomposition is carried out automatically by performing conceptual clustering on a predicate connection graph. Interprocess communication and load balancing are achieved by clause migration. Granularity of computation is therefore scalable to the underlying distributed environment.>