| Corea, Carl, Kampik, Timotheus and Potyka, Nico 2025. Privacy-preserving inconsistency measurement. Presented at: The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Germany, 23-26 September 2025. |
Preview |
PDF
- Accepted Post-Print Version
Download (590kB) | Preview |
Abstract
We investigate a new form of (privacy-preserving) inconsistency measurement for multi-party communication. Intuitively, for two knowledge bases K_A, K_B (of two agents A, B), our results allow to quantitatively assess the degree of inconsistency for K_A U K_B without having to reveal the actual contents of the knowledge bases. Using secure multi-party computation (SMPC) and cryptographic protocols, we develop two concrete methods for this use-case and show that they satisfy important properties of SMPC protocols -- notably, input privacy, i.e., jointly computing the inconsistency degree without revealing the inputs.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Status: | In Press |
| Schools: | Schools > Computer Science & Informatics |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Date of First Compliant Deposit: | 23 September 2025 |
| Date of Acceptance: | 12 July 2025 |
| Last Modified: | 23 Oct 2025 01:31 |
| URI: | https://orca.cardiff.ac.uk/id/eprint/181191 |
Actions (repository staff only)
![]() |
Edit Item |




Download Statistics
Download Statistics