Privacy-preserving inconsistency measurement

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. Item availability restricted.

PDF - Accepted Post-Print Version Restricted to Repository staff only until 23 October 2025 due to copyright restrictions. Download (590kB)

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 Sep 2025 11:30
URI:	https://orca.cardiff.ac.uk/id/eprint/181191

Actions (repository staff only)

Edit Item