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

Formal Representation of Multi-Agent System's Specification Based on Description Logics

作　　者：车海燕[1] 孙吉贵[1,2] 于海波[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]吉林大学符号计算与知识工程教育部重点实验室,长春130012

出　　处：《计算机研究与发展》2006年第z1期34-40,共7页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60473003);中国高等教育博士生计划研究基金项目(20050183065)

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

关 键 词：多代理系统 描述逻辑 知识表示 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] TP182[自动化与计算机技术—计算机科学与技术]