经济学中非知识的决策论方法

有关该方法的更多详细信息，请参阅toSvetlova和van Elst（2012）[48]。在费金和哈尔佩恩（1988）[16]提出的、随后由莫迪卡和鲁斯蒂奇尼（1999）[37]、海菲茨、梅耶和希珀（2008）[27]以及哈尔佩恩和雷戈（2008）[24]提出的将决策者的不知情性正式化的认知方法中，使用了模态逻辑语法来阐明（与结果相关的）自然状态的精细结构。这些状态在这里被视为最大一致的命题集，由一组可数的原始命题、它们的二元真值和一组定义在命题集上的相关推理规则构成。很快得到的命题逻辑模型扩展了标准的Kripke（1963）[35]数学信息结构。决策者的具体意识水平与一致命题的特定子集及其对应的二元真值相关；意识水平随这些子集中元素的数量而变化。

根据所采取的方法，决策者在给定自然状态下的意识水平表现为对命题定义的明确意识模式算子（费金和哈尔珀，1988年【16】），或直接表现为知识模式算子（莫迪卡和鲁斯蒂奇尼，1999年【37】；海菲茨，迈耶和施希珀，2008年【27】）。虽然费金和哈尔佩恩（1988）[16]在他们的多人意识结构中处理了一个单一的状态空间，并提出了决策者可能拥有的两种知识（隐式和显式），这取决于他们的认知水平，Modica和Rustichini（1999）[37]在他们的单人广义分区信息结构中，一方面区分了与建模者相关的完整状态空间，另一方面区分了决策者的（典型的低维）主观状态空间。定义了这两类空间之间的投影算子。这种构造的结果是，2值命题逻辑在全状态空间中获得，而3值命题逻辑在决策者的主体空间中应用：他们在给定状态下不知道的命题既不能是真的，也不能是假的。因此，当某个事件不能用主观状态空间中的状态来描述时，4给出了对状态空间的不了解和对特定事件的决策者感到意外的可能性。根据Halpern和R^ego（2008）[24]，解决自然状态的精细结构问题的一个优势是，这为给定状态下的决策者提供了一种概念语言，以及涵盖不同意识概念的灵活性。此外，这些作者还证明了上述对无意识的认知方法的所有命题逻辑模型在很大程度上是等价的。

到目前为止，命题逻辑模型还没有与任何特定的决策理论框架相联系。最终，集合论方法可以被视为认知方法的命题逻辑模型的一个不太明确的子类，因为它抛弃了自然状态的精细结构，从而导致无意识的形式化。这里的关键认识是，为了克服Dekel et al（1998）[8]关于标准分区信息结构中非琐碎的不可知表示的令人不安的不可能结果，在决策理论框架的原语中，应引入不同维度的不相交状态空间的完整层次结构，以描述具有不同意识水平的决策者。Heifetz、Meier和Schipper（2006）[26]通过在多人环境中设计一个不相交的有限状态空间的单元来处理这一观点，该单元通过这些空间的基数来编码决策者不同的表达能力。因此，这些状态空间在它们之间共享一个自然的部分秩序；其中每一项都与决策者的特定意识水平相关。这种无意识结构层次结构中最上层的状态空间对应于对自然相关状态的完整描述，可以与无所不知的决策者或建模者进行识别。不同的状态空间通过投影操作符从高排名空间链接到低排名空间。这些投影操作符是可逆的，过滤掉了存在于较高意识水平的知识，而这些知识无法在较低水平上表达。这样，就有可能在一个给定的状态下描述出某种意识水平的决策者根本没有概念的事件。

