计算机科学 ›› 2016, Vol. 43 ›› Issue (7): 35-40.doi: 10.11896/j.issn.1002-137X.2016.07.005

• 2015年第二十四届全国多媒体学术会议 • 上一篇    下一篇

智能主体的等级BDI(信念、愿望和意图)模型

张晓君,林颖,周昌乐   

  1. 四川师范大学逻辑与信息研究所 成都610066;福建省仿脑智能系统重点实验室厦门大学 厦门361005,宁德师范学院 宁德 352100,福建省仿脑智能系统重点实验室厦门大学 厦门361005;厦门大学智能科学与技术系 厦门361005
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受教育部人文社会科学研究规划基金项目(13YJA72040001),国家自然科学基金项目(61273338/F030603)资助

Graded Belief-Desire-Intention (BDI) Models for Agent Architectures

ZHANG Xiao-jun, LIN Ying and ZHOU Chang-le   

  • Online:2018-12-01 Published:2018-12-01

摘要: BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一。在把无穷值的ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDIPDL+LL逻辑。为了通过概率、必然性和可能性对不确定性行为进行表示和推理,把相应的公理添加到ukasiewicz逻辑中。文中的GBDIPDL+LL主体模型使用多背景系统,清晰地表示了信念、愿望和意图的不确定性。GBDIPDL+LL主体行为则通过添加具体条件的每种背景的不同测度来决定。对信念、愿望和意图的模型进行了公理化,并说明了它们对主体行为的影响,该模型可以很轻易地向包括其他心理状态的主体进行推广。在给出了GBDIPDL+LL模型语言、语义和GBDIPDL+LL逻辑的公理和演绎规则后,证明了此逻辑系统的完全性和可靠性。之后,在对复合行动进行形式刻画的基础上,描述了GBDIPDL+LL模型的不同背景之间的关系。文章立足于不确定性的表示和推理,志在为分布式人工智能提供形式支持。

关键词: 等级BDI(信念、愿望和意图)主体,不确定性推理,背景,行动,模型

Abstract: The Belief-Desire-Intention (BDI) model is one of the most influential theories with respect to agent techno-logy.On the basis of blending the infinite-valued ukasiewicz logic and propositional dynamic logic to formulize this model,the authors proposed a GBDIPDL+LL logic in this paper.In order to represent the uncertainty behavior as a probability,necessity and possibility,the corresponding axioms were added to the ukasiewicz logic.The GBDIPDL+LLagent model in this paper explicitly represents the uncertainty of beliefs,desires and intensions by using multi-context systems,and is general enough to specify different types of agents.The GBDIPDL+LLagent’s behavior is determined by different measures of each context which is added by concrete conditions.This paper is to look for a possible axiomatic modeling of beliefs,desires and intensions,and to show how they influence the agent’s behavior.This model can also easily be extended to the people who have other mental attitudes.After presenting the language and semantics for this model,we proposed axioms and rules for the GBDIPDL+LLlogic and proved soundness and completeness.On the basis of dealing with composite action,we illustrated the relationship between/among contexts for the model.It is hoped that the present study will make contributions to uncertain representation and reasoning as well as providing a formal support for distributed artificial intelligence.

Key words: Graded belief-desire-intention (BDI) agents,Uncertain reasoning,Contexts,Actions,Models

