一种用描述逻辑刻画多代理系统规约的方法

• 作者: 于海波 孙吉贵 车海燕
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 多代理系统 描述逻辑 知识表示
• 年，卷（期）: 2006,（z1）
• 所属期刊栏目: Agent形式模型
• 页码范围: 34-40
• 页数: 7页
• 分类号: TP311.5|TP182
• 字数: 5208字
• 语种: 中文

摘要

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学与技术学院	134	2984	21.0	52.0
5	于海波	吉林大学计算机科学与技术学院	13	102	6.0	10.0
6	车海燕	吉林大学计算机科学与技术学院	8	102	4.0	8.0