Defeasible Contextual Reasoning in Ambient Intelligence
Antonis Bikakis · 2009
Ambient Intelligence environments consist of various devices that collect, process, change and share the available context information. The imperfect nature of context, the open and dynamic nature of ambient environments, and the special characteristics of the involved devices have introduced new research challenges in the eld of Distributed Arti cial Intelligence, which have not yet been successfully addressed by current Ambient Intelligence systems. This thesis proposes a solution based on the Multi-Context Systems paradigm, in which local context knowledge of ambient agents is encoded in rule theories (contexts), and information ow between agents is achieved through mapping rules that associate concepts used by di erent contexts. To handle imperfect context, we extend Multi-Context Systems with non-monotonic features, such as local defeasible theories, defeasible mapping rules, and a preference ordering over the system contexts. On top of this model, we have developed an argumentation framework that exploits context and preference information to resolve potential con icts caused by the interaction of ambient agents through their mappings. We also provide an operational model in the form of a distributed algorithm for query evaluation, which is sound and complete with respect to the argumentation framework, as well as three alternative versions of the algorithm, each of which implements a di erent strategy for con ict resolution. The four strategies, which mainly di er in the type and extent of context and preference information that is used to resolve potential con icts, have been evaluated in a simulated peer-to-peer system and implemented in Logic Programming in four di erent logic metaprograms. Supervisor: Grigoris Antoniou Professor of Computer Science University of Crete