布尔函数中重要性值的统一形式方法
摘要：布尔函数及其通过逻辑、电路、机器学习分类器或二进制决策图（BDD）的表示在计算系统的设计和分析中起着核心作用。通过重要性值量化变量对真值的相对影响可以为系统设计和调试提供有用的见解。在本文中，我们引入了一个统一的框架来推理这些值，依赖于一种名为重要性值函数（IVFs）的通用概念。IVFs类由多个文献中引入的重要性值概念所激发的公理定义。这些概念包括Ben-Or和Linial的影响力以及Chockler、Halpern和Kupferman的责任和指责概念。我们建立了IVFs与博弈理论概念之间的联系，例如Shapley和Banzhaf值，这两个值衡量玩家对合作游戏结果的影响。利用基于BDD的符号方法和预测模型计数，我们设计和评估了IVFs的实际计算方案。
作者：Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
论文ID：2305.08103
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2023-05-16