交互时态逻辑下的三种模糊信念算子

来源 :海南师范大学学报(自然科学版) | 被引量 : 0次 | 上传用户：QIANNENGWUXIAN

【摘要】

：

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子，没有探讨它们的模糊语义问题，利用可信度函数给出模糊并发博弈结构，以模态算子的形式在ATL的语法层面给出了三

【作者】

：

赖贤伟胡山立宁正元王秀丽

【机构】

：

福建农林大学计算机科学与技术系,福州大学计算机科学与技术系

【出处】

：

海南师范大学学报(自然科学版)

【发表日期】

：

2008年4期

【关键词】

：

交互时态逻辑并发博弈结构信念 alternating-time temporal logic concurrent game structures beli

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子，没有探讨它们的模糊语义问题，利用可信度函数给出模糊并发博弈结构，以模态算子的形式在ATL的语法层面给出了三种模糊信念算子，在模糊并发博弈结构下给出其语义，建立了模糊交互时态信念逻辑FATBL，使得ATBL成为FATBL的特殊情况，对Agent认知形式化作了进一步探索，为多Agent系统研究提供了一个较好的形式化工具.

其他文献

荧光法研究茶碱与牛血清白蛋白的相互作用

应用荧光和紫外光谱法研究了茶碱（TH）与牛血清白蛋白（BSA）相互作用的光谱特性.测定了TH与BSA在10℃、28℃和40℃温度下的结合常数KA分别为1.96×104L/mol、3.80×10^4L/m

期刊

茶碱牛血清白蛋白荧光光谱法紫外光谱静态猝灭Theophylline Bovine Serum Albumin Fluorescence Ultravi

湿陷性地区管道地基处理的探讨

管道输送作为常用运输方式,其铺设对地质条件、设计、施工管道有着不同的技术要求。结合实际探讨了湿陷性黄土地区地基处理的几种方法以及灰土及砂垫层处理法。

期刊

湿陷性黄土管道地基处理方法

抛物线插补算法研究与数控加工编程

基于逐点比较法的思想,推导出了抛物线的插补算法.并编制了直线、圆弧和抛物线的轨迹程序.文中最后给出了仿真轨迹,表明该算法被较好的应用到数控加工编程中.

期刊