A virtual inference scheme for distributed logic inference

Abstract

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.<>