Managed multi-context systems

Authors:
Gerhard Brewka;Thomas Eiter;Michael Fink;Antonius Weinzierl
Affiliations:
University of Leipzig, Department of Computer Science;Vienna University of Technology, Institute of Information Systems;Vienna University of Technology, Institute of Information Systems;Vienna University of Technology, Institute of Information Systems
Venue:
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Year:
2011

Citing 9
Cited 4

Multilanguage hierarchical logics, or: how we can do without modal logics

Artificial Intelligence
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
LUPS---a language for updating logic programs

Artificial Intelligence
Propositional defeasible logic has linear complexity

Theory and Practice of Logic Programming
Distributed Defeasible Contextual Reasoning in Ambient Computing

AmI '08 Proceedings of the European Conference on Ambient Intelligence
Handbook of Knowledge Representation

Handbook of Knowledge Representation
Argumentation Context Systems: A Framework for Abstract Group Argumentation

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Equilibria in heterogeneous nonmonotonic multi-context systems

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Debugging ASP programs by means of ASP

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning

Enhancing cooperation in distributed information systems using conviviality and multi-context systems

MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
Comparing inconsistency resolutions in multi-context systems

ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
Multi-context systems: specifying the interaction of knowledge bases declaratively

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Policy-based inconsistency management in relational databases

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multi-context systems (MCS) are a powerful framework for interlinking heterogeneous knowledge sources. They model the flow of information among different reasoning components (called contexts) in a declarative way, using so-called bridge rules, where contexts and bridge rules may be nonmonotonic. We considerably generalize MCS to managed MCS (mMCS): while the original bridge rules can only add information to contexts, our generalization allows arbitrary operations on context knowledge bases to be freely defined, e.g., deletion or revision operators. The paper motivates and introduces the generalized framework and presents several interesting instances. Furthermore, we consider inconsistency management in mMCS and complexity issues.