应用型本科“数据结构”课程教学改革的研究与实践

应用型本科课程建设是我国高等教育的薄弱环节。本文在多方位研究了应用型本科特点之后,结合长期从事应用型本科教学工作的经验和体会,重点论述了应用型本科"数据结构"课程的课程建设和教研教改问题,并简要介绍了作者所在学校的一些做法。     

多Agent合作逻辑研究进展

多Agent合作逻辑(Cooperation Logics)的研究,最近几年以来得到了广泛的关注,是一个前沿研究课题。相关研究成果琳琅满目,其中ATL/ATL*和CL/ECL等开拓性的成果更是倍受瞩目。本文从浩繁的文献中理出交互时序逻辑序列和联盟逻辑序列这两大主线,综述多Agent合作逻辑的研究进展,并对其下一步研究给予展望。     

多Agent合作逻辑中的动作与意图

改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和社会法律,提高了多Agent合作逻辑的灵活性和表达能力.在多Agent合作逻辑中引入信念算子和意图算子;考察了两种个体意图和两种群体意图;给出了对命题的个体意图的多子集语义,并把它拓展到对命题的群体意图的语义.     

个体与群体思维状态下的AOP语言

引入群体思维状态对GOAL进行改进,建立了个体与群体思维状态下的AOP语言IG-AOP,给出其语法和操作语义。举例证明该语言的表达力比GOAL强,可以较好地满足多Agent合作求解过程的刻画与并发编程的需要,初步解决了Agent研究理论与实践脱节的问题。     

基于分布式入侵检测的移动Agent宿主安全性研究

移动Agent技术是为解决复杂、动态、分布式智能应用而提出的一种全新的计算手段。是计算机软件技术的又一次深刻变革。学术界和工业界在对移动Agent技术的研究和应用方面都取得了可人的成果．然而其安全性还不够完善,运行移动Agent的宿主服务器可能受到恶意Agent的攻击,如窃取信息、破坏资源、过度消耗资源等[1][2][3]。本文在分析移动Agent系统安全性的基础上,提出用分布式入侵检测机制来保障移动Agent宿主服务器的安全。防止恶意Agent滥用其资源[4][S]。     

强弱例外下的交互时态逻辑

非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外。在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑(ATL)进行拓展,建立非单调交互时态逻辑NATL,给出其语法和语义。是对ATL进行非单调拓展的首次有益尝试。可以考虑以之为理论工具对多Agent思维状态及其动态修正机制进行妥善刻画。