| 基于Em-BDI-VSK逻辑的Agent系统形式化模型的研究 | 第1-57页 |
| 摘要 | 第4-6页 |
| Abstract | 第6-10页 |
| 第1章 引言 | 第10-13页 |
| ·研究背景和意义 | 第10-11页 |
| ·问题提出 | 第11-12页 |
| ·研究内容 | 第12页 |
| ·论文结构安排 | 第12-13页 |
| 第2章 Em-BDI-VSK形式化系统 | 第13-41页 |
| ·Em-BDI-VSK模型 | 第13-17页 |
| ·Em-BDI-VSK语言L_(Em-BDI-VSK) | 第17-22页 |
| ·形式系统符号组成说明 | 第17-20页 |
| ·L_(Em-BDI-VSK)语义 | 第20-22页 |
| ·Em-BDI-VSK公理体系 | 第22-30页 |
| ·Em-BDI-VSK公理 | 第22-25页 |
| ·Em-BDI-VSK公理合理性解释 | 第25-26页 |
| ·交互公理 | 第26-30页 |
| ·Em-BDI-VSK逻辑的基本性质 | 第30-41页 |
| 第3章 Em-BDI-VSK模型的可靠性和完全性 | 第41-49页 |
| ·公理有效性证明 | 第41-45页 |
| ·系统可靠性和完全性证明 | 第45-49页 |
| 第4章 结束语 | 第49-52页 |
| ·小结 | 第49-50页 |
| ·进一步研究工作 | 第50-52页 |
| 参考文献 | 第52-55页 |
| 攻读学位期间发表的学术论文和研究成果 | 第55-56页 |
| 致谢 | 第56-57页 |
| 情感Agent综述 | 第57-115页 |
| 摘要 | 第58-60页 |
| Abstract | 第60-64页 |
| 第1章 情感研究 | 第64-69页 |
| ·情感在心理学上的研究 | 第64-67页 |
| ·情感的识别 | 第67-69页 |
| 第2章 情感建模的发展 | 第69-80页 |
| ·按外在情感表现建模 | 第69-73页 |
| ·面部表情建模 | 第69-71页 |
| ·语音情感的合成与识别 | 第71-73页 |
| ·面部和声音的结合 | 第73页 |
| ·按人内在情感体验而产生的生理信号变化建模 | 第73-74页 |
| ·已有的基于情感状态和情感行为评价的建模 | 第74-79页 |
| ·状态空间法 | 第74-76页 |
| ·HMM情感建模方法 | 第76-77页 |
| ·OCC情感建模方法 | 第77-79页 |
| ·其它 | 第79-80页 |
| 第3章 计算机中的情感研究 | 第80-94页 |
| ·情感加入计算机的应用 | 第81页 |
| ·情感在计算机中的研究 | 第81-84页 |
| ·情感计算 | 第81-83页 |
| ·情感与Agent的结合 | 第83-84页 |
| ·情感AGENT的体系结构 | 第84-94页 |
| ·EBDI Agent体系结构 | 第85-89页 |
| ·Emotional Agent体系结构 | 第89-94页 |
| 第4章 逻辑系统 | 第94-111页 |
| ·AGENT形式化系统 | 第94-98页 |
| ·概述 | 第94-96页 |
| ·模态逻辑 | 第96-97页 |
| ·时序逻辑 | 第97-98页 |
| ·基于KARO和OCC的情感评价机制的AGENT形式化系统 | 第98-111页 |
| ·语法 | 第101-103页 |
| ·语义 | 第103-106页 |
| ·情感的形式化模型 | 第106-107页 |
| ·情感的性质 | 第107-108页 |
| ·对思考的影响 | 第108-111页 |
| 参考文献 | 第111-115页 |
| Research on Formal Model of Emotional Agent based on Em-BDI-VSK logic | 第115-165页 |
| Abstract | 第116-119页 |
| Chapter 1 Introduction | 第119-123页 |
| ·Background and Signification | 第119-121页 |
| ·The motivation of the study | 第121-122页 |
| ·The content | 第122页 |
| ·The structure of the thesis | 第122-123页 |
| Chapter 2 Formal system of Em-BDI-VSK | 第123-153页 |
| ·The Em-BDI-VSK mode | 第123-128页 |
| ·The Language of Em-BDI-VSK L_(Em-BDI-VSK) | 第128-133页 |
| ·The symbol interpretation | 第128-131页 |
| ·The semantics | 第131-133页 |
| ·Axiom system | 第133-140页 |
| ·Axiom | 第133-136页 |
| ·Rational explanation of axiom | 第136-137页 |
| ·Mix axiom | 第137-140页 |
| ·Mix axiom | 第137-138页 |
| ·Rational explanation of mix axiom | 第138-140页 |
| ·Basic property of Em-BDI-VSK | 第140-153页 |
| Chapter 3 Reliability and Completeness of Em-BDI-VSK | 第153-161页 |
| ·The proof of effectiveness of axioms | 第153-157页 |
| ·The proof of rationality and completeness | 第157-161页 |
| Chapter 4 Conclusion | 第161-165页 |
| ·Conclusion | 第161-162页 |
| ·Further work for future | 第162-165页 |
| The Summary of Emotional Agent | 第165-234页 |
| Abstract | 第166-170页 |
| Chapter 1 The study of emotion | 第170-178页 |
| ·Emotion in psychological research | 第170-174页 |
| ·Emotional identification | 第174-178页 |
| Chapter 2 The development of Emotional model | 第178-193页 |
| ·Modeling based on external emotional performance | 第178-185页 |
| ·Modeling based on facial expression | 第179-181页 |
| ·The synthesis and recognition of emotional voice | 第181-184页 |
| ·The integration of facial expression and voice | 第184-185页 |
| ·Modeling based on physiological signal arisen from internal emotional experience | 第185-186页 |
| ·Modeling based on the evaluation of emotional state and emotional behavior | 第186-191页 |
| ·Modeling emotion based on state space | 第186-188页 |
| ·Modeling emotion based on HMM | 第188-189页 |
| ·Modeling emotion based on OCC | 第189-191页 |
| ·Others | 第191-193页 |
| Chapter 3 Emotional research in computer science | 第193-213页 |
| ·The application of emotion in computer | 第194-195页 |
| ·Emotional research in computer science | 第195-200页 |
| ·Affective computing | 第195-197页 |
| ·The integration of emotion and Agent | 第197-200页 |
| ·The architecture of emotional agent | 第200-213页 |
| ·The architecture of EBDI agent | 第201-206页 |
| ·The principle of EBDI agent | 第201-202页 |
| ·The formal model of EBDI and the process | 第202-206页 |
| ·The architecture of Emotional agent | 第206-213页 |
| Chapter 4 Logic emotional system | 第213-234页 |
| ·The formal system of agent | 第213-219页 |
| ·Overview | 第213-215页 |
| ·Modal logic | 第215-218页 |
| ·Temporal logic | 第218-219页 |
| ·The formal agent system based on KARO frame and OCCC's emotional evaluation mechanism | 第219-234页 |
| ·Syntax | 第223-226页 |
| ·Semantics | 第226-229页 |
| ·Aformal model of emotion | 第229-231页 |
| ·Properties of emotion | 第231-232页 |
| ·Effects of deliberation | 第232-234页 |
