Generality in artificial intelligence
Communications of the ACM
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
Modelling and Using Imperfect Context Information
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Semantic Space: An Infrastructure for Smart Spaces
IEEE Pervasive Computing
RDF-Based Model for Context-Aware Reasoning in Rich Service Environment
PERCOMW '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications Workshops
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Managing Context Information in Mobile Devices
IEEE Pervasive Computing
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Distributed reasoning in a peer-to-peer setting: application to the semantic web
Journal of Artificial Intelligence Research
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Minimal and absent information in contexts
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Rules and ontologies in support of real-time ubiquitous application
Web Semantics: Science, Services and Agents on the World Wide Web
Sharing context information in semantic spaces
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A semantics-based framework for context-aware services: lessons learned and challenges
UIC'07 Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing
SAGE: A Logical Agent-Based Environment Monitoring and Control System
AmI '09 Proceedings of the European Conference on Ambient Intelligence
Reasoning with imperfect context and preference information in multi-context systems
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Rule-based contextual reasoning in ambient intelligence
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Approximations for explanations of inconsistency in partially known multi-context systems
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Rule-based distributed and agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
An architecture for defeasible-reasoning-based cooperative distributed planning
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Handling preferences in p2p systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Defeasible argumentation for multi-agent planning in ambient intelligence applications
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Towards interactive smart spaces
Journal of Ambient Intelligence and Smart Environments - Context Awareness
| Hi-index | 0.00 |
The study of ambient computing environments and pervasive computing systems has introduced new research challenges in the field of Distributed Artificial Intelligence. The imperfect nature of context, the different viewpoints from which the ambient agents face the available context, and their heterogeneity with respect to the language and inference system that they use cannot be efficiently handled by the classical centralized reasoning approaches followed by most of the systems presented so far. The current paper proposes a distributed reasoning approach from the field of Multi-Context Systems (MCS) that handles these requirements by modeling ambient agents as peers in a P2P system, local context knowledge as local rule theories, and mapping rules through which an ambient agent imports context knowledge from other ambient agents as defeasible rules. To resolve potential inconsistencies that may derive from the interaction of context theories through the mappings, it uses a preference relation, which may express the trust that an agent has in the knowledge imported by other ambient agents. The paper also describes a specific distributed algorithm for query evaluation in the proposed MCS framework, analyzes its formal properties, and demonstrates its use in three use case scenarios from the Ambient Intelligence domain.