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

有关该方法的更多详细信息，请参阅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]，解决自然状态的精细结构问题的一个优势是，这为给定状态下的决策者提供了一种概念语言，以及涵盖不同意识概念的灵活性。此外，这些作者还证明了上述对无意识的认知方法的所有命题逻辑模型在很大程度上是等价的。