期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

Formal Representation of Multi-Agent System's Specification Based on Description Logics
下载PDF
导出
摘要 支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性.
作者 车海燕 孙吉贵 于海波
机构地区 吉林大学计算机科学与技术学院 吉林大学符号计算与知识工程教育部重点实验室
出处 《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期34-40,共7页 Journal of Computer Research and Development
基金 国家自然科学基金项目(60473003) 中国高等教育博士生计划研究基金项目(20050183065)
关键词 多代理系统 描述逻辑 知识表示
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论] TP182 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献20

  • 1[1]N Jennings,M Wooldridge.Agent Technology:Foundations,Applications and Markets[M].Berlin:Springer-Verlag,1998
  • 2[2]K H Dam,M Winikoff.Comparing Agent-oriented methodologies[C].In:Proc of the 5th Int'l Bi-Conference Workshop on Agent-Oriented Information Systems.Berlin:Springer-Verlag,2003
  • 3[3]F Zambonelli,N R Jennings,M Wooldridge.Developing multiagent systems:The Gaia methodology[J].ACM Trans on Software Engineering and Methodology,2003,12(3):317-370
  • 4[4]P Bresciani,P Giorgini,F Giunchiglia,et al.TROPOS:An agent-oriented software development methodology[J].Autonomous Agents and Multi-Agent Systems,2004,8(3):203-236
  • 5[5]H Zhu.SLABS:A formal specification language for agent-based systems[J].Software Engineering and Knowledge Engineering,2001,11(5):529-558
  • 6[6]H Zhu,L Shan.Caste-centric modeling of multi-agent systems:The CAMLE modeling language and automated tools[G].Model-Driven Software Development-Volume II of Research and Practice in Software Engineering.Heidelberg:Springer-Verlag,2005.57-89
  • 7[7]J Wang,R Shen,H Zhu.Agent oriented programming based on SLABS[C].In:Proc of the 29th Annual Int'l Computer Software and Applications Conf.Los Alamitos:IEEE Computer Society Press,2005.127-132
  • 8[8]H Zhu.The role of Caste in formal specification of MAS[C].In:Proc of the 4th Pacific Rim Int'l Workshop on Multi-Agents:Specification,Modeling,and Applications.Berlin:Springer-Verlag,2001.1-15
  • 9[9]Diego Calvanese,Maurizio Lenzerini,Daniele Nardi.A unified framework for class based representation formalisms[C].In:Proc of the 4th Int'l Conf on the Principles of Knowledge Representation and Reasoning.San Francisco:Morgan Kaufmann Publishers,1994.109-120
  • 10[10]Diego Calvanese,Maurizio Lenzerini,Daniele Nardi.Unifying class-based representation formalisms[J].Artificial Intelligence Research,1999,11(2):199-240

二级参考文献15

  • 1Berners-Lee T, Hendler J, Lassila O. The semanticWeb. Scientific American, 2001, 284(5): 34-43
  • 2http://www.w3.org/TR/daml+oil-reference
  • 3http://www.w3.org/TR/owl-ref/
  • 4Horrocks I. DAML+OIL: A description logic for the semantic web. Bull of the IEEE Computer Society Technical Committee on Data Engineering, 2002, 25(1): 4-9
  • 5Horrocks I, Peter F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In: Fensel D, Sycara D, Mylopoulos D, ed. Proc of the 2003 International Semantic Web Conference (ISWC 2003), Berlin: Springer, 2003. 17～29
  • 6Baader F, Horrocks I, Sattler U. Description logics as ontology languages for the semantic web. In: Dieter Hutter and Werner Stephan, ed. Festschrift in honor of J?rg Siekmann, Berlin: Springer, 2003
  • 7McIlraith S, Son T C, Zeng H. Semantic web services. IEEE Intelligent Systems, Special Issue on the Semantic Web, 2001, 16(2): 46-53
  • 8Baader F, et al. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2002
  • 9Lutz C, Sattler U. A Proposal for Describing Services with DLs. In: Horrocks, Tessaris S, ed. Proceedings of the 2002 International Workshop on Description Logics, Aachen : CEUR-WS, 2002. 129-140
  • 10Wolter F, Zakharyaschev M. Dynamic description logic. In Segerberg K, et al, ed. Advances in Modal Logic, Vol 2. Stanford: CSLI Publications, 2000. 449-463

共引文献70

计算机研究与发展
2006年 第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部