三值逻辑应用于每个状态空间，但标准二值逻辑获得的最上面的状态空间除外。不知情性（Unawareness respective）决策者对特定事件的知情性正式间接定义为知识操作员（knowledgeoperator），该操作员满足标准分区信息结构中对该操作员的所有要求；参见Dekel等人（1998）[8164f]。我们注意到，Heifetz等人（2006）[26]的提议可能会提供一个框架，以便在决策理论背景下捕捉Taleb（2007）[49]的“黑天鹅事件”。为此，需要一个场景，其中决策者的意识水平不对应于层次结构中的最高状态空间。Li（2009）[36]提出了相关的集合论框架。在她的“无意识产品模型”中，她将自然状态（与结果相关）的事实信息与决策者的意识信息区分开来，从而再次为区分自然状态的完整空间和决策者的主观状态空间（一般较低维）提供了形式基础。通过定义这两个空间之间的投影算子，可以明确决策者不知道的事件。与认知方法不同，Schipper（2013）[42]最近针对Heifetz等人（2006）[26]的集合论无意识结构建立了与决策理论的直接联系。他在Anscombe和Aumann（1963）[2]的传统中提出了一个感知相关的主观预期效用建议，其中决策者集合的一组感知相关的有序二元偏好关系定义在晶格中所有状态空间的并集上的一组行为上。

《法案》将这一联盟中与结果相关的自然状态映射到冯·诺依曼-摩根斯特恩（1944）[39]彩票，其结果取决于这些状态。也就是说，行为偏好现在可以取决于决策者的意识水平，因此可能会在收到新的后果相关信息后发生变化。这显然是经济理论中关于非知识表示的一个重大概念性步骤，特别是因为它关注的是重要的多人案例。然而，Schipper（2013）[42]的提案也可能受到Ellsberg（1961）[13]悖论的影响，因为决策者在实验中表现出的不确定性厌恶尚未在其框架中正式讨论。在这方面，人们期望Schipper（2013）[42]的工作可以与Gilboa和Schmeidler（1989）[21]的多重先验方法相结合，以解决这一问题，类似于Epstein et al（2007）[15]在两阶段选择方法的背景下对Dekel et al（2001）[9]的工作进行扩展。5讨论在回顾了静态决策框架中处理非知识的主要方法之后，我们现在想解决一些开放性问题。我们讨论了图1中研究决策矩阵两个关键元素的概念：与结果相关的自然状态空间和该空间上的先验概率度量。直到最近，这两种方法的发展都是相互独立的：相关论文关注的要么是确定适当的概率测度，要么是处理状态空间的不完善知识。然而，Schipper（2013）[42]的论文试图将这两个问题联系起来。

我们认为，应该在这方面做进一步的工作。此外，决策矩阵的其他元素，特别是可用行动集和可能序列集，迄今为止已被广泛排除在经济学非知识的讨论之外。我们建议，应该做更多的概念性工作，以澄清是否有理由假定决策者完全了解行动及其后果，就像迄今为止经济决策理论中的情况一样。另一个重要的开放性问题是决策矩阵的要素——概率度量、状态空间、行动和后果——是如何相互关联的。例如，最近关于行为性、反应性和非线性的研究（参见《经济方法学杂志》最近的反应性和经济学特刊）表明，所选择的行动可能会对自然状态产生因果影响；参见Gilboa（2009）[20]。这些考虑分别提出了可能的国家、可采取的行动及其后果的性质问题。重要的是要正确理解了解国家、行动和后果，了解或不了解它们意味着什么。例如，很明显，将可能的状态想象为“自然状态”或“世界状态”会有所不同（Schipper 2013【42，p 741】）。这两种状态都与决策者的角色有关。在“自然状态”方法中，决策者，即他们的信念和行动，与状态空间的构建无关：只有自然与之对抗。因此，消除（对未来的）不了解将取决于我们对物理世界的理解程度的提高。

然而，如果我们将状态设想为“世界的状态”，那么决策者的信念和行动就是世界描述的一部分，因此有必要考虑决策矩阵所有元素的相互关系，以及不同决策者的决策矩阵之间的相互联系。对于非知识的概念，我们对社会世界的理解与我们对物理世界的看法一样重要。我们认为，这些与认知博弈论相关的见解应该进一步发展，尽管由此产生的理论框架的复杂性可能会成为其自身的制约因素。最后，我们想问，建模者在所审查的UnawarenesConcepts中的全知假设是否合理。是否有必要假设存在一个对所有可能的自然状态都有完整看法的机构，而普通决策者对这些状态只有不完全的了解？Heifetz et al（2006）[26，p 90]强调，“……无知……与缺乏概念有关。”对我们来说，这个概念包括决策矩阵所有元素之间相互关系的知识。