Abstract:
In this thesis a prototype distributed reasoner for mobile devices, based on the
open source Euler reasoner, using the Python programming language is imple-
mented. The system is intended to be used in a (mobile) network where there are
a range of mobile devices communicating one another. But it can also be used
as a stand-alone Notation3 reasoner. The system is capable of sending presence
requests (reasoning tasks) to another device in a network and merging responses
afterwards.
It uses Notation3 policies and rules for performing reasoning tasks. It is
the core component of the Policy Engine of MAGNET Beyond. Inserting this
reasoner into the Policy Engine produces a decision making agent which can
communicate with instances of its kind spread over a mobile network.
