交互时态信念逻辑及其模型检测

交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

反应式系统的并发模型（Ⅳ）——时态逻辑模型

基于文（１￣３）,提出反应式系统并发描述的时态逻辑模型,并给出抽象计算模型的时态语义。     

时态逻辑与并发程序

分别阐述了基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架的命题线性时态逻辑ＰＬＴＬ和基于共享变量方式的并发程序（转换图）模型,并给出该模型与转换系统之间的对应关系;将时态逻辑与公平转移系统ＦＴＳ相结合来描述并发程序及其性质（公平性、安全性及活性）;指出了时态逻辑具备其它形式化方法（ＦＳＭ、Ｐｅｔｒｉ网）所没有的一些优势。     

具有退货政策的制造-零售供应链最优策略

研究实行退货政策的制造-零售供应链系统的协调问题.对于单一制造商与单一零售商,首先建立起一个市场需求量为零售价格线性减函数的基于Stackelberg博弈框架的可退货供应链博弈模型,并对其进行了合作与非合作博弈的最优决策分析.基于带有退货政策的报童模型,建立起市场需求量受随机干扰的可退货的供应链博弈模型,并研究其系统协调问题,给出了制造商和零售商在非合作博弈时各自达到最优利润的最优决策和在合作博弈时系统利润达到最优的最优决策.最后,分析采取退货政策的条件,给出了它的有效域.     

基于模糊集的模糊时态映射模型

为了使时态数据库对客观世界更符合实际抽象描述,提出了用模糊测度分析模糊时态数据的隶属度,基于模糊集理论建立了模糊时态映射模型,实现测度模糊值向离散时态区间的映射.建立的模糊时态关系模型进行传统概念扩展,对事件的模糊时态信息作测度分析,抽取和元组离散时间对应的事件模糊值,向离散时态区间作映射,在模糊时态数据库概念层使模糊数据和时态凸区间实现原子对应.该理论弥补了现有时态数据库不能处理模糊时态信息的缺陷,扩展了模糊时态数据库处理模糊事件的能力.     

n人非合作博弈弱Nash均衡点的存在性

根据Nash均衡的定义,也即是局中人单独改变自己的策略不能使自己支付更大这一结论,提出了一种新的均衡,其思想是局中人通过改变自己的策略的确可以增加自己的支付,但是由于局中人改变策略会产生成本这一事实,当成本高于或等于增加的支付时使得局中人没有改变自己的策略。基于这样的事实背景,在博弈模型中引入了局中人的成本函数,重新建立了n人非合作博弈模型,以及n人非合作广义博弈模型,并给出了弱Nash均衡点的定义,在此基础上研究博弈模型中弱Nash均衡点的存在性;通过定义最优回应映射,应用相关引理证明最优回应映射是usco的、非空的、凸的;通过Fan-Glicksberg不动点定理证明了n人非合作博弈,以及n人非合作广义博弈弱Nash均衡点的存在性。     

具有模糊联盟值的n人合作博弈的模糊Shapley值

利用模糊集表现定理对具有模糊联盟值的n人合作博弈的模糊Shapley值重新进行研究.定义了具有模糊联盟值的n人合作博弈的α-博弈,并给出了其Shapley值定义及表达式.通过研究所有α-博弈的Shapley值之间的关系,验证了所有α-博弈的Shapley值构成一个集合套.利用模糊集表现定理和α-博弈Shapley值,定义了具有模糊联盟值的n人合作博弈的模糊Shapley值.实例研究表明,具有模糊联盟值的n人合作博弈的模糊Shapley值的有效性.     

并发Lambek演算在时态查询中的语义转换

 为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lambek演算（L_CTQ）及其范畴语法用以作时态查询的句法分析。根据L_CTQ演算构造相应的L_CTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。     

基于时间区间关系的时态模糊描述逻辑研究

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语法和语义.该逻辑形成的系统增强了不精确知识的时态关系的表达能力.     

一种模糊时空描述逻辑F-ALCT(D_(fst))

为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(D_(fst)).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域D_(fst),给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将D_(fst)和时态操作符引入到模糊描述逻辑FuzzyALC中,构建出一种新的模糊描述逻辑F-ALCT(D_(fst)),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(D_(fst))的知识库实例.F-ALCT(D_(fst))有效地实现了语义Web中模糊时空知识的表示.