一种用描述逻辑刻画多代理系统规约的方法
支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性。
多代理系统 描述逻辑刻画 知识表示 推动代理
车海燕 孙吉贵 于海波
吉林大学计算机科学与技术学院,长春,130012 吉林大学计算机科学与技术学院,长春,130012;吉林大学符号计算与知识工程教育部重点实验室,长春,130012
国内会议
山东烟台
中文
34-40
2006-08-19（万方平台首次上网日期，不代表论文的发表时间）