人工智能中理性分析
【网学提醒】：本文主要为网上学习者提供人工智能中理性分析，希望对需要人工智能中理性分析网友有所帮助，学习一下吧!
资料包括： 论文(69页38943字) 图纸
说明：
摘要
理性被认为是人的一种重要的常识能力，体现于人的行为处事及其心智状态的所有方面。理性的研究一直都是哲学、认知科学和人工智能中的热点。本文研究了人的常识能力中的理性特点，主要内容包括：
1、总结了认知科学中对理性的研究，包括对人类理性和一般理性的研究。我们还对目前人工智能中Agent理性的研究进行了分析。目前人工智能中Agent理性的研究都采用一种意向观点，即将Agent视为一个由信念、愿望、希望、承诺等思维状态组成的意识系统，Agent理性主要体现在根据这些思维状态的动态平衡来实现自己自主理性的行为能力。我们主要分析了人工智能中逻辑理性的研究。逻辑理性的核心问题是如何消除逻辑全知问题。我们分析了许多有代表性的工作在解决这个问题中取得的结果和存在的不足。
2、阐述了利益逻辑的研究概况，主要介绍了在引入利益算子L后构造的理性逻辑分析系统RL，以及基于个人利益和社会利益的道德理性Agent社会。
3、在此基础上，我们提出了自己的理性分析时序逻辑系统RTL，并且证明了它的可靠性、完备性和一致性。在RTL系统中，我们保留了利益算子并且引入了希望算子H代替Agent研究中通常使用的意图算子I以简化RTL系统，方便我们进一步的研究工作；我们定义了RTL系统的语法、语义、公理系统和推理规则；我们证明了RTL系统的可靠性、完备性和一致性。
4、我们注意到利益的时效性（一项活动所产生的利益是在多长时间内有效的）在人的理性行为中的重要性。因此，我们在已引入的利益算子L的基础上，提出了强长期利益算子LP和弱长期利益算子LF，并据此构造了理性分析逻辑系统RTL+。我们给出并证明了理性分析逻辑系统的一系列定理。在RTL+系统的基础上，我们引进了关于长期利益的协调性公理，得到了RTL++系统。
5、在RTL++系统的的基础上，我们重新讨论了道德理性Agent，并且考虑了在长期利益基础上的个人利益和社会利益，通过分析希望算子和个人利益、社会利益的关系，重新提出了道德理性Agent的概念，并对道德理性Agent进行了划分，讨论了长期利益和社会利益之间的关系。
ABSTRACT
Rationality is considered as one of the important human commonsense abilities shown in our everyday behaviors and prepositional attitudes. Rationality has always been a hot topic of research in philosophy, cognitive science and AI. In this paper, rationality in human commonsense ability is studied primarily as follows:
1.Research on rationality in cognitive science is synthesized, including human rationality and generic rationality. Research on agent rationality in AI is analyzed . “Intentional stance” is adopted in current research, which views agent as an intentional system made up of the prepositional attitudes including Belief, Desire, Intention and Commitment, etc. Agent rationality is shown when it acts individually and rationally according to the dynamic balance among these prepositional attitudes. Logical rationality in AI is our focus and its core problem is how to eliminate logical omniscience. A lot of representative works in this aspect are investigated and their results and drawbacks are analyzed.
2.Research on interest logic is introduced in this paper. The interest operator L is introduced to the rational logic system RL and the society made up of
moral rational agents.
3.Rationality analysis logic RTL is proposed based on our investigation. We also proved the reliability，completeness，consistence。We adopt the interest operator L from RL system. We introduce the Hope operator H instead of Intention operator I and Desire operator D. The introduction of H can simplify the complexity of the further research; We define the syntax, semantics, axioms and inference rules of RTL; The reliablity，completeness，consistence of the system RTL are also proved in this paper.
4.We have noticed the importance of the period of validity of interest shown in agent rational behaviors. Therefore, two new interest operator LP(strong long-term interest) and LF (weak long-term interest) are introduced and accordingly rationality analysis logic RTL+ is constructed based on RTL. Theorems of RTL+ are given and proved. Based on our above work, we get new system RTL++ through add new axioms.
5.Based onlong-term interest, we analysis the moral rational agent. The long-term interest is decomposed into two different parts, individual interest and social interest. The concept of moral rational agent is proposed and moral rational agents are systemically classified according to the relations among hope, individual interest and social interest. Five types of moral rational agents are defined and their characteristics and mutual relations are given and proved. We also talked about the relation of social interest and long-term interest.
The advantages and drawbacks of our work are analyzed, and our future work is investigated at the end of the paper.
目录：
摘要3
ABSTRACT4
第一章：一般理性逻辑研究综述5
1．理性的提出5
2Agent和理性研究6
2．1 人工智能的研究目标6
2．2Agent研究的意义6
2．3Agent研究中的一些基本概念7
2．4 理性Agent研究现状9
2．4．1Bratman提出的BDI理论9
2．4．2 Rao 和Georgeff的BDI模型9
2．4．3 Konolige和Pollack的模型11
2．4．4Morley关于多Agent语义及环境的研究12
2．4．5BDI逻辑的纤维化(Fibring)语义13
2．4．6Lamma和Pereira的基于三值逻辑的Agent学习模型15
2．4．7Moore关于知识与动作的研究15
2．4．8Wooldridge的模型16
2．5 AI中理性研究的分析16
第二章：利益逻辑研究概况17
1．理性与利益关系的研究17
1．1计算市场模型17
1．2基于对策论的协商模型17
2．理性分析逻辑系统RL18
3．道德理性Agent20
4．基于利益的理性逻辑系统RL的分析22
第三章：RTL逻辑及其一致性和完备性23
1．RTL的语法23
2．RTL的语义23
3．RTL的公理系统24
4．RTL的可靠性26
5．RTL的一致性27
6．替换原理28
7．RTL的完备性30
8．RTL的定理32
9．关于利益算子和希望算子的一点说明33
第四章：RTL+系统和RTL++系统34
1．RTL+系统34
1．1长期利益算子：34
1．2希望的理性约束:34
1．3RTL+系统34
2．RTL+系统的性质34
2．1关于算子B、H、L的K定理35
2．2长期利益关于、的定理35
2．3长期利益的分解、合并定理36
2．4关于同分解和合并的定理37
2．5关于同分解和合并的定理37
2．6关于同合并的定理38
2．7关于同合并的定理38
2．8关于、同律的定理39
2．9长期利益的协调律43
2．10 关于同协调律的定理43
2．11 关于同协调律的定理44
2．12 关于、和等价律的定理45
2．13 关于、同结合律的定理48
2．14 关于长期利益等价性的一些定理48
3．RTL++系统49
4．RTL++的性质49
第五章：关于理性逻辑的讨论50
1．基于利益的理性Agent50
1．1 Ti型理性Agent系统之间的关系50
1．2 五种基本的理性Agent之间的关系和性质54
2．基于RTL++系统的道德理性Agent54
2．1 基于当前利益的道德理性Agent55
2．2基于弱长期利益的道德理性Agent56
2．3基于强长期利益的道德理性Agent59
2．4RTL++系统中的个人利益和社会利益59
3道德理性Agent社会60
3．1由一类道德理性Agent构成的社会60
3．2由两类道德理性Agent构成的社会62
3．3由多类道德理性Agent构成的社会63
第六章：结束语65
致谢66
参考文献67
参考文献：
1 [Bratman 1987] Bratman M E., Intentions Plans and Practical Reason， Cambridge MA: Hardvard University Press, 1987 .
2[Bratman 1988] Bratman M.E., Israel D.I., Pollack M.E.， Plans and resource-bounded practical reasoning， Computer Intelligence, 1988,4:349~355。
3[Cohen 1990]Cohen P R, Levesque H J., Intention is choice with Commitment，Artificial Intelligence, 1990, 42(3):213~261。
4[Dongha 1995]Dongha P.， Toward a Formal Model of Commitment for Resource Bounded Agents， In: M.J.Wooldridge, N.R.Jennings eds. Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages. Berlin: Springer, 1995.86~101。
5[Gaspar 1995]Gaspar G.,Coelho H.， Where Do Intentions Come From?: A Framework for Goals and Intentions Adoption, Derivation and Evolution， In: C.P.Ferreira, N.J.Mamede eds. Progress in Artificial Intelligence,7th Portuguese Conference on Artificial Intelligence, EPIA’95, Proceedings. Berlin: Springer, 1995. 115~128。
6[Jennings 1999]Jennings N R. ，Agent-Based Computing: Promise and Perils，In: IJCAI99.1999.1429~1436。
7[Rao 1991a]Rao A.S.,Georgeff M. P. ，Modeling Rational Agents within a BDI-architecture，In: J.Allen,R.Fikes,E.Sandewall eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference (KR91).California: Morgan Kaufmann Publishers, 1991.473~484。
8[Shoham 1993]Shoham Y.，Agent-Oriented Programming， Artificial Intelligence, 1993:51~92。
9[Konolige 1993]Konolige K, Pollack M E.，A Respresentationalist Theory of Intention， In: Bajcsy R ed. Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. California: Morgan Kaufmann Publishers, 1993. 390~395。
10[Reichgelt 1989] Han Reichgelt, Logics for Reasoning about Knowledge and Belief, The Knowledge Engineering Review. Vol 2,1989 p 119-139。
11[Pollock 1998] John L.，Pollock Rationality in Philosohpy and Artificial Intelligence。
12[Georgeff 1998] Michael Georgeff, Barney Pell, Marhha Pollack, Milind Tambe, Michael Wooldridge The Belief-Desire-Intention Model of Agency。
13[Schild 1998]Klaus Schild， On the Relationship between BDI Logic and Standard Logics of Concurrency。
14[Wobcke 1996] Wayne Wobcke Plans and the Revision of Intentions In Reading of Agents。
15[Wooldridge 1995a] Wooldridge M, Jennings N.R.，Intelligent Agents: theory and practice，The Knowledge Engineering Review,1995,10(2):115~152。
16[Weiss 1993] Weiss G，Learning to Coordinate Actions in Multiagent Systems，In: IJCAI93.1993.311~316。
17[Singh 1994] Singh M. P.，Multiagent systems: A theoretical Framework for Intentions, Know-how, and Communication， Berlin: Spring-Verlag,1994。
18[singh 1992] Singh M. P.，A critical examination of the Cohen-Levesque theory of intention，In: ECAI-92.1992.364~368。
19[Sandholm 1997] Sandholm T. and Lesser V.R.， Coalitions among Computationally Bounded Agents, Artificial Intelligence, 1997, 94:99~137。
20[Rao 1995] Rao A.S., Georgeff M.P.，The Semantics of Intention Maintenance for Rational Agents, In: Mellish C S ed. Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. California:Morgan Kaufmann Publishers.1995.704~710.
21[Rao 1991] Rao A.S., Georgeff M.P., Asymmetry thesis and side-effect problems in linear time and braching time intention logics, In: PIJCAI91.1991.498~50
22[Burkhard 1993] Burkhard H.D., Liveness and Fairness Properties in Muti-agent Systems, In:IJCAI-93.1993.325~330.
23[Gmytrasiewicz 1993] Gmytrasiewicz P.J., Durfee E.H., Elements of Utilitarian Theory of Knowledge and Action, In: IJCAI-93.1993.396~402.
24[Glaser 1997] Glaser N., Morignot P., The reorganization of societies of autonomous agents, In: Mulit-agent rationality. LNAI 1237. Springer, 1997.98~111.
25[Gelder Ross and Schlipf 1991] A.Van Gelder, K.A.Ross and J.S.Schlipf, The well-founded semantics for general logic programs, Journal of the ACM,38(3):620-650,1991.
26[Morley and Sonenber 1996] D.N.Morley and E.A.Sonenber, A logic for concurrent events and action failure. In Norman Foo and Randy Goebel ,editions, Topics in Artificial Intelligence,Proceeding of the 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI’96),Lecture Notes in Artificial Intelligence, Volun 1114, pages 483-494, Cairns, Australia, August 1996.Springer-Verlag.
27[Morley 1996] D.N.Morley, Semantics of BDI Agents and their Environment.
28[Gabby 1996] Dov M.Gabbay, Fibred semantics and the weaving of logic I: Modal and intuitionistic logic, Journal of Symbolic Logic,61:1057-1120,1996.
29[Gabby 1998] Dov M.Gabbay, Fibring Logic, Oxford University Press 1998.
30[Governatori Padmanbhan Sattar 2002] Guido Governatori, Vineer Padmanbhan Abdul Sattar, On Fibring Semantics for BDI logic Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September,23-26, Proceedings.
31[Catach 1988] L.Catach. Normal Multimodal logics, In proc. National Conference on AI(AAAI-88), pages 491-495,1988.
32[陆汝钤 1999] 陆汝钤等, 《面向Agent的常识知识库》。
33[陆汝钤 1995] 陆汝钤， 《人工智能》 上册， 1995 科学出版社。
34[陆汝钤 1996] 陆汝钤， 《人工智能》 下册， 1996科学出版社。
35[陆汝钤 1999] 陆汝钤、姬广峰， 《关于常识的研究》， 知识工程和知识科学 1999。
36[陆钟万 1989] 《面向计算机的数理逻辑》 2002， 北京大学出版社。
37[王元元 1989] 王元元 《计算机科学中的逻辑学》 1989 科学出版社。
38[史忠植 1998] 史忠植 《高级人工智能》 1998 科学出版社。
39[石纯一 1998] 石纯一等 《多智能体思维状态研究文集》 1998 清华大学计算机系材料。
40[林作铨 1992] 林作铨 戴汝为《纯粹理性批判与人工智能》 计算机科学 1992： 1~7。
41[徐晋晖 1999] 徐晋晖，石纯一 《一种基于信念、期望、希望和效用的社会承诺机制》， 软件学报， 1999 第10卷 第8期。
42[马光伟 1999] 马光伟，徐晋晖，石纯一 《Agent思维状态模型》， 软件学报， 1999 第10卷 第4期。
43[徐晋晖 2000] 徐晋晖 《Agent模型与联盟机制研究》，2000，清华大学博士论文。
44[马光伟 2000] 马光伟 《多Agent系统的社会性研究》，2000清华大学博士论文。
46 [胡三立 1999]胡三立 石纯一 《Agent 形式化研究的逻辑工具》 计算机科学， 1999 第26卷。
47 [姬广峰 2000] 姬广峰《常识中理性特性的研究》2000 中科院数学所硕士生学位论文。
作者点评：
本文以模态逻辑的S4系统为基础通过引入B（信念）、H（希望）、L（利益）算子建立了一个基于利益的理性逻辑系统RTL，并证明了RTL的可靠性、完备性和一致性。在此基础上，我们提出了强长期利益算子LP和弱长期利益LF，并通过增加对H和L算子的约束条件，得到了增强的RTL+系统和RTL++系统。最后我们利用RTL++系统分析了道德理性Agent，并且探讨了道德理性Agent之间的相互关系。与以前的工作相比，我们的工作具有以下几个特点：
1.我们的理性是建立在利益分析的基础上。我们特别强调利益在人的理性行为中的重要性。
2.在语义上，我们将B、H、L算子都定义为从可能世界到某个特定布尔域的映射，从而避免了将信念算子B、希望算子H和利益算子L定义为模态算子所造成的缺陷。
3.我们证明了RTL系统的可靠性、完备性和一致性。为以后进一步的讨论奠定了基础。
4.我们考虑到了利益的时效性，注意到了时间对于Agent理性选择的影响，引入了两种长期利益算子――强长期利益算子和弱长期利益算子。我们还讨论了分别着重于长期利益和当前利益的Agent的性质和它们之间的关系。
5.我们分别讨论了RTL++系统中希望同个人利益和社会利益之间的关系，这里的利益既包括长期利益又包括当前利益，并且定义了基于RTL++系统的道德理性Agent，并探讨了它们之间的关系。
6.我们探讨了基于RTL++系统的多道德理性Agent组成的社会，并分析了社会中各Agent之间的相互关系和可能存在的合作关系。
当然，我们的工作还存在着一些问题：
1．我们只引入了H（希望）算子来替代通常的D（愿望）和I（意图算子），这样虽然减少了Agent的状态，简化了讨论，但是也使得RTL系统的表达能力受到了影响，所以在进一步的工作中我们应该考虑引入愿望算子和意图算子以增加RTL系统的表达能力。
2．在定义L、H算子时候，为了能够证明RTL系统的可靠性和完备性，我们引入了H()H()H()这样的公理，但是这与现实情况有所不符。我们打算在进一步的工作中解决这个问题。
我们进一步的工作包括：
1．解决上面提到的两个问题。
2．考虑采用纤维化的技术，利用不同的逻辑系统来区别利益算子和BDI算子的语义，因为与BDI等用来描述Agent意向的算子不同，利益算子更多的是对客观世界的描述。
3．考虑采用模糊逻辑来定义利益算子的语义。增强利益算子的表达能力。
4．Agent的合作和竞争也有一定的时效性，在现实世界中，基于当前利益的合作和基于长远利益的竞争同时存在的情况十分普遍，因此可以在当前利益和长远利益的基础上进一步讨论多Agent系统中Agent之间的合作和竞争。
资料包括： 论文(69页38943字) 图纸
说明：
摘要
理性被认为是人的一种重要的常识能力，体现于人的行为处事及其心智状态的所有方面。理性的研究一直都是哲学、认知科学和人工智能中的热点。本文研究了人的常识能力中的理性特点，主要内容包括：
1、总结了认知科学中对理性的研究，包括对人类理性和一般理性的研究。我们还对目前人工智能中Agent理性的研究进行了分析。目前人工智能中Agent理性的研究都采用一种意向观点，即将Agent视为一个由信念、愿望、希望、承诺等思维状态组成的意识系统，Agent理性主要体现在根据这些思维状态的动态平衡来实现自己自主理性的行为能力。我们主要分析了人工智能中逻辑理性的研究。逻辑理性的核心问题是如何消除逻辑全知问题。我们分析了许多有代表性的工作在解决这个问题中取得的结果和存在的不足。
2、阐述了利益逻辑的研究概况，主要介绍了在引入利益算子L后构造的理性逻辑分析系统RL，以及基于个人利益和社会利益的道德理性Agent社会。
3、在此基础上，我们提出了自己的理性分析时序逻辑系统RTL，并且证明了它的可靠性、完备性和一致性。在RTL系统中，我们保留了利益算子并且引入了希望算子H代替Agent研究中通常使用的意图算子I以简化RTL系统，方便我们进一步的研究工作；我们定义了RTL系统的语法、语义、公理系统和推理规则；我们证明了RTL系统的可靠性、完备性和一致性。
4、我们注意到利益的时效性（一项活动所产生的利益是在多长时间内有效的）在人的理性行为中的重要性。因此，我们在已引入的利益算子L的基础上，提出了强长期利益算子LP和弱长期利益算子LF，并据此构造了理性分析逻辑系统RTL+。我们给出并证明了理性分析逻辑系统的一系列定理。在RTL+系统的基础上，我们引进了关于长期利益的协调性公理，得到了RTL++系统。
5、在RTL++系统的的基础上，我们重新讨论了道德理性Agent，并且考虑了在长期利益基础上的个人利益和社会利益，通过分析希望算子和个人利益、社会利益的关系，重新提出了道德理性Agent的概念，并对道德理性Agent进行了划分，讨论了长期利益和社会利益之间的关系。
ABSTRACT
Rationality is considered as one of the important human commonsense abilities shown in our everyday behaviors and prepositional attitudes. Rationality has always been a hot topic of research in philosophy, cognitive science and AI. In this paper, rationality in human commonsense ability is studied primarily as follows:
1.Research on rationality in cognitive science is synthesized, including human rationality and generic rationality. Research on agent rationality in AI is analyzed . “Intentional stance” is adopted in current research, which views agent as an intentional system made up of the prepositional attitudes including Belief, Desire, Intention and Commitment, etc. Agent rationality is shown when it acts individually and rationally according to the dynamic balance among these prepositional attitudes. Logical rationality in AI is our focus and its core problem is how to eliminate logical omniscience. A lot of representative works in this aspect are investigated and their results and drawbacks are analyzed.
2.Research on interest logic is introduced in this paper. The interest operator L is introduced to the rational logic system RL and the society made up of
moral rational agents.
3.Rationality analysis logic RTL is proposed based on our investigation. We also proved the reliability，completeness，consistence。We adopt the interest operator L from RL system. We introduce the Hope operator H instead of Intention operator I and Desire operator D. The introduction of H can simplify the complexity of the further research; We define the syntax, semantics, axioms and inference rules of RTL; The reliablity，completeness，consistence of the system RTL are also proved in this paper.
4.We have noticed the importance of the period of validity of interest shown in agent rational behaviors. Therefore, two new interest operator LP(strong long-term interest) and LF (weak long-term interest) are introduced and accordingly rationality analysis logic RTL+ is constructed based on RTL. Theorems of RTL+ are given and proved. Based on our above work, we get new system RTL++ through add new axioms.
5.Based onlong-term interest, we analysis the moral rational agent. The long-term interest is decomposed into two different parts, individual interest and social interest. The concept of moral rational agent is proposed and moral rational agents are systemically classified according to the relations among hope, individual interest and social interest. Five types of moral rational agents are defined and their characteristics and mutual relations are given and proved. We also talked about the relation of social interest and long-term interest.
The advantages and drawbacks of our work are analyzed, and our future work is investigated at the end of the paper.
目录：
摘要3
ABSTRACT4
第一章：一般理性逻辑研究综述5
1．理性的提出5
2Agent和理性研究6
2．1 人工智能的研究目标6
2．2Agent研究的意义6
2．3Agent研究中的一些基本概念7
2．4 理性Agent研究现状9
2．4．1Bratman提出的BDI理论9
2．4．2 Rao 和Georgeff的BDI模型9
2．4．3 Konolige和Pollack的模型11
2．4．4Morley关于多Agent语义及环境的研究12
2．4．5BDI逻辑的纤维化(Fibring)语义13
2．4．6Lamma和Pereira的基于三值逻辑的Agent学习模型15
2．4．7Moore关于知识与动作的研究15
2．4．8Wooldridge的模型16
2．5 AI中理性研究的分析16
第二章：利益逻辑研究概况17
1．理性与利益关系的研究17
1．1计算市场模型17
1．2基于对策论的协商模型17
2．理性分析逻辑系统RL18
3．道德理性Agent20
4．基于利益的理性逻辑系统RL的分析22
第三章：RTL逻辑及其一致性和完备性23
1．RTL的语法23
2．RTL的语义23
3．RTL的公理系统24
4．RTL的可靠性26
5．RTL的一致性27
6．替换原理28
7．RTL的完备性30
8．RTL的定理32
9．关于利益算子和希望算子的一点说明33
第四章：RTL+系统和RTL++系统34
1．RTL+系统34
1．1长期利益算子：34
1．2希望的理性约束:34
1．3RTL+系统34
2．RTL+系统的性质34
2．1关于算子B、H、L的K定理35
2．2长期利益关于、的定理35
2．3长期利益的分解、合并定理36
2．4关于同分解和合并的定理37
2．5关于同分解和合并的定理37
2．6关于同合并的定理38
2．7关于同合并的定理38
2．8关于、同律的定理39
2．9长期利益的协调律43
2．10 关于同协调律的定理43
2．11 关于同协调律的定理44
2．12 关于、和等价律的定理45
2．13 关于、同结合律的定理48
2．14 关于长期利益等价性的一些定理48
3．RTL++系统49
4．RTL++的性质49
第五章：关于理性逻辑的讨论50
1．基于利益的理性Agent50
1．1 Ti型理性Agent系统之间的关系50
1．2 五种基本的理性Agent之间的关系和性质54
2．基于RTL++系统的道德理性Agent54
2．1 基于当前利益的道德理性Agent55
2．2基于弱长期利益的道德理性Agent56
2．3基于强长期利益的道德理性Agent59
2．4RTL++系统中的个人利益和社会利益59
3道德理性Agent社会60
3．1由一类道德理性Agent构成的社会60
3．2由两类道德理性Agent构成的社会62
3．3由多类道德理性Agent构成的社会63
第六章：结束语65
致谢66
参考文献67
参考文献：
1 [Bratman 1987] Bratman M E., Intentions Plans and Practical Reason， Cambridge MA: Hardvard University Press, 1987 .
2[Bratman 1988] Bratman M.E., Israel D.I., Pollack M.E.， Plans and resource-bounded practical reasoning， Computer Intelligence, 1988,4:349~355。
3[Cohen 1990]Cohen P R, Levesque H J., Intention is choice with Commitment，Artificial Intelligence, 1990, 42(3):213~261。
4[Dongha 1995]Dongha P.， Toward a Formal Model of Commitment for Resource Bounded Agents， In: M.J.Wooldridge, N.R.Jennings eds. Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages. Berlin: Springer, 1995.86~101。
5[Gaspar 1995]Gaspar G.,Coelho H.， Where Do Intentions Come From?: A Framework for Goals and Intentions Adoption, Derivation and Evolution， In: C.P.Ferreira, N.J.Mamede eds. Progress in Artificial Intelligence,7th Portuguese Conference on Artificial Intelligence, EPIA’95, Proceedings. Berlin: Springer, 1995. 115~128。
6[Jennings 1999]Jennings N R. ，Agent-Based Computing: Promise and Perils，In: IJCAI99.1999.1429~1436。
7[Rao 1991a]Rao A.S.,Georgeff M. P. ，Modeling Rational Agents within a BDI-architecture，In: J.Allen,R.Fikes,E.Sandewall eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference (KR91).California: Morgan Kaufmann Publishers, 1991.473~484。
8[Shoham 1993]Shoham Y.，Agent-Oriented Programming， Artificial Intelligence, 1993:51~92。
9[Konolige 1993]Konolige K, Pollack M E.，A Respresentationalist Theory of Intention， In: Bajcsy R ed. Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. California: Morgan Kaufmann Publishers, 1993. 390~395。
10[Reichgelt 1989] Han Reichgelt, Logics for Reasoning about Knowledge and Belief, The Knowledge Engineering Review. Vol 2,1989 p 119-139。
11[Pollock 1998] John L.，Pollock Rationality in Philosohpy and Artificial Intelligence。
12[Georgeff 1998] Michael Georgeff, Barney Pell, Marhha Pollack, Milind Tambe, Michael Wooldridge The Belief-Desire-Intention Model of Agency。
13[Schild 1998]Klaus Schild， On the Relationship between BDI Logic and Standard Logics of Concurrency。
14[Wobcke 1996] Wayne Wobcke Plans and the Revision of Intentions In Reading of Agents。
15[Wooldridge 1995a] Wooldridge M, Jennings N.R.，Intelligent Agents: theory and practice，The Knowledge Engineering Review,1995,10(2):115~152。
16[Weiss 1993] Weiss G，Learning to Coordinate Actions in Multiagent Systems，In: IJCAI93.1993.311~316。
17[Singh 1994] Singh M. P.，Multiagent systems: A theoretical Framework for Intentions, Know-how, and Communication， Berlin: Spring-Verlag,1994。
18[singh 1992] Singh M. P.，A critical examination of the Cohen-Levesque theory of intention，In: ECAI-92.1992.364~368。
19[Sandholm 1997] Sandholm T. and Lesser V.R.， Coalitions among Computationally Bounded Agents, Artificial Intelligence, 1997, 94:99~137。
20[Rao 1995] Rao A.S., Georgeff M.P.，The Semantics of Intention Maintenance for Rational Agents, In: Mellish C S ed. Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. California:Morgan Kaufmann Publishers.1995.704~710.
21[Rao 1991] Rao A.S., Georgeff M.P., Asymmetry thesis and side-effect problems in linear time and braching time intention logics, In: PIJCAI91.1991.498~50
22[Burkhard 1993] Burkhard H.D., Liveness and Fairness Properties in Muti-agent Systems, In:IJCAI-93.1993.325~330.
23[Gmytrasiewicz 1993] Gmytrasiewicz P.J., Durfee E.H., Elements of Utilitarian Theory of Knowledge and Action, In: IJCAI-93.1993.396~402.
24[Glaser 1997] Glaser N., Morignot P., The reorganization of societies of autonomous agents, In: Mulit-agent rationality. LNAI 1237. Springer, 1997.98~111.
25[Gelder Ross and Schlipf 1991] A.Van Gelder, K.A.Ross and J.S.Schlipf, The well-founded semantics for general logic programs, Journal of the ACM,38(3):620-650,1991.
26[Morley and Sonenber 1996] D.N.Morley and E.A.Sonenber, A logic for concurrent events and action failure. In Norman Foo and Randy Goebel ,editions, Topics in Artificial Intelligence,Proceeding of the 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI’96),Lecture Notes in Artificial Intelligence, Volun 1114, pages 483-494, Cairns, Australia, August 1996.Springer-Verlag.
27[Morley 1996] D.N.Morley, Semantics of BDI Agents and their Environment.
28[Gabby 1996] Dov M.Gabbay, Fibred semantics and the weaving of logic I: Modal and intuitionistic logic, Journal of Symbolic Logic,61:1057-1120,1996.
29[Gabby 1998] Dov M.Gabbay, Fibring Logic, Oxford University Press 1998.
30[Governatori Padmanbhan Sattar 2002] Guido Governatori, Vineer Padmanbhan Abdul Sattar, On Fibring Semantics for BDI logic Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September,23-26, Proceedings.
31[Catach 1988] L.Catach. Normal Multimodal logics, In proc. National Conference on AI(AAAI-88), pages 491-495,1988.
32[陆汝钤 1999] 陆汝钤等, 《面向Agent的常识知识库》。
33[陆汝钤 1995] 陆汝钤， 《人工智能》 上册， 1995 科学出版社。
34[陆汝钤 1996] 陆汝钤， 《人工智能》 下册， 1996科学出版社。
35[陆汝钤 1999] 陆汝钤、姬广峰， 《关于常识的研究》， 知识工程和知识科学 1999。
36[陆钟万 1989] 《面向计算机的数理逻辑》 2002， 北京大学出版社。
37[王元元 1989] 王元元 《计算机科学中的逻辑学》 1989 科学出版社。
38[史忠植 1998] 史忠植 《高级人工智能》 1998 科学出版社。
39[石纯一 1998] 石纯一等 《多智能体思维状态研究文集》 1998 清华大学计算机系材料。
40[林作铨 1992] 林作铨 戴汝为《纯粹理性批判与人工智能》 计算机科学 1992： 1~7。
41[徐晋晖 1999] 徐晋晖，石纯一 《一种基于信念、期望、希望和效用的社会承诺机制》， 软件学报， 1999 第10卷 第8期。
42[马光伟 1999] 马光伟，徐晋晖，石纯一 《Agent思维状态模型》， 软件学报， 1999 第10卷 第4期。
43[徐晋晖 2000] 徐晋晖 《Agent模型与联盟机制研究》，2000，清华大学博士论文。
44[马光伟 2000] 马光伟 《多Agent系统的社会性研究》，2000清华大学博士论文。
46 [胡三立 1999]胡三立 石纯一 《Agent 形式化研究的逻辑工具》 计算机科学， 1999 第26卷。
47 [姬广峰 2000] 姬广峰《常识中理性特性的研究》2000 中科院数学所硕士生学位论文。
作者点评：
本文以模态逻辑的S4系统为基础通过引入B（信念）、H（希望）、L（利益）算子建立了一个基于利益的理性逻辑系统RTL，并证明了RTL的可靠性、完备性和一致性。在此基础上，我们提出了强长期利益算子LP和弱长期利益LF，并通过增加对H和L算子的约束条件，得到了增强的RTL+系统和RTL++系统。最后我们利用RTL++系统分析了道德理性Agent，并且探讨了道德理性Agent之间的相互关系。与以前的工作相比，我们的工作具有以下几个特点：
1.我们的理性是建立在利益分析的基础上。我们特别强调利益在人的理性行为中的重要性。
2.在语义上，我们将B、H、L算子都定义为从可能世界到某个特定布尔域的映射，从而避免了将信念算子B、希望算子H和利益算子L定义为模态算子所造成的缺陷。
3.我们证明了RTL系统的可靠性、完备性和一致性。为以后进一步的讨论奠定了基础。
4.我们考虑到了利益的时效性，注意到了时间对于Agent理性选择的影响，引入了两种长期利益算子――强长期利益算子和弱长期利益算子。我们还讨论了分别着重于长期利益和当前利益的Agent的性质和它们之间的关系。
5.我们分别讨论了RTL++系统中希望同个人利益和社会利益之间的关系，这里的利益既包括长期利益又包括当前利益，并且定义了基于RTL++系统的道德理性Agent，并探讨了它们之间的关系。
6.我们探讨了基于RTL++系统的多道德理性Agent组成的社会，并分析了社会中各Agent之间的相互关系和可能存在的合作关系。
当然，我们的工作还存在着一些问题：
1．我们只引入了H（希望）算子来替代通常的D（愿望）和I（意图算子），这样虽然减少了Agent的状态，简化了讨论，但是也使得RTL系统的表达能力受到了影响，所以在进一步的工作中我们应该考虑引入愿望算子和意图算子以增加RTL系统的表达能力。
2．在定义L、H算子时候，为了能够证明RTL系统的可靠性和完备性，我们引入了H()H()H()这样的公理，但是这与现实情况有所不符。我们打算在进一步的工作中解决这个问题。
我们进一步的工作包括：
1．解决上面提到的两个问题。
2．考虑采用纤维化的技术，利用不同的逻辑系统来区别利益算子和BDI算子的语义，因为与BDI等用来描述Agent意向的算子不同，利益算子更多的是对客观世界的描述。
3．考虑采用模糊逻辑来定义利益算子的语义。增强利益算子的表达能力。
4．Agent的合作和竞争也有一定的时效性，在现实世界中，基于当前利益的合作和基于长远利益的竞争同时存在的情况十分普遍，因此可以在当前利益和长远利益的基础上进一步讨论多Agent系统中Agent之间的合作和竞争。