| 本文已被：浏览 4491次 下载 5689次 |
码上扫一扫！ |
|
|
| 一个新的意图后承形式系统Lm5c |
|
朱紫汝1, 陈小平1,2, 周熠1
|
|
1.中国科学技术大学,计算机科学与技术系,安徽,合肥,230027;2.安徽大学,计算智能与信号处理开放实验室,安徽,合肥,230039
|
|
| 摘要: |
| 建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于"归约蕴涵"的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优良性质,比如无副作用.此外,还具有较强的推理能力,可供Agent自身用于意图推理和目标修改. |
| 关键词: 主体 BDI模型 意图后承 副作用问题 多值逻辑 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(69875017) |
|
| A New Formal System of Intention Consequences Lm5c |
|
ZHU Zi-ru,CHEN Xiao-ping,ZHOU Yi
|
| Abstract: |
| To establish a formal inferential system of intention consequences is an important issue in the formal study of intention. In this paper, a new formal system of intention consequences Lm5c based on "reduced implication" is proposed which provides a norm of intention consequences. Compared with other known formal systems of intention consequences, this system is simpler and possesses many desired properties, such as free from all cases of the known side-effects. Besides, it is powerful in reasoning about intention so that the agent itself can use it to perform tasks such as intention inference and goal revsing. |
| Key words: agent BDI modeling intention logic side-effect problem multi-valued logic |
