A Sound and Complete Axiomatization of Majority-n Logic
Amaru, Gaillardon, Chattopadhyay, De Micheli · cs.LO · 2015-11-25 · 原文
Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems. Also, the Boolean satisfiability problem finds new solving approaches when described in terms of majority decisions. To support computer logic applications based on majority a sound and complete set of axioms is required. Most of the recent advances in majority logic deal only with ternary majority (MAJ- 3) operators because the axiomatization with solely MAJ-3 and complementation operators is well understood. However, it is of interest extending such axiomatization to n-ary majority operators (MAJ-n) from both the theoretical and practical perspective. In this work, we address this issue by introducing a sound and complete axiomatization of MAJ-n logic. Our axiomatization naturally includes existing majority logic systems. Based on this general set of axioms, computer applications can now fully exploit the expressive power of majority logic.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
Manipulating logic functions via majority operators recently drew the attention of researchers in computer science.
For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems.
2. 领域脉络
本文类目：cs.LO，属于其所在研究脉络的最新进展。
3. 机制拆解
Also, the Boolean satisfiability problem finds new solving approaches when described in terms of majority decisions.
To support computer logic applications based on majority a sound and complete set of axioms is required.
4. 证据与数字
Most of the recent advances in majority logic deal only with ternary majority (MAJ- 3) operators because the axiomatization with solely MAJ-3 and complementation operators is well understood.
5. 反例与边界
However, it is of interest extending such axiomatization to n-ary majority operators (MAJ-n) from both the theoretical and practical perspective.
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。