全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

情感等级BDI主体模型研究

, PP. 615-622

Keywords: 情感等级BDI主体,情感状态,不确定性推理

Full-Text   Cite this paper   Add to My Lib

Abstract:

信念、愿望和意图(BDI)模型是近年来影响最为深远的主体技术之一。文中把命题动态逻辑和无穷值的ukasiewicz逻辑进行融合后对情感等级BDI主体模型进行了形式化。为通过信念度、愿望度、意图度、害怕度、焦虑度和自信度对不确定性行为进行表示和推理,把相应的公理添加到ukasiewicz逻辑中。文中的情感等级BDI主体模型的行为是通过添加具体条件的每种背景的不同测度来决定,清晰地表示主体的心理状态和情感状态的不确定性。文中对情感等级BDI模型进行公理化,并说明它们对主体行为的影响。此模型可较轻易地向包括其它心理状态和情感状态的主体进行推广。文中在给出情感等级BDI模型的语言、语义及公理和演绎规则后,证明此逻辑系统的可靠性和完全性。随后给出情感等级BDI主体模型的不同背景之间的相互关系,并对该主体的买房行动进行实例分析。本研究立足于不确定性的表示和推理,旨在为分布式人工智能提供形式支持。

References

[1]  Cai Zixing,Xu Guangyou. Artificial Intelligence: Principles and Applications. 4th Edition. Beijing,Chinese: Tsinghua University Press,2010: 208-209 (in Chinese)(蔡自兴,徐光佑.人工智能及其应用.第4版.北京:清华大学出版社,2010: 208-209)
[2]  Steunebrink B R,Dastani M,Meyer J J C. A Formal Model of Emotion Triggers: An Approach for BDI Agents. Synthese,2011,185(1): 83-129
[3]  Liu Gang,Zheng Li,Sun Yuanyun,et al. Forming Mechanism of BDI Agent Based on Activity and Its Application. Journal of Central South University: Science and Technology,2009,40(S1): 25-28 (in Chinese)(刘 刚,郑 力,孙远远,等.基于活动的BDI主体形成机制及应用.中南大学学报:自然科学版,2009,40(S1): 25-28)
[4]  Chen Zhongxiang. Theoretical and Technical Research on the CGF Behavioral Modeling Based on BDI Agent. Ph.D Dissertation. Wuhan,China: Huazhong University of Science and Technology,2004 (in Chinese)(陈中祥.基于BDI Agent的CGF主体行为建模理论与技术研究.博士论文.武汉,中国:华中科技大学,2004)
[5]  Meyer J J C. Reasoning about Emotional Agents // Proc of the 16th European Conference on Artificial Intelligence. Amsterdam,Netherlands,2004: 129-133
[6]  Pereira D,Oliveira E,Moreira N. Modeling Emotional BDI Agents // Proc of the Workshop on Formal Approaches to MultiAgent Systems. Riva Del Garda, Italy,2006: 1-13
[7]  Pereira D,Oliveria E,Moreira N. Formal Modeling of Emotions in BDI Agents // Sadri F,Satoh K,eds. Computational Logic in Multi Agent Systems. Berlin,Germany: Springer Verlag,2008: 62-81
[8]  Rao A S,Georgeff M P. Modeling Rational Agents within a BDIArchitecture // Proc of the 2nd International Conference on Principles of Knowledge Representation and Reasoning. Cambridge,USA,1991: 473-484
[9]  Rao A S,Georgeff M P. Decision Procedures for BDI Logics. Journal of Logic and Computation,1998,8(3): 293-342
[10]  Van der Hoek W,Van Linder B,Meyer J J. On Agents That Have the Ability to Choose. Studia Logica,2000,66(1): 79-119
[11]  Casali A,Godo L,Sierra C. Graded BDI Models for Agent Architectures // Proc of the 5th International Workshop on Compu tational Logic in Multi Agent Systems. Lisbon,Portugal,2005: 126-143
[12]  Zhang Xiaojun,Jiang Min,Zhou Changle,et al.Graded BDI Models for Agent Architectures Based on ukasiewicz Logic and Propositional Dynamic Logic // Proc of the International Conference on Web Information Systems and Mining. Chengdu,China,2012,439-50
[13]  Harel D,Kozen D,Tiuryn J. Dynamic Logic. Cambridge,USA: The MIT Press,2000: 163-173
[14]  Hájek P. Mathematics of Fuzzy Logic. Dordrecht,Netherlands: Kluwer Academic Publishers,1998: 63-79
[15]  Blackburn P,de Rijke M,de Venema Y. Modal Logic. Cambridge,UK: Cambridge University Press,2002: 46-49
[16]  Liau C J. Belief,Information Acquisition and Trust in Multiagent Systems A Modal Logic Formulation. Artificial Intelligence,2003 149(1): 31-60

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133