智能主体的信念认知时态子结构逻辑模型

1、智能主体的信念认知时态子构造逻辑模型智能主体的信念认知时态子构造逻辑模型 智能主体的信念认知时态子构造逻辑模型智能主体的信念认知时态子构造逻辑模型 文章来自摘 要:智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描绘及刻画,两种途径缺一不可,但当前的BDI理论模型中较多地为他省系统,没有做到两者相结合。其次,在当前的许多理论模型中,通常使用的是二值逻辑、经典模态逻辑或其变形系统,使得相应的逻辑系统普遍存在逻辑全知和粗精度刻画等问题。针对上述问题进展了讨论,采用了认知时态子构造逻辑建模的方法,表达了智能

2、主体获得“双省信念的方式,针对其建立了相应的逻辑系统BSoET。关键词:智能主体;信念;自省;他省;认知时态子构造逻辑0 引言 尽管BDI或类BDI模型已成为研究智能主体理论模型的主要工具,但这些模型仍普遍存在下述的一些问题:a)主体理论模型中普遍存在逻辑全知(logic omniscience)1。b)重视主体间知识交互,而轻视主体内部知识或状态。c)由经典模态逻辑或二值逻辑引起的理论模型对真实世界的刻画粗精度。基于此,本文针对上述问题进展了相关研究,并将研究工作聚焦于智能主体的信念,针对其作出了相关逻辑模型。考虑到对于愿望和意图,不同的应用和应用观对其有不同的看法和定义,因此本文并未进展深

3、化研究,只着重刻画了认知和决策的关键,即信念。1 智能主体信念的形成与表示1.1 智能主体信念的形成及其问题无论是BDI模型还是其他的智能主体的理论模型,对于信念的形成与表示都是建模的根底。但是在当前的许多理论模型中,对信念的形成存在一定的问题。例如,作为经典的模型,在Rao等人4的模型中,在建模时虽使用到时态逻辑模型及其技巧,但仅考虑到系统的将来状态,而不关注过去的认知。实际上,造成类似的问题主要在于其对信念(知识)的获取仅考虑与外部主体进展交互,而轻视了主体在过去的知识。事实上,作为一个智能主体,其获取信念(知识)的途径主要有两种:a)他省(extrospectiveness),即通过外界

4、交互,从其他主体中获取信息;b)自省(introspectiveness),即通过自己的历史数据库获取相关知识的信息。因此,对于主体信念的描绘与刻画,两种途径缺一不可。在当前研究中,表达他省的BDI模型较多,却较少带自省功能的模型。但从时态数据库、时态知识库的角度看,智能主体的知识也是一个随着时间轴向前推进的历史数据库序列H=(H?0,H?n,Hn+1,),在不同的阶段有不同的知识集,这些知识集对当前信念的建立影响宏大,自省不可无视。因此,在逻辑建模中,必须表达他省和自省,并处理其间的各类知识冲突。考虑到主体理论模型中普遍存在逻辑全知的问题,这也主要是因为相关模型使用了经典模态逻辑(或相关变形

5、系统)、二值逻辑导致的结果。逻辑全知问题主要包括两个方面:a)一个主体假设知道一个命题,那么它知道它所知道的命题的全部逻辑后承。b)一个主体知道所有的真理(重言式)。造成问题a)是因为理论模型采用了形如经典模态逻辑中的K公理式的内定理。造成问题b)的主要原因有两点:第一点是因为理论模型采用了形如经典模态逻辑中的RN规那么式的规那么造成;第二点是在计算科学,尤其是在机群协同工作下的智能主体的认知过程不应存在所谓的“重言式形式的内定理,所有公式的成立与否都应采用构造性证明进展论证,而非传统的二值逻辑形式及其粗精度刻画。 基于上述问题,本文提出了相应的解决方法。首先,主体的信念必须与他省和自省相结合

6、。详细表达在不仅重视交互,而且重视历史数据。由此在表意上,可以使用Bel(k)=KH表示主体k在当前时刻具有信念。其中:K表示“知道算子,表达了他省;H仍使用时态逻辑中的标记意义,表示“在此之前一直(不包括当前时间),表达了自省,只有当他省和自省都为“必然时,知识才能成为信念。其次,要解决逻辑全知与非构造性语义的粗精度刻画问题,一种可行的方式是使用子构造逻辑(substructural logics)。根据子构造逻辑的构造性证明,能有效防止上述问题,并可通过构造规那么的增删,修改传统Hilbert风格的逻辑演算所固留的诸如单调性、收缩性等弊病,以增加系统的可计算性。据此,可建立相应的认知时态子

7、构造逻辑系统。鉴于其表示了智能主体的信念,同时采用的是认知逻辑、时态逻辑和子构造演算的综合解决方法,本文将新的系统称为BSoET系统,意为substructural logic of epistemic and temporality in belief。在下一部分,将对系统作详细介绍。2 BSoET及其Gentzen系统2.1 可能世界与可达关系首先考虑到系统需要做到他省和自省,必须对认知的可能世界与可达关系作出定义,这种定义是针对框架的(frame)。定义1 他省框架。一个他省框架是一个二元组?F=T,R?e。其中:T为时间构造的集合,对于每一个T?iT,T?i表示一个时间构造;R?e为时

8、间构造间的一个自反和传递的可达?关系。直观上,对于每一个T?iT,T?i表示一个智能主体。这是考虑到每个智能主体都有一个历史数据库,可以用T?i表示历史数据库(H?0,H?n,Hn+1,)的集合。在拓扑形式上,可将T?i理解为一个时间轴,轴上的点表示了主体在该时刻上的历史数据。由此,能进一步定义自省框架。定义2 自省框架。一个自省框架是一个二元组T=T,R?t。其中:T为时间点的集合,R?t为一个时间点间的一个传递可达关系。 定义3 他省且自省框架。一个他省且自省框架为一个三元组F=T,R?e,R?t。其中:T为时间点的集合;R?e为一个自反和传递的可达关系;R?t为一个传递可达关系。其示意如

9、图1所示。直观上T上的点通过R?t关系,构成各条时间轴,每条时间轴代表一个主体(及其历史数据库),表示了自省关系;不同轴的同一时刻的时间点通过R?e,构成了他省关系。另一方面,作为他省关系,R?e为一个自反和传递的可达关系对于传统BDI模型的认知可达关系是一般的;而作为自省关系,R?t不能具有自反性。在直观上,人的自省总是反省过去,对于如今是无法反省的,而作为他省关系的R?e的自反性,那么主要表达了主体对自我知识集的认知,因此需要保存。在没有详细解释框架语义之前,针对R?e和R?t关系,分别用模态算子?和对应它们类似于经典模态逻辑的必然关系,并由此用?来表示一个主体有信念,假设这个主体是k,可以将其简记为Bel(k)=?。2.2 Gentzen系统据上,本文将对他省和自省框架构造子构造演算系统,为表达子构造演算特点,在此用Gentzen风格的演算系统(由德国人Gentzen 1934年在其博士毕业论文中提出的一种逻辑演算,国内也翻译为相继式演算,但更多直译为Gentzen演算,在该演算中分为构造规那么和运算规那么,运算规那么又分为左规那么和右规那么,是有别于Hilbert风格的自然演绎方法的构造性逻辑演算方法,主要用于证明论)来构造BSoET,系统如下:公理:A?A构造