MoviLog: A Platform for Prolog-Based Strong Mobile Agents on the WWW

ZUNINO, A.; CAMPO, M.; MATEOS, C.

Santa Fé

Congreso; IV Argentine Symposium on Artificial Intelligence (ASAI2002), 31st JAIIO; 2002

SADIO

/* Layout-provided Styles */ div.abstract { margin-top: 0.7ex; margin-bottom: 0.7ex; text-align: left; } div.abstract_label { font-weight: bold; } Nowadays, Java-based platforms are the most common proposals for building mobile agent systems using web technology. However, the weak mobility model they use, the lack of adequate support for developing inference and reasoning mechanisms, added to the inherent complexity of building location aware software, impose strong limitations for developing mobile intelligent agent systems. In this article we present MoviLog, a platform for building Prolog-based mobile agents with a strong mobility model. MoviLog is an extension of JavaLog, an integration of Java and Prolog, that allows a user to take advantage of the best features of the programming paradigms they represent. MoviLog provides logic modules, called Brainlets, which are able to migrate among different web sites, either proactively or reactively, to use the available knowledge in order to find a solution. The most interesting feature introduced by MoviLog is the reactive mobility by failure (RMF) mechanism. This mechanism means that when a certain specially declared Prolog predicate fails, the MoviLog machine transparently moves the Brainlet to another host which has declared the same predicate to try to satisfy the current goal.