一个多Agent系统规范——MAS／KIB

北京邮电大学学报 ›› 2000, Vol. 23 ›› Issue (2): 14-18.

一个多Agent系统规范——MAS／KIB

胡舜耕,钟义信

北京邮电大学信息工程系, 北京100876

收稿日期:1999-01-14 出版日期:2000-03-10
作者简介:胡舜耕(1964-),男,湖南湘潭人,博士生.
基金资助:
国家自然科学基金资助项目(69982001)

MAS/KIB——a Multiagent System Specification

HU Shun-geng, ZHONG Yi-xin

Department of Information Engineering, Beijing University of Posts and Telecommunications, Beijing 100876,China

Received:1999-01-14 Online:2000-03-10

摘要/Abstract

摘要： 采用K(知道),B(相信),I(意愿)等几个基本的心智状态,建立了一个多Agent系统逻辑规范—MAS／KIB,讨论了其语法、模型和语义,给出了公理和推理规则,研究了MAS／KIB的一些基本性质.

关键词: 规范, 多Agent系统, 语法

Abstract: MAS/KIB——a multiagent system specification is built using mental states such as K(Know), B(Belief), and I(Intention), its grammar and semanteme are discussed, axioms and inference rules are given, some properties are researched. MAS/KIB has following characteristics: (1)Each agent has own world view; (2)No global data in the system; (3) Processes of state changes are used as indexes to systems; (4)It has the characteristics of not only time series logic but also dynamic logic; (5)Interactive actions are included.

Key words: specification, multiagent system, grammar

中图分类号:

TP18

胡舜耕,钟义信. 一个多Agent系统规范——MAS／KIB[J]. 北京邮电大学学报, 2000, 23(2): 14-18.

HU Shun-geng, ZHONG Yi-xin. MAS/KIB——a Multiagent System Specification[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2000, 23(2): 14-18.

[1]	薛大为, 王永, 高康凯. 基于规范分解的证据合成悖论分析[J]. 北京邮电大学学报, 2019, 42(1): 28-34.
[2]	杨洁, 周献中. 基于语义和语法的Web服务检索方法[J]. 北京邮电大学学报, 2015, 38(6): 49-54.
[3]	张钊唐文温巧燕. 一种基于长度语义约束的报文格式挖掘方法[J]. 北京邮电大学学报, 2012, 35(6): 55-59.
[4]	李小勇,周锋,杨旭东，倪晖. 多Agent系统中信任预测的SRL模型[J]. 北京邮电大学学报, 2010, 33(6): 112-115.
[5]	刘建毅1,2, 王菁华1, 王枞1. 领域语义语法的统计生成[J]. 北京邮电大学学报, 2006, 29(s2): 75-78.
[6]	张奕奎，孟洛明，邱雪松. 基于SLA的IP DiffServ网络的业务实现机制[J]. 北京邮电大学学报, 2006, 29(6): 103-106.
[7]	李虎, 金茂忠, 刘超, 许福. 利用基本文法改写模式解决语法分析冲突[J]. 北京邮电大学学报, 2006, 29(3): 86-90.
[8]	郭强，王文东，阙喜戎. 基于SLS的业务服务质量监测机制[J]. 北京邮电大学学报, 2006, 29(1): 92-95.
[9]	魏铁军,陈俊亮. 交互式多媒体表现的同步规范方法^*[J]. 北京邮电大学学报, 1998, 21(1): 29-34.