A protocol for execution of distributed logic programs

László Aszalós (1) , Andreas Herzig (2, 3)

1 University of Debrecen Egyetem [Debrecen]
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique

In the last fifteen years many work in logic programming has focused on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both cases it is supposed that each processor knows the entire logic program. In this paper we shall study a case where each agent only knows part of the program. We give a multi-modal logical language and its semantics which defines a protocol that is able to acquire the information needed to run the logic program.

Domaines: Intelligence artificielle [cs.AI]

László Aszalós, Andreas Herzig. A protocol for execution of distributed logic programs. 3rd International Symposium on Intelligent Distributed Computing (IDC 2009), Oct 2009, Ayia Napa, Cyprus. pp.21-30, ⟨10.1007/978-3-642-03214-1_3⟩. ⟨hal-03474457⟩