![](https://csdnimg.cn/release/download_crawler_static/88626685/bg4.jpg)
G. Aucher et al. /Electronic Notes in Theoretical Computer Science 278
(
2011
)
17
其中,
p
×
n
的范围
超过
Φ
×
=
{
p
×
n
且
j
over
A g
t
.
在
文献
[ 5 ]
中
,
L
×
W
被
引入
.
其次
,对于L
×的
模
,都用
引号
×
来 表 示 , 而 对 于
L ×的模,则不一样
。
语言L ×
的
真值
条件
与
语言
L的真值条件相同
。 L
∈
M
×
是
一个
L
×
-
模型 ,
w
×
∈
M
×
,
φ
×
∈
L
×
.
M
×
,
w
×
|
=
φ
×
的
定义如下:
M
×
,
w
×
|
=
p
×
i
w
×
∈
V
×
(
p
×
)
M
×
,
w
×
|
=
<$
φ
×
i
≠
M
×
,
w
×
|
=
φ
×
M
×
,
w
×
|
=
φ
×
×
i
M
×
,
w
×
|
=
φ
×
和
M
×
,
w
×
|
=
×
M
×
,
w
×
|
=
Bj
φ
×
i,
对于
所有
v
×
∈
Rj
(
w
×
),
M
×
,
v
×
|
=
φ
×
2.3
按事件更新初始情况:产品更新
一个
×
-模型导出了一个前提函数的定义。可能事件w
×
的前提条件Pre(w
×
)对应于
应该为真的性质 在一个L-模型的世界w上,使得可能的事件w
×
可以
在这个世界
w
中
“
物理地
”
发生
。
条件
函数
Pr
e
:
W
×
→ L
i
由
L
×
-
模型
M
×
导出
=
(
W
×
,
R
×
,
V
×
)
定义
如
下:
P
re
(
W
×
)
=
P
如果
存在
p
×
∞
,
使得
M
×
,
W
×
|
=
p
×
n
;
P
r
e
(
w
×
)
=
T
,
否则。
然后,我们在
[ 4 ]
的
BMS
产品更新设置中等效地重新定义
如下
。
设
(
M
,
w
)
=
(
W
,
R
,
V
,
w
)
是
一个L
×
-
模型,
(
M
×
,
w
×
)
=
(
W
×
,
R
×
,
V
×
,
w
×
)
是
一个
L
×
-模
型,
满足
M
,
w
|
=
P
r
e
(
w
×
)。 (
M
,
w
)
和
(
M
×
,
w
×
)
的生成日期是有限
L
-
模型
(
M×
M
×
,
(
w
,
w
×
))
=
(
W
,
R
,
V
,
(w
,
w)),定义如下:
•
W
=
{
(
v
,
v
×
)
∈
W
×
W
×
|
M
,
v
|
=
P
r
e
(
v
×
)
}
,
•
R
j
<$
(
v
,
v
×
)
=
{
(
u
,
u
×
)
∈
W
<$
|
u
∈
R
j
(
v
)
and
d
u
×
∈
R
j
×
(
v
×
)
}
,
•
V
(
p
)
=
{(
v
,
v
×
)∈
W
|M
,
v
|
= p
}。
本文
给出
了一个
新
的
L
-
模型
(
M
,
w
)
→
(
M
×
,
w ×
),
它描述了在
y
(
M ×
,
w ×
)
所代表的
事件发生之后,年龄
n
如何感知先前由(
M
,
w
)
所代表的新情况
.
2.4
我们的
DEL
序列
设
φ
、
φ
××
和
φ
× ×
。我们定义逻辑结果关系
φ
,
φ
×
φ
××
、
φ
、
φ
××
2
φ
×
和
φ
×
、
φ
××
3
φ如下。第二种和第三种关系可分别用于认知规划和目标回归
φ
,
φ
×
φ
××
i
∈
L ×
-
模
del
(
M
×
,
w
×
),
且
L
×
-
模
del
(
M
×
,
w
×
)
满足
M
,
w
|
=
P
r
e
(
w
×
),
M
,
w
|
=
φ
和
M
×
,
w
×
|
=
φ
×
,则(
M
,
w
)
<$
(
M
×
,
w
×
)
|
=
φ
××
φ
、
φ
××
2
φ
×
i
∈
L
-
模
(
M
,
w
)
,
(
M
× ×
,
w
× ×
)
,
使得
M
,
w
|
=
φ
和
M
× ×
,
w
××
|
=
φ
× ×
,
若
(
M
×
,
w
×
)
是
L
×
-
模
上一个点,
则
M
,
w
|
=
Pr
e
(
w
×
)
an
d
(
M
,
w
)
<$
(
M
×
,
w
×
)
与
(
M
× ×
,
w
× ×
)双相似,
则
M
×
,
w
×
|
=
φ
×