Distributed default logic for context-aware computing in multi-agent systems

Authors:
Dominik Ryżko;Henryk Rybiński
Affiliations:
Warsaw University of Technology, Institute of Computer Science, Warsaw, Poland;Warsaw University of Technology, Institute of Computer Science, Warsaw, Poland
Venue:
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Year:
2010

Citing 9
Cited 0

Understanding and Using Context

Personal and Ubiquitous Computing
Reasoning with Stratified Default Theories

LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Advanced Interaction in Context

HUC '99 Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing
Distributed Default Logic for Multi-agent System

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Context-Aware Computing Applications

WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
A middleware for context-aware agents in ubiquitous computing environments

Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Social Default Theories

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Partition-based logical reasoning for first-order and propositional theories

Artificial Intelligence - Special volume on reformulation
About agents that reason by case (preliminary report)

IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper describes how Distributed Default Logic (DDL) can be used as a formalism for context-aware computing in a Multi-Agent System. It is shown that the original notation does not require any changes. The DDL reasoning engine has been adapted to handle situations like unavailability of sensors. New semantics of Distributed Default Rules in the application to reasoning with context information is also described.