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
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
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
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
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Rule-based contextual reasoning in ambient intelligence
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
Middleware for pervasive computing: A survey
Pervasive and Mobile Computing
Decentralized checking of context inconsistency in pervasive computing environments
The Journal of Supercomputing
Hi-index | 0.00 |
Multi-Context Systems (MCS) are logical formalizations of distributed context theories connected through a set of mapping rules, which enable information flow between different contexts. Reasoning in MCS introduces many challenges that arise from the heterogeneity of contexts with respect to the language and inference system that they use, and from the potential conflicts that may arise from the interaction of context theories through the mappings. This study proposes a P2P rule-based reasoning model for MCS, which handles (a) incomplete or inconsistent local context information, by representing contexts as local theories of Defeasible Logic and performing local defeasible reasoning, and (b) global inconsistencies that result from the integration of local contexts, by representing mappings as defeasible rules and performing some type of distributed defeasible reasoning. It also provides a distributed algorithm for query evaluation, analyzes its formal properties, and illustrates its use in a Semantic Web use case scenario.