一种支持自治计算的基于可废止逻辑的柔性Agent
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant No.60773177(国家自然科学基金);the China Postdoctoral Science Foundation under Grant No.20060400316(中国博士后科学基金);the National Social Science Foundation of China under Grant No.04BZX045(国家社会科学基金)


A Defeasible Logic-Based Flexible Agent for Autonomic Computing
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [24]
  • |
  • 相似文献 [20]
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    以自治计算的研究为背景,利用可废止逻辑理论的非单调知识表征和推理机制,提出一种能够动态接受规则变更、灵活处理实时发生的规则冲突,并进行高效的非单调推理的柔性Agent模型.这种Agent既是自主的,又是可控的,而且可以在开放、动态的环境中通过合同与其他Agent进行协同工作.

    Abstract:

    In the context of autonomic computing, by taking advantage of the non-monotonic knowledge representation and reasoning mechanisms of defeasible logic, a flexible Agent model is proposed, which is capable of accepting the real-time rule modifications, flexibly handling the run-time rule conflicts, and providing efficient non-monotonic reasoning functions. The flexible agent is both autonomous and controllable, and is able to cooperate with other Agents via contracts in an open and dynamic environment.

    参考文献
    [1]Jennings NR.On agent-based software engineering.Artificial Intelligence,2000,117(2):277-296.
    [2]Lü J,Tao XP,Ma XX,Hu H,Xu F,Cao C.A study of agent-based interaetware model.Science in China(Series E),2005,35(12):1233-1253(in Chinese with English abstract).
    [3]Gao J,Yuan CX,Wang J.SASA5:A method system for supporting agent social activities.Chinese Journal of Computers,2005,28(5):838-848(in Chinese with English abstract).
    [4]Ran AS,Georgeff M.BDI agents:Prom theory to practice.In:Georgeff MP,ed.Proc.of the 1st Int'l Conf.on Multi-Agent Systems(ICMAS'95).San Francisco:ACM Press,1995.312-319.
    [5]Kephart JO,Chess DM.The vision of autonomic computing.IEEE Computer,2003,36(1):41-50.
    [6]Bonino D,Bosca A,Corno F.An agent based autonomic semantic platform.In:Kephart J,Parashar M,eds.Proc.of the Int'l Conf.on Autonomic Computing.New York:IEEE Computer Society,2004.189-196.
    [7]Tesauro G,Chess DM,Walsh WE,Das R Segal A,Whalley I,Kephart JO,White SR.A multi-agent systems approach to autonomic computing.In:Sierra C,Sonenberg L,eds.Proc.of the 3th Int'l Conf.on Autonomous Agents and Multi-Agent Systems.New York:IEEE Computer Society,2004.464-471.
    [8]Zhang HJ,Shi ZZ.Software engineering for autonomic computing.Mini-Miero Systems,2006,27(6):1077-1082(in Chinese with English abstract).
    [9]Lian BS,Gao J.Dynamic self-organizing system supported by PDC-agent.Journal of Computer-Aided Design & Computer Graphics,2006,18(2):217-224(in Chinese with English abstract).
    [10]Liao BS,Huang HX,Gao L An extended BDI agent with policies and contracts.In:Shi ZZ,Sadananda R,eds.Proc.of the Agent Computing and Multi-Agent Systems.LNAI 4088,Berlin,Herdelberg:Springer-Verlag,2006.94-104.
    [11]Liao BS,Gan J.A model of multi-agent system based on policies and contracts.In:Pěchoucek M,Petta P,Varga LZ,eds.Proc.of the Multi-Agent Systems and Applications IV.LNAI 3690,Berlin,Herdelberg:Springer-Verlag,2005.62-71.
    [12]Liao BS.Scrvice-Oriented autonamic computing based on PDC-agent[Ph.D.Thesis].Hangzhou:Zhejiang University,2006(in Chinese with English abstract).
    [13]Lian BS,Gao J,Hu J,Chen JJ.Ontology-Based conceptual modeling of policy-driven control framework:oriented to multi-agent system for Web services management.In:Chi CH,Lam KY,eds.Proc.of the Content Computing.LNCS 3309,Berlin,Herdelberg:Springer-Verlag,2004.346-356.
    [14]Dastani M,Governatori G,Rotolo A,van der Torte L.Programming cognitive agents in defensible logic.In:Sutcliffe G,Voronkov A,eds.Proc.of the LPAR 2005.LNAI 3835,Berlin,Herdelberg:Springer-Verlag,2005.621-636.
    [15]Lu RQ.Artificial Intelligence.Beijing:Science Press,2000.617-659(in Chinese).
    [16]Nute D.Defeasible logic.In:Bartenstein O,et al.,eds.Proc.of the INAP 2001.LNAI 2543,Berlin,Herdelberg:Springer-Verlag,2003.151-169.
    [17]Cadoli M,Schaerf M.A survey on complexity results for non-monotonic logics.Journal of Logic Programming,1993,17:127-160.
    [18]Maher MJ.Efficient defeasible reasoning systems.Int'l Journal on Artificial Intelligence Tools,2001,10(4):384-392.
    [19]Antoniou G,Billingto D.Representation results for defeasible logic.ACM Trans.on Computational Logic,2001,2(2):255-287.
    [20]Billington D,Antonion G,Governatori G,Maher M.Revising nonmonotonic theories:The case of defeasible logic.In:Burgard W,Christaller T,Cremers AB,eds.Advances in Artificial Intelligence.LNCS 1701,Berlin,Herdelberg:Springer-Verlag,1999.101-112.
    [21]Broersen J,Dastani M,Hulstijn J,van der Tone LWN.Goal generation in the BOID architecture.Cognitive Science Quarterly,2002,2(3-4):428-447.
    [22]Ma GW,Xu JH,Shi CY.Modeling social agents in BDO logic.Chinese Journal of Computers,2001,24(5):521-528(in Chinese with English abstract).
    [23]Dignum F,Morley D,Sonenberg E,Cavendon L.Towards socially sophisticated BDI agents.In:Durfee EH,ed.Proc.of the 4th Int'l Conf.on Multi-Agent Systems.Washington:IEEE Computer Society,2000.111-118.
    [24]Boella G,van der Torre L.Regulative and constitutive norms in normative multiagent systems.In:Dubois D,Welty CA,eds.Proc.of the 9th Int'l Conf.on the Principles of Knowledge Representation and Reasoning(KR 2004).Whistler:AAAI Press,2004.255-265.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

廖备水,黄华新,高 济.一种支持自治计算的基于可废止逻辑的柔性Agent.软件学报,2008,19(3):605-620

复制
分享
文章指标
  • 点击次数:5362
  • 下载次数: 5872
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2006-11-26
  • 最后修改日期:2007-01-24
文章二维码
您是第19939905位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号