赖贤伟
- 作品数:14 被引量:13H指数:2
- 供职机构:福建农林大学计算机与信息学院更多>>
- 发文基金:国家自然科学基金福建省自然科学基金更多>>
- 相关领域:自动化与计算机技术文化科学自然科学总论电子电信更多>>
- 模糊交互时态逻辑及其语义结构被引量:2
- 2008年
- Alur等人建立的交互时态逻辑(ATL*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL*)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑(FATL*),给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL*的表达力比ATL*强。
- 王秀丽宁正元胡山立赖贤伟
- 关键词:表达力
- 多Agent合作逻辑中的动作与意图被引量:2
- 2006年
- 改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和社会法律,提高了多Agent合作逻辑的灵活性和表达能力.在多Agent合作逻辑中引入信念算子和意图算子;考察了两种个体意图和两种群体意图;给出了对命题的个体意图的多子集语义,并把它拓展到对命题的群体意图的语义.
- 赖贤伟胡山立
- 关键词:意图
- 强弱例外下的交互时态逻辑
- 2008年
- 非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外。在前期关于AgentBD I逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑(ATL)进行拓展,建立非单调交互时态逻辑NATL,给出其语法和语义。是对ATL进行非单调拓展的首次有益尝试。可以考虑以之为理论工具对多Agent思维状态及其动态修正机制进行妥善刻画。
- 赖贤伟胡山立宁正元王秀丽
- 关键词:多AGENT系统非单调逻辑
- 多agent合作逻辑中的意图
- 20世纪90年代,agent界的研究者们致力于刻画理性agent的思维属性(信念、愿望和意图),其中出色的工作有Cohen的意图理论、Rao的BDI模型、Konolige和Pollack的KP模型.由于意图在保持各思维属...
- 赖贤伟胡山立
- 关键词:多AGENT合作逻辑
- 文献传递
- 多Agent系统中的逻辑与合作研究
- 赖贤伟
- 关键词:多AGENT系统时序逻辑BDI博弈论
- 多Agent合作逻辑研究进展
- 2007年
- 多Agent合作逻辑(Cooperation Logics)的研究,最近几年以来得到了广泛的关注,是一个前沿研究课题。相关研究成果琳琅满目,其中ATL/ATL*和CL/ECL等开拓性的成果更是倍受瞩目。本文从浩繁的文献中理出交互时序逻辑序列和联盟逻辑序列这两大主线,综述多Agent合作逻辑的研究进展,并对其下一步研究给予展望。
- 赖贤伟胡山立宁正元詹青青
- 关键词:多AGENT系统模态逻辑时序逻辑
- 基于分布式入侵检测的移动Agent宿主安全性研究
- 2006年
- 移动Agent技术是为解决复杂、动态、分布式智能应用而提出的一种全新的计算手段,是计算机软件技术的又一次深刻变革。学术界和工业界在对移动Agent技术的研究和应用方面都取得了可人的成果,然而其安全性还不够完善,运行移动Agent的宿主服务器可能受到恶意Agent的攻击,如窃取信息、破坏资源、过度消耗资源等[1][2][3]。本文在分析移动Agent系统安全性的基础上,提出用分布式入侵检测机制来保障移动Agent宿主服务器的安全,防止恶意Agent滥用其资源[4][5]。
- 赖贤伟胡山立
- 关键词:移动AGENT安全性入侵检测分布式
- 和谐人机交互中理性与情感Agent的理论框架
- 人机交互是实现普适计算的技术挑战之一.为了实现和谐的人机交互,本文基于多Agent技术,在人机界面Agent的理性与情感两方面做了有益探索,并给出了相应的联合理论框架。在理性方面,改进并发博弈结构,在新兴的多Agent合...
- 赖贤伟胡山立宁正元
- 关键词:人机交互人机界面情感计算多AGENT技术
- 文献传递
- 多Agent合作逻辑中的动作与意图
- 改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和...
- 赖贤伟胡山立
- 关键词:多AGENT合作逻辑
- 文献传递
- 应用型本科“数据结构”课程教学改革的研究与实践被引量:8
- 2009年
- 应用型本科课程建设是我国高等教育的薄弱环节。本文在多方位研究了应用型本科特点之后,结合长期从事应用型本科教学工作的经验和体会,重点论述了应用型本科"数据结构"课程的课程建设和教研教改问题,并简要介绍了作者所在学校的一些做法。
- 宁正元王秀丽钟一文易金聪黄思先赖贤伟
- 关键词:应用型本科数据结构课程建设教学改革