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: |
|
|