计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2006年
z1期
34-40
,共7页
多代理系统%描述逻辑%知识表示
多代理繫統%描述邏輯%知識錶示
다대리계통%묘술라집%지식표시
支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性.
支持模塊化的語言機製和嚴格性能夠很好地推動代理技術嚮更廣汎的、更大規模的應用髮展.硃宏等人提齣的基于模型的多代理繫統開髮方法提齣瞭符閤麵嚮Agent軟件工程思想的語言機製,如Caste和Scenario.以該方法為基礎提齣瞭基于描述邏輯的對多代理繫統的規約進行形式化刻畫和分析證明繫統屬性的方法.利用描述邏輯的彊大的錶達力刻畫多代理繫統的規約,利用其自身的推理機製對繫統屬性進行推理、證明和驗證,可以增彊基于代理繫統的嚴格性.
지지모괴화적어언궤제화엄격성능구흔호지추동대리기술향경엄범적、경대규모적응용발전.주굉등인제출적기우모형적다대리계통개발방법제출료부합면향Agent연건공정사상적어언궤제,여Caste화Scenario.이해방법위기출제출료기우묘술라집적대다대리계통적규약진행형식화각화화분석증명계통속성적방법.이용묘술라집적강대적표체력각화다대리계통적규약,이용기자신적추리궤제대계통속성진행추리、증명화험증,가이증강기우대리계통적엄격성.
