Distributed Logic Programming for Artificial Intelligence

Article type: Research Article

Authors: Eliëns, A.

Affiliations: Vrije Universiteit, Dept. of Mathematics and Computer Science, De Boelelaan, 1081, 1081 RV Amsterdam, The Netherlands, eliens@cs.vu.nl

Abstract: A major problem in implementing distributed intelligent systems is to achieve a proper distribution of data and control. As a vehicle for the implementation of distributed knowledge based systems, the distributed logic programming language DLP is introduced. DLP combines logic programming with object oriented features including inheritance. Moreover, DLP supports parallelism and communication between concurrently active objects. The distinguishing feature of DLP is its support for backtracking over the results of a rendez-vous between objects, thus enabling search by distributed backtracking. As an example the implementation of a distributed medical (toy) expert system is described, illustrating the use of both the declarative and control features of the language. The object oriented paradigm provides a natural means of distributing the problem solving tasks, following the hierarchical representation of the knowledge.

DOI: 10.3233/AIC-1991-4103

Journal: AI Communications, vol. 4, no. 1, pp. 11-21, 1991