Internship 2007/08

 

Mani Ashwin

PERVASIVE POLICY REASONING AND ENFORCEMENT
ON MOBILE DEVICES


Artificial intelligence, agents and reasoning systems allow computers to perform automatically many tasks on our behalf. Policies are statements that define the behavior of systems, specifying how to react under different conditions, therefore giving autonomous agents the capability of interacting and even negotiating with other entities without needing user intervention. Policies are typically distributed and described using logic languages, therefore involving policy reasoning and therefore dealing with explicit and implicit knowledge.

Policies are typically used to describe behaviour such as what can and cannot be done. There are different scenarios where this depends on the context (including time and space). For example, a student may use a printer if it is in the room where the printer is and it is working time. This work requires not only the integration of location-aware component (either using WiFi or GPS) but also reasoning extensions. As a very simple example, policies may want to use "working time" as a new concept, which has to be defined else-where. More interestingly, new location concepts such as "near" or "in front of", etc are not defined in a straight forward manner. Mappings from coordinates (in the case of GPS) or tags + strength (for WiFi networks) have to be reason about in order to be used with terms a user would intuitively use for a policy.

At L3S we have developed a logic-based language called Protune for the representation of and reasoning over policies. Our policy rules are similar to horn-logic rules (the typical prolog-like ones). Your work will consist on enhancing our current Protune framework by exploring the application of policies to mobile devices (laptops or PDAs) in order to allow new pervasive scenarios.

General Prerequisites
 
  • Good knowledge of Java (as programming language)
  • Knowledge of logic programming. In particular, good knowledge of Prolog
    would suffice, since our policies are very similar to Prolog.
   
Policy Driven Negotiation
  Introduction
 
   
Mobile Devices
 
  • MOCA system: it may provide us already with what we need
  • In addition, you should read and get some information about mobile devices, such as how WiFi networks and GPS receivers work. You don't need too much details since we will simply use the data that access points and GPS receives will provide.
   
Pervasive and Geospace Reasoning
 

After reading the papers, you should write down for each paper:

  • a small summary of the paper (so you see that you understood the main ideas)
  • some ideas you got from it
  • questions you have about the paper
   
Projects to explore
 

Planning Overview

October/November (till arrival to L3S)
Tasks:
  • Reading papers and learning about the topics
  • No milestone nor output
November/December
Tasks:
January
Tasks:
Output:
February
Tasks:
Output::
March
Tasks:
Output:
April
Tasks:
Output:
May
Tasks:
Output:

 

 

Last update on 08-Dec-2007 4:10 PM Home