| 信念愿望意图逻辑探析 |
| |
| 引用本文： | 林颖,张晓君. 信念愿望意图逻辑探析[J]. 重庆理工大学学报(社会科学版), 2016, 0(3): 18-24. DOI: 10.3969/j.issn.1674-8425(s).2016.03.004 |
| |
| 作者姓名： | 林颖 张晓君 |
| |
| 作者单位： | 1. 宁德师范学院 经济管理系,福建 宁德,352100;2. 四川师范大学 信息与逻辑研究所,成都,610066 |
| |
| 基金项目： | 教育部人文社会科学研究规划基金项目“基于 BDI(信念、愿望和意图)逻辑的慎思 Agent 的行为决策研究”(13YJA72040001) |
| |
| 摘 要： | 在理性主体寻求达成其目的的过程中，信念、愿望和意图起着重要的作用。由 Rao 和Georgeff 提出的信念愿望意图逻辑是建立在分支时间可能世界模型的基础之上的。说明了该逻辑框架对意图的重要成分（比如：信念、愿望、意图和承诺）是如何进行形式化的。另外，不同类型的理性主体可以通过添加特定的条件来进行建模。
|
| 关 键 词： | 信念 愿望 意图 承诺 BDI 逻辑 |
Analysis of Belief-Desire-Intention Logic |
| |
| LIN Ying,ZHANG Xiao-jun. Analysis of Belief-Desire-Intention Logic[J]. Journal of Chongqing Institute of Technology, 2016, 0(3): 18-24. DOI: 10.3969/j.issn.1674-8425(s).2016.03.004 |
| |
| Authors: | LIN Ying ZHANG Xiao-jun |
| |
| Abstract: | Beliefs,desires and intensions play important roles in determining the behavior of rational agents when they seek to attain their goals. Belief-Desire-Intension logic presented by Rao and Georgeff(1991)was based on a branching-time possible-worlds model. This paper is shown how the formalism realizes many of the important elements of agents’intensions,such as beliefs,desires in-tensions and commitments. Different types of rational agents can be modeled by imposing certain con-ditions. |
| |
| Keywords: | belief desire intention commitment BDI(Belief-Desire-Intention)logic |
| 本文献已被 万方数据 等数据库收录！ |
