Title :
A virtual inference scheme for distributed logic inference
Author :
Juang, Jie Yong ; Freeman, E.H.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
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
Keywords :
distributed processing; inference mechanisms; logic programming; parallel programming; clause migration; conceptual clustering; distributed computing systems; distributed logic inference; granularity; load balancing; parallel logic inference; predicate connection graph; virtual inference scheme; Artificial intelligence; Clustering algorithms; Computer science; Concurrent computing; Distributed computing; Load management; Logic programming; Parallel processing; Partitioning algorithms; Sensor systems;
Conference_Titel :
Distributed Computing Systems in the 1990s, 1988. Proceedings., Workshop on the Future Trends of
Print_ISBN :
0-8186-0897-8
DOI :
10.1109/FTDCS.1988.26722
