国家自然科学基金(60373079)

作品数：20被引量：41H指数：4
导出分析报告
相关作者：胡山立赖贤伟陈晓云陈莉宁正元更多>>
相关机构：福州大学中国科学院软件研究所福建农林大学福建医科大学更多>>
相关期刊：《南京大学学报（自然科学版）》《计算机应用》《福建电脑》《计算机应用研究》更多>>
相关主题：多AGENT系统AGENT多AGENT协商模型联盟更多>>
相关领域：自动化与计算机技术机械工程自然科学总论电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
个体与群体思维状态下的AOP语言
《计算机工程》2008年第18期217-219,共3页赖贤伟 胡山立 宁正元 詹青青 
国家自然科学基金资助项目(60373079,60573076);福建省自然科学基金资助项目(2006J0299,2006J0018);校青年教师科研基金资助项目(08B21)
引入群体思维状态对GOAL进行改进,建立了个体与群体思维状态下的AOP语言IG-AOP,给出其语法和操作语义。举例证明该语言的表达力比GOAL强,可以较好地满足多Agent合作求解过程的刻画与并发编程的需要,初步解决了Agent研究理论与实践脱节...
关键词：多AGENT系统 面向Agent编程 信念 目标 
交互时态信念逻辑及其模型检测被引量：3
《南京大学学报（自然科学版）》2008年第2期171-178,共8页宁正元 胡山立 赖贤伟 
国家自然科学基金(60373079,60573076);中国科学院计算机科学重点实验室开放课题基金(SYSKF0505);福建省自然科学基金(2006J0299)
交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(...
关键词：交互时态逻辑 并发博弈结构 模型检测 知识 信念 
一种基于3APL的多agent合作系统
《计算机应用研究》2008年第3期779-781,共3页林新建 胡山立 郑盛福 
国家自然科学基金资助项目(60373079,60573076)
提出了一种新的基于3APL的多agent合作系统。引入合作规划表达式给出基于扩展巴克斯范式(EB-NF)个体agent的3APL语法。利用推理规则、结构结合变换规则等概念提出新的多agent合作操作语义。并深入研究多agent合作慎思循环过程,通过例子...
关键词：3APL 合作 变换规则 合作慎思循环 
基于情感组织Agent的联盟形成研究被引量：7
《广西师范大学学报（自然科学版）》2008年第1期146-149,共4页陈莉 陈晓云 胡山立 林运国 
国家自然科学基金资助项目(60373079);福州大学校人才基金资助项目(XRC-0618)
情感Agent通过同动态环境(包括人)的交互,能够感知周围环境,自治运行以实现特定的目标,同时也能影响和改变环境。把EBDI中的情感Agent引入到组织和联盟中,提出情感因子,对形成联盟的Agent的能力贡献多少进行评估,能充分体现了动态环境...
关键词：情感组织Agent 效用 情感因子 
多Agent模糊概率信念逻辑被引量：3
《广西师范大学学报（自然科学版）》2008年第1期150-153,共4页林运国 陈晓云 胡山立 陈莉 
国家自然科学基金资助项目(60373079);福州大学校人才基金资助项目(XRC-0618)
在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1}。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,...
关键词：多AGENT系统 信念逻辑Kripke语义 广义Aumann语义 模糊概率 
模糊交互时态逻辑及其语义结构被引量：2
《广西师范大学学报（自然科学版）》2008年第1期154-157,共4页王秀丽 宁正元 胡山立 赖贤伟 
国家自然科学基金资助项目(60373079,60573076);福建省自然科学基金资助项目(2006J0299)
Alur等人建立的交互时态逻辑(ATL*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL*)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博...
关键词：交互时态逻辑 并发博弈结构 已映射模糊并发博弈结构 可能性分布 表达力 
基于遗忘理论和效用的多Agent多问题协商被引量：1
《广西师范大学学报（自然科学版）》2008年第1期162-165,共4页吴海燕 胡山立 
国家自然科学基金资助项目(60373079)
许多基于对策论的协商方法,倾向于假设Agent的效用固定不变,默认多问题之间是完全可以互相补偿的,但实际情况往往不是这样。在此提出基于遗忘理论的多问题协商,结合逻辑学和对策论的方法,达到了Agent协商逻辑理性和效用理性的平衡。在...
关键词：多AGENT系统 多问题协商 遗忘理论 决策效用 
RoboCup发展与研究综述被引量：2
《福建电脑》2006年第4期1-2,共2页卢武昌 胡山立 
国家自然科学基金资助项目(60373079)
从发展目标和比赛方式综述了RoboCup对人工智能发展中的影响力,综述了RoboCup环境特点及与MAS (Multi-Agent Systems)的关系,并提出一些可研究课题,最后,简单综述了RoboCup仿真比赛中的主要技术。
关键词：ROBOCUP 机器人足球赛 MAS AGENT 
基于改进型蚁群算法的多任务联盟形成算法被引量：1
《计算机研究与发展》2006年第z1期176-181,共6页林超峰 胡山立 郑盛福 苏射雄 
国家自然科学基金项目(60373079,60573076)
联盟形成是多Agent系统研究的关键问题之一,基于蚁群算法的联盟形成是一种有效的研究方法.创新地把能力互补性原则引入到下一个Agent的选择判断中,引导蚂蚁沿着能生成具有较大联盟值的联盟的方向前进;引入一种带有"调节剂"的扰动策略来...
关键词：多AGENT系统 联盟 蚁群算法 扰动策略 
基于规范和义务的Agent组织模型
《福建电脑》2006年第1期16-17,共2页柯有敏 胡山立 
国家自然科学基金资助项目(60373079);中科院软件研究所开放课题基金(SYSKF0505)
Agent组织是一种灵活有效的多Agent系统求解方式。Agent组织的规范和义务在Agent组织的求解过程中起着减少冲突和提高求解效率的重要作用。基于规范和义务的Agent组织模型描述了组织中规范和义务对组织成员的约束机制以及规范和义务的...
关键词：多AGENT系统 AGENT组织 规范 义务 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部