<div class="csl-bib-body">
<div class="csl-entry">Salcher, F. (2016). <i>Distributed computation of diagnoses for inconsistent multi-context systems</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.24879</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2016.24879
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/6595
-
dc.description
Abweichender Titel nach Übersetzung der Verfasserin/des Verfassers
-
dc.description
Zusammenfassung in deutscher Sprache
-
dc.description.abstract
Multi-Context Systems (MCS ) are systems of distributed knowledge bases which interact via so called bridge rules. The MCSs we are interested in are nonmonotonic and therefore bridge rules can cause inconsistencies in the MCS while the knowledge bases for themselves are consistent. We will develop an algorithm which identifies those inconsistencies and proposes bridge rule modifications to the user which will make the system consistent. This algorithm will be effective with respect to requesting only as much information from the distributed knowledge bases as necessary. Therefore, for a user only interested in a part of the system, it is not necessary to know the whole system. We will show that this algorithm is sound and complete and present data demonstrating the performance of a reference implementation. To increase the performance of the algorithm we also propose further optimizations like edge and subset pruning and show the effectiveness of those modifications on the reference implementation.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Wissensintegration
de
dc.subject
Behandlung von Inkonsistenzen
de
dc.subject
Multi-kontext Systeme
de
dc.subject
knowledge integration
en
dc.subject
inconsistency managemet
en
dc.subject
mulit-context systems
en
dc.title
Distributed computation of diagnoses for inconsistent multi-context systems
en
dc.title.alternative
Verteilte Berechnung von Diagnosen für Inkonsistente Mulit-kontext Systeme