Title | ||
---|---|---|
Approximations for explanations of inconsistency in partially known multi-context systems |
Abstract | ||
---|---|---|
Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via possibly nonmonotonic bridge rules. Inconsistency is a major problem, as it renders such systems useless. In applications involving confidentiality or trust, it is likely that complete knowledge about all system parts is unavailable. To address inconsistency in such scenarios, we extend existing notions for characterizing inconsistency in multi-context systems: we propose a representation of partial knowledge, and introduce a formalismfor approximating reasons of inconsistency. We also discuss query selection strategies for improving approximations in situations where a limited number of queries can be posed to a partially known context. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-20895-9_11 | LPNMR |
Keywords | Field | DocType |
system part,multi-context system,partial knowledge,major problem,nonmonotonic bridge rule,query selection strategy,formalismfor approximating reason,limited number,heterogeneous knowledge,complete knowledge,knowledge based system | Boolean function,Confidentiality,Computer science,Algorithm,Knowledge-based systems,Credit card,Theoretical computer science,Formalism (philosophy) | Conference |
Volume | ISSN | Citations |
6645 | 0302-9743 | 5 |
PageRank | References | Authors |
0.41 | 13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas Eiter | 1 | 7238 | 532.10 |
Michael Fink | 2 | 1145 | 62.43 |
Peter Schüller | 3 | 192 | 22.61 |