| 摘要: |
| 隐式愿望的刻画是Agent理论研究中的一个重要课题.首先分析现有工作存在的问题,然后用逻辑语义学方法严格定义一种新的隐式愿望--pm-愿望后承,研究其主要性质并与相关工作进行比较,进而论证其合理性,包括符合直觉、有利于提高智能主体的自主性等等. |
| 关键词: 智能主体 隐式愿望 形式化 BDI模型 非标准逻辑 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant No.60275024(国家自然科学基金) |
|
| Implicit Desire and Its Formalization |
|
ZHOU Yi,CHEN Xiao-Ping
|
| Abstract: |
| The study of “Implicit Desire” is essential to agent theory. This paper first analyzes insufficiency and inadequacy of the existing theories of implicit desire. Then logical semantics is employed to define a new kind of implicit desire―pm-desire consequence, to investigate its main properties, to compare it with the relevant work, and thereby to argue its rationality such as its accordance with intuitions and ability to improve the autonomy intelligent-agents, etc. |
| Key words: intelligent Agent implicit desire formalization BDI model non-standard logic |
