从某种意义上说,这是一个重言式的陈述,但它确实提供了一个类似于命题1in KG的类比,它展示了一个构造B和X的显式公式,并表明两者实际上都存在。注意,我们使用的是∑的存在性-1上述示例和命题提出了一种解决问题的一般方法,即两种状态、两种信号实现和两种实验实现,并带有固定的混淆∑。首先,我们计算F(σ,π)的四个外部极限,如上所述。然后我们询问发送者的效用在可行集上是如何变化的,找到一个最大点后,我们利用定理3.1构造了最优实验。然后,给定一组可行的乱码,我们可以通过选择该集合中的每个后验概率来计算发送方的效用(简单地将发送方的效用绘制为后验概率的函数),找到最大似然概率,并构建产生这些概率的实验。本程序展示了如何为发件人找到最佳回复。我们可以更正式地编写这个问题及其解决方案,我们现在就这么做了。设kβ为常数,用P表示最大化程序。假设程序有解,用x表示*(σ,σ,π,κ)解。现在假设κ≤ π. 这产生了一个(第二后验信念)函数βmax(y;x)*( σ, σ, π, κ), σ, σ, π) : [0, 1] →[0,1]我们写这篇文章是为了强调,分号后面的βmaxfunction的所有参数都是参数,只有y参数在0到1之间变化。类似地,我们可以计算βmin(y;x*( σ, σ, π, κ), σ, σ, π) : [0, 1] → [0, 1]. 设Gr(βmax)和Gr(βmin)是这两个函数的图,设Co(A)是任意非空集A的凸包。然后定义F(σ,π),Co(Gr(βmax)∪ Gr(βmin);我们之所以能做到这一点,是因为我们的后验信念集是凸的(因为信息结构集是凸的,贝叶斯规则是单调的)。