论文部分内容阅读
在文献[1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。
基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究
【摘 要】
：
在文献[1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。
【机 构】
：
海军工程大学微机中心,云南师范大学计算机科学系
【出 处】
：
武汉大学学报(信息科学版)
【发表日期】
：
2005年09期
其他文献
本人通过幼儿园开展亲子运动会之前，大班幼儿就“谁来当运动会上的护旗手？”“我们运动会上要和爸爸妈妈玩什么游戏？”“谁来当评委？”等问题进行激励讨论，教师观察后抓住了这个重
现代科学技术的进步和计算机以及信息等相关学科的快速发展,使得离散数学中的组合设计、图论、超图、网络理论以及编码设计等领域的研究内容越来越丰富、充实,同时,提出了许
2017年8月17日,全国卫生计生系统先进集体、先进工作者和劳动模范及“白求恩奖章”获得者表彰大会在北京举行。新疆医科大学附属肿瘤医院胃肠肿瘤MDT（多学科诊疗）团队荣获“全
报纸
提出了一种基于五株采样的提升算法 ,实现了一分为二的分解与重构。通过此算法可以构造非线性的形态小波变换 ,保持图像的几何信息。
利用GPS伪距与载波相位联合数据处理的方法 ,分析了 2 0 0 0年 7月 1 4日太阳耀斑爆发期间 ,武汉、北京、乌鲁木齐GPS观测数据得到的电离层TEC ,提出了利用多项式拟合计算由耀斑引起的电离层TEC增加量的方法
在现有目标识别方法的基础上 ,提出一种结合目标的特性进行分水岭变换提取目标的方法。试验结果表明 ,这种方法可以有效地从遥感影像中提取线状特征。
精准医学是集合现代科技手段,以个人基因组、蛋白质组信息为基础,应用现代分子影像学诊断技术以及生物信息学技术,对疾病进行精准分型和诊断,为病人制订最佳的疾病防治的个体
在上期内容中，笔者介绍了如何利用Flash中的遮罩效果来实现常见的水中倒影特效的制作，不知道朋友们学会了没有？本期笔者会通过一个新的实例来向大家仔细讲解一下遮罩效果在另外