【摘 要】
:
针对多智能体系统(MAS)中执行决策的非确定性问题,研究结合时态/模态逻辑及机会发现理论,引入基于Kripke结构的复合逻辑Lk,用于Agent的知识系统(全局知识、局部知识)及机会发现的
【机 构】
:
西南民族大学计算机科学与技术学院,中国科学院成都计算机应用研究所
【基金项目】
:
四川省科技攻关计划基金资助项目(07GG006-014), 中央高校基本业务费专项基金资助项目(09NZYZJ02)
论文部分内容阅读
针对多智能体系统(MAS)中执行决策的非确定性问题,研究结合时态/模态逻辑及机会发现理论,引入基于Kripke结构的复合逻辑Lk,用于Agent的知识系统(全局知识、局部知识)及机会发现的形式化描述,为实现动态并发环境中MAS的系统协作行为建模及自动决策推理提供依据。给出Lk的结构及语义,证明了Lk的可判定性,且计算可在多项式级时间复杂度内实现。
其他文献
首先介绍了基片集成波导(SIW)这一新技术,并用表面电流理论解释了电磁波在SIW中的传输模式。同时,通过使用凹型过渡和接地共面波导过渡两种转换方式,解决了基片集成波导与微带
白内障超声乳化术是一种先进的眼科手术技术,术者利用超声仪器震荡将患者白内障粉碎乳化后吸出后植入人工晶体。该术式切口小,患者消费低,患者术后发生散光的可能性小,而且在最短
女子拳击运动是一项对抗性极强的运动.为了保护女子运动员的身心健康,根据女子生理特征和拳击运动项目的特点,对所选材料进行力学测试,经过对女子拳击运动员的身体形态的调查
摘要:本文主要讨论Windows下内核级进程的监控与管理,并实现一个具有实际意义的进程管理系统,使用了MD5文件校验方法、建立了自动处理进程事件规则库、使用内核级钩子监控木马病毒、采用主动式进程管理、被动式进程管理等新方法、新技术和新手段来保护系统。 关键词:木马病毒;被动式进程管理;主动式进程管理 中图分类号:TP393 文献标识码:A 文章编号:1007-9599 (2011) 23
多校区教育管理系统能大大降低多校区大学的运行成本,提高工作效率;该系统中各部门之间的协同合作显得尤为重要,本文主要对其中较核心的非对称加密和数字签名技术进行了探讨。
【摘 要】在我国的学校设置中,中职学校教学,可以说是我国学校教学体系中比较特殊的一个环节。在中职学校教育教学中,主要是针对社会的需要,从而对学生展开一定的专业知识教学。为把学生培养成为专业性知识人才,而开设的学校教育。因此,本文将立足中职烹饪专业教学现状的基础上,浅谈中职烹饪专业《烹饪营养与卫生》课程的教学优化。 【关键词】中职教学;烹饪营养与卫生;教学优化 【中图分类号】TS972-4;G7
【正】有读者反映,当遇到"蚂蚁走路"问题时,往往无从下手,望题兴叹.其实,只要我们利用转化思想,借助"展平法"和"对称变换",把它转化为平面
宪法实施方式有着不同的形式,对不同实施方式做针对性研究,在研究的过程中,发现了宪法实施中,会面临着不同的问题。为此,想要更加有效的将宪法的实施过程中存在问题解决掉,必
【摘 要】合唱作为小学音乐课堂教学的主要内容,需要引起教师们的广泛关注。提高合唱教学的有效性,对于学生德智体美全面发展目标的实现来说可以起到一定的促进作用,当然,更利于基础教育现代化进程的加快,促进着我国整体教育水平的持续增长。音乐课堂的合唱教学讲究方式方法,看重时机选择,因此,培养学生的浓厚兴趣,调动他们主动探究的积极性显得至关重要,本文简要总结了几项音乐合唱教学的有效策略。 【关键词】小学音
【摘要】小学语文课文中留有不少“空白点”,它能引发读者的想象,激活思维,对作品的意义达到个性化的理解。在教学中,教师可以采用抓住标点符号、利用课文插图、推敲重点词句、延续文章结尾等策略开展教学,提升学生的言语表达力,丰盈学生的内心感染,进而提高阅读教学效果。 【关键词】小学语文 阅读教学 空白 补白 【中图分类号】G623.2 【文献标识码】A 【文章编号】2095-3089(2018)03-