福建农林大学计算机与信息学院计算机科学与技术系
- 作品数:5 被引量:6H指数:2
- 相关机构:福州大学数学与计算机科学学院福州大学数学与计算机科学学院计算机科学系更多>>
- 发文基金:国家自然科学基金福建省自然科学基金更多>>
- 相关领域:自动化与计算机技术轻工技术与工程更多>>
- 多Agent合作逻辑中的动作与意图被引量:2
- 2006年
- 改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和社会法律,提高了多Agent合作逻辑的灵活性和表达能力.在多Agent合作逻辑中引入信念算子和意图算子;考察了两种个体意图和两种群体意图;给出了对命题的个体意图的多子集语义,并把它拓展到对命题的群体意图的语义.
- 赖贤伟胡山立
- 关键词:意图
- 多Agent合作逻辑中的动作与意图
- 改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和...
- 赖贤伟胡山立
- 关键词:多AGENT合作逻辑
- 文献传递
- 交互时态信念逻辑及其模型检测被引量:4
- 2008年
- 交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.
- 宁正元胡山立赖贤伟
- 关键词:知识信念
- AutoCAD曲线的坐标变换和最值求取被引量:2
- 2001年
- 给出了AutoCAD环境下的木工成型铣刀CAD系统中 ,用户输入的工件截形曲线通过坐标变换生成木工成型铣刀前刀面截形曲线的方法 。
- 潘晓文
- 关键词:AUTOCAD样条曲线
- 交互时态逻辑下的三种模糊信念算子
- 2008年
- 前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.
- 赖贤伟胡山立宁正元王秀丽
- 关键词:信念