Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction

2011/08/30 by Katsumi Inoue, Inoue, Katsumi, Chiaki Sakama +3
Computer Science · Social Sciences · #Access Control and Trust #Artificial Intelligence (cs.AI) #Cryptography and Data Security #FOS: Computer and information sciences #I.2.4 #Logic, Reasoning, and Knowledge #cs.AI

paper · pdf · doi:10.48550/arxiv.1108.5825

Paper appears in the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)

arxiv created 2011/08/30 · openalex publication_date 2011/08/30 · arxiv updated 2011/08/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Publishing private data on external servers incurs the problem of how to avoid unwanted disclosure of confidential data. We study a problem of confidentiality in extended disjunctive logic programs and show how it can be solved by extended abduction. In particular, we analyze how credulous non-monotonic reasoning affects confidentiality.

Related

• Logic Column 10: Specifying Confidentiality
• Preventing Disclosure of Sensitive Knowledge by Hiding Inference
• Confidentiality enforcement by hybrid control of information flows
• Confidential Prompting: Privacy-preserving LLM Inference on Cloud
• PrivaLog: a privacy-aware logic programming language