Abstract
Reasoning in Ambient Computing environments requires formal models that represent ambient agents as autonomous logic-based entities, and support sharing and distributed reasoning with the available ambiguous context information. This paper presents an approach from the field of Multi-Context Systems that handles these requirements by modeling contexts as local rule theories in a P2P system and mappings through which the agents exchange context information as defeasible rules, and by performing some type of distributed defeasible reasoning.
Original language | English |
---|---|
Title of host publication | Web Reasoning and Rule Systems |
Subtitle of host publication | Second International Conference, RR 2008 |
Editors | Diego Calvanese, Georg Lausen |
Place of Publication | Berlin |
Publisher | Springer-Verlag Berlin Heidelberg |
Pages | 234-235 |
Number of pages | 2 |
Volume | 5341 LNCS |
ISBN (Electronic) | 9783540887379 |
ISBN (Print) | 9783540887362 |
DOIs | |
Publication status | Published - 17 Nov 2008 |
Externally published | Yes |
Event | 2nd International Conference on Web Reasoning and Rule Systems - Karlsruhe, Germany Duration: 31 Oct 2008 → 1 Nov 2008 Conference number: 2 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer-Verlag Berlin Heidelberg |
Volume | 5341 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 2nd International Conference on Web Reasoning and Rule Systems |
---|---|
Abbreviated title | RR 2008 |
Country/Territory | Germany |
City | Karlsruhe |
Period | 31/10/08 → 1/11/08 |