Computer Science ›› 2016, Vol. 43 ›› Issue (7): 35-40.doi: 10.11896/j.issn.1002-137X.2016.07.005

Previous Articles     Next Articles

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

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]. 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!
Full text



No Suggested Reading articles found!