基于访问、感知和知道的多Agent系统形式化模型

来源 :计算机工程 | 被引量 : 0次 | 上传用户:a0p5c115f6e
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了基于VSK-AF逻辑的多Agent系统形式化模型.VSK-AF逻辑是模态认知模型的扩展,它表示并且区分外部环境与Agents环境中客观真实的和可访问的信息、环境中可访问的和Agents感知到的信息以及Agents感知到的和知道的信息.在给出了该逻辑的语义模型和公理体系后,研究了模态算子之间的关系并将其对应到VSK-AF系统所具备的特性上.最后总结并讨论了进一步的研究工作.
其他文献
一、《无公害食品芹菜》(NY5091—2002)标准的探讨1.《无公害食品芹菜))(NYS091—2002)
与 COADS 表面强迫的高决定的海洋的 GCM 的模拟在 1945 期间调节~ 1993 与北方太平洋怎么对强迫的表面作出回应的卓见被分析。特别与 1976/1977 政体联系的那些在北方太平洋
美国加利福尼亚的巨杉,长得又高又胖,是树木中的“巨人”,所以又名“世界爷”。这种树一般高100米左右,其中最高的一棵有142米,直径12米,树干周长为37米,需要二十来个成年人才能抱住
空间信息的本质特征是区域空间上的分布性,可以根据行政区划、自然地理区域、坐标系统、地名、地址或数码(邮政编码、电话号码)来识别它们.该文阐述了地理编码数据库在空间信
作为数字地球重要支撑技术之一的地理信息元数据技术随着信息技术的飞速发展显得越来越重要。该文对现有的典型地理信息元数据内容和标准以及实现系统进行了分析和综合比较,然后对地理信息元数据内容与标准的制订、地理信息元数据系统的建设提出了一点思考,希望能够对相关的研究有所启发。
近日,广东省和国家环保总局联合编制的《珠江三角洲环境保护规划》(以下简称《规划》)出版,中共中央政治局委员、广东省委书记张德江作序,要求各级党委、政府切实提高对环保规划管
当PKI技术应用于企业或政府信息化时,它必须与其它业务系统集成.采用与业务系统相一致的关系型数据库,有利于不同系统的集成.当CA系统采用关系型数据库和浏览器/Web应用服务
以贝叶斯概率和贝叶斯网络基本理论为基础,主要研究了贝叶斯网络的结构学习和使用贝叶斯网络进行知识发现和决策支持的方法.利用WILD算法对防洪数据进行了属性离散化,采用K2
dimethylsulfide (数据管理系统) 和由海洋的 microalgae 的 dimethylsulfoniopropionate (DMSP ) 的生产被调查在全球 biogeochemical 硫周期在海洋空气相互作用在海洋的浮
面对大量网络攻击事件,自动入侵响应系统能够在入侵发生后主动采取措施阻击入侵的延续和降低系统的损失,保护受害系统.该文给出了自动入侵响应的结构和简单分类,分析了基于自