|
然后,用历史h来解释是一个G-适应的随机过程jKh∈ LTF(G)通过以下公式递归定义IE公式的结构:(1)Jm≤ mKh(t):=1{JmK(t)≤JmK(t)},(2)J k Kh:=1- J k Kh,(3)J k∧ ψKh:=JДKh∧ JψKh,(4)JKi~nKh(t):=EPh(i)(t)J k Kh(t)|Kh(i)(t),(5) JBi~nKh(t):=EPh(i)(t)J k Kh(t)|Bh(i)(t),(6) JCKG~nkh是方程的最大固定点f:(5.1)f(t)=EρEPh(·)(t)f(t)∧ J k Kh(t)|Kh(·)(t), G尽管如此,t∈ T,(7)JCBG~nkh是方程的最大固定点f:(5.2)f(T)=EρEPh(·)(t)f(t)∧ J k Kh(t)|Bh(·)(t), G尽管如此,t∈ T为了保证(5.1)的定点解的存在,让我们考虑以下过程序列fn:T×Ohm → [0,1]定义为(1)f(t)(ω):=1,(2)fn+1(t)=EρEPh(·)(t)fn(t)∧ J k Kh(t)|Kh(·)(t), G为了n∈ N然后,显然{fn}n∈[0,1]T×中的一个非递增序列Ohm. 因此,这是一个极限,很容易证明是(5.1)的最大固定点。(5.2)的存在是由同样的原因保证的。定义5.5。[ε-IE公式的有效性]让ε∈ [0, 1].(1) i,ω,t |=ε<=> EPh(i)(t)J k Kh(t)|Kh(i)(t)(ω) ≥ 1.- ε、 (2)i,ω,t |=|<=> i、 ω,t |=|。附注5.6。一般来说,我们无法证明(5.3)i,ω,t |=Kj→ 由于Kj k和Bj k的实现使用的是条件期望,而不是sup操作,因此没有一些单调性。基于信念和知识的随机跳跃13如果我们真的坚持(5.3),我们可能需要假设Ohm 是有限的,从测量理论的角度来看,这并不有趣。6.结论性意见本文的版本显然是利用信念分析随机跳跃试验的一个非常起点。我们介绍了一种语言及其模型。
|