【摘 要】
：
Agent和多Agent系统是分布式人工智能一个重要的研究领域.协商是多Agent系统中保证Agents间能够有效交互的最普遍、最主要的形式.该文用形式化方法构建了基于时序逻辑的协商
论文部分内容阅读
Agent和多Agent系统是分布式人工智能一个重要的研究领域.协商是多Agent系统中保证Agents间能够有效交互的最普遍、最主要的形式.该文用形式化方法构建了基于时序逻辑的协商公理体系多Agent系统模型,它是一种对多Agent系统进行交互推理的形式化模型.该模型描述了在多Agent系统中时间、Agent的能力和权力在动作选择、协商过程中的作用,以及权力在整个过程中随时间的变化和Agent执行行为不受时间的约束,它提供了对多Agent中Agent行为的说明和约束.该文首先描述了该系统的语义框架,给出了时序结构、行为、环境、Agent、协商、和TN系统的形式化定义.系统的语义是基于可达关系的可能世界语义模型.其次基于时序逻辑给出了协商推理逻辑的公理体系,并对其合理性进行了充分的阐述.同时证明了它的有效性、协商推理逻辑的可靠性、完全性、完备性和无矛盾性.然后讨论了冲突解决协商体制.最后通过具体的案例分析进一步解释了多Agent系统中Agent如何通过协商消解冲突,并提出了今后的一些研究工作.
其他文献
随着新课程教育理念的提出,在教育教学中提出了较高的要求.在小学语文教育教学中不仅要让学生学习到相关的知识,还要能够激发学生的学习兴趣,能够让学生积极主动的参与到教育
无关性作为体系结构最终目的，研究它无疑是很有意义的。 作者通过对现在广泛应用的三层体系结构和N层体系结构的分析入手，提出数据层和逻辑之间交互的模型，逻辑层和表示层之
电磁波的散射理论是数学物理中的重要理论。粗略地说,散射问题是从入射场以及波运动所满足的微分方程来研究散射场。但由于这些问题中方程的复杂性以及计算区域的某些特点(如无界性和多尺度),数值计算往往会遇到许多困难。在现代光学理论及应用中,经常要讨论周期结构介质中的电磁波散射问题。这种周期结构介质(或光栅)中的散射问题无论在理论研究上,还是在数值分析上都有许多问题需要解决。在一定假设条件下,这些问题数学上
利用广义函数正则化的方法给出一个可加函数在广义函数空间上的一般解，并且利用热方程的核给出该函数方程在缓增广义函数上的Hyers-Ulam-Rassias型稳定性，进一步推广了文献[6]
现如今，小麦的高产稳产优质研究已经成为了小麦育种家关注的热点问题。随着追求作物产量的增加，小麦的单茎穗重不断加重，然而，穗重增加的同时会使小麦茎秆的所需承受的负荷增大，从
同志们:这次全省供销合作社工作现场会很重要。全国政协副主席、中华全国供销合作总社理事会主任白立忱同志专程从北京来指导,这是对我省供销合作社工作的高度重视,也是对我
由于没有统一的行之有效的研究方法,长期以来,非线性系统的控制一直是控制领域的一个难点问题.带有不确定性的非线性组合大系统的研究尤其如此.组合系统的分散鲁棒控制一直是
格点动力系统是无穷多个常微分方程或差分方程的系统。它在人工神经网络、化学反应理论、图像处理、材料科学、电子工程、生物学等多个领域起着广泛的作用。 近年来，关于格
分形插值是拟合不规则数据的一种有效的插值方法.该方法所使用的分形插值函数是由迭代函数系产生的，其中的纵向尺度因子参数对分形插值函数的形态和性质有重要的影响.分形曲面
班主任在小学生的学习生活中影响很大,作为班主任不能忽视自己的作用,应合理应用以促进学生的学习.在以往的教育中,往往是以学生的成绩为划分教学质量的标准,这样虽然在一定