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. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Lecture Notes in Computer Science , vol.16099 Springer Nature, pp. 455-467. 10.1007/978-3-032-05134-9_31

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)
Date Type:	Published Online
Status:	Published
Schools:	Schools > Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Publisher:	Springer Nature
ISBN:	9783032051332
Date of First Compliant Deposit:	23 September 2025
Date of Acceptance:	12 July 2025
Last Modified:	30 Oct 2025 14:15
URI:	https://orca.cardiff.ac.uk/id/eprint/181191

Actions (repository staff only)

Edit Item