A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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 todoi:10.34726/hss.2016.24879 fatcat:agra4r4ts5fwre7ypgmoplkml4