[1] Cai Zi-xing,Xu Guang-you.Artificial intelligence:principles and applications (Fourth Edition) [M].Beijing:Tsinghua University,2010:208-209 (in Chinese) 蔡自兴,徐光佑.人工智能及其应用(第4版)[M].北京:清华大学出版社,2010:208-209
[2] Rao A,Georgeff M.Modeling rational agents within a BDI-architecture [C]∥Proc.of the 2nd International Conference on Principles of Knowledge Representation and Reasoning(KR-92).1991:473-484
[3] Rao A,Georgeff M.BDI agents:from theory to practice [C]∥Proc.of the 1st International Conference on Multi-Agents Systems.1995:312-319
[4] Zhang Xiao-jun,Hao Yi-jiang.Studies on CharacterizingAgents’ Behavior based on Action Logics [J].Journal of Chongqing University of Technology (Social Science),2013(1):13-18 (in Chinese) 张晓君,郝一江.基于行动逻辑的智能主体行为表征研究[J].重庆理工大学学报(社会科学版),2013(1):13-18
[5] Lincoln N K,Veres S M.Natural language programming of complex robotic BDI agents [J].Journal Intelligent Robot Systems,2013,17(2):211-230
[6] Liu Gang,et al.Forming mechanism of BDI agent based on activity and its application [J].Journal of Central South University (Science and Technology),2009,40(9):25-28 (in Chinese) 刘刚,等.基于活动的BDI主体形成机制及其应用[J].中南大学学报(自然科学版),2009,40(9):25-28
[7] Chen Zhong-xiang.Theoretical and Technical Research on the CGF Behavioral Modeling Based on BDI Agent [D].Wuhan:Huazhong University of Science and Technology,2004(in Chinese) 陈中祥.基于BDI Agent的CGF主体行为建模理论与技术研究[D].武汉:华中科技大学,2004
[8] Zhang Xiao-jun,et al.Graded BDI models for agent architectures based on ukasiewicz logic and propositional dynamic logic[M]∥Lecture Notes in Computer Science 7529.Springer,2012:439-450
[9] Zhang Xiao-jun.Modeling emotional agents based on graded BDI architectures [M]∥ Network Computing and Information Security.Springer,2012:606-616
[10] Zhang Xiao-jun.Graded BDI logic:a flexible logic about beha-vioral characterization [J].Philosophical Trends,2013(1):102-107 (in Chinese) 张晓君.等级BDI逻辑:关于行为表征的柔性逻辑[J].哲学动态,2013(1):102-107
[11] Busetta P,et al.A reliable computational model for BDI agent [C]∥ 1st International Workshop on Safe Agents.2003:1-10
[12] Hernández A G,et al.Learning in BDI multi-agent systems [C]∥Computational Logic in Multi-Agent Systems,Springer,2004:218-233
[13] Casali A,et al.G-BDI:A Graded Intensional Agent Model for Practical Reasoning [M]∥ Modeling Decisions for Artifical Intelligence.LNAI5861,2009:5-猲琰攼癢慲 ̄???慛樱攴歝?偂?割敤慩獮潩渠楒渠杈?慈拼潢畮瑥?瀠牊漠扆愮扂楄汉椠瑡楧敥獮?甠獰楲湯杧?晡畭穭穩祮?氠潩杮椠捡?孥?嵴?买敥畡牫愠汵?乩敮瑧眠潊牡歳?坮漠牛汃摝?㈠ぐひは??づ??????????扴牨????孥??嵡??橮敡歬?偗??慫瑳桨敯浰愠瑯楮挠獃?潭晰??畡穴穩祯??潬朠楌捯?孩?崠??氠畍睵敬牴??????扴爠????孥??崮??慲物敮汧????漰稰收渺???吭椱甶爴礼湢????礊湛愱洵楝挠??潳杷楡捣?孥?嵡?呄栠敖???吠偡牬攮獄獥??ぬはば?扥牮????嬠??嵳??潡汮摴扩汣愠瑭瑵?剴??潡杧楥据獴?潢晡?瑥楤洠敩?慴湥摬?捩潧浥灮畴琠慥瑴楨潩湣?孬?嵷??敬湴瑨攠牭?普潡牧?瑭桥敮?匠瑰畬摡祮?潥晲??慊畝朮畉慮杴敥?慮湡摴??湮晡潬爠浊慯瑵楲潮湡?ㄠ????扯牭????孲?ご嵨??桲慹朠牡潮癤???婧慩歮桥慥牲祩慮獧挬栲攰瘱′???漶搩愺永??漭朸椷挹嬼?嵲??氊愊牛攱渶摝漠湃偡牳敡獬獩??????扡牬????扥牬?ng travel assistant agents:a graded BDI approach [M]∥Artificial Intelligence in Theory and Practice.2006:415-424
[17] Santi A.Programming robots with an agent-oriented BDI-based control architecture:explorations using the JaCa and webots platforms[EB/OL].(2012-12-26)[2013-08-15].http://www.amslaurea.unibo.it/4803/1/ mordenti_andrea_tesi.pdf
[18] Cohen P R,Levesque H.Teamwork[J].Nos,1991,24(4):487-512
[19] van Linder B,et al.Actions that make you change you mind[M]∥KI-95:Advances in Artificial Intelligence.Springer Berlin Heidelberg,1995:103-146
[20] Pereira D,Oliveria E,Moreira N.Formal modeling of emotions in BDI agents[M]∥Computational Logic in Multi-Agent Systems.Springer,2008:62-81
[21] Casali A,Godo L,Sierra C.Graded BDI models for agent architecture [M]∥Computational Logic in Multi-agent Systems.Springer,2005:126-143
[22] Lang J,van der Torre L,Weydert E.Hidden Uncertainty in the logical representation of desires [C]∥International Joint Conference on Artificial Intelligence.Acapulco,Mexico,2003:685-690
[23] Schut M,Wooldridge M,Parsons S.Reasoning about intentions in uncertain domains symbolic and quantitative approaches to reasoning with uncertainty[C]∥Proc.of 6th ECSQARU 2001.2001:84-95
[24] Casali A,Godo L,Sierra C.A graded BDI agent model to represent and reason about preferences [J].Artificial Intelligence,Elsevier,2011,175(7/8):1468-1478
[25] Parsons S,Jennings N J,Sabater J,et al.Agent specification using multi-context systems [M]∥Foundations and Applications of Multi-Agent Systems 2002.2002:205-226
[26] Godo L,E
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!