信念-愿望-意图理论及其形式化研究

发布时间：2017-10-20 01:39

  本文关键词：信念-愿望-意图理论及其形式化研究

  更多相关文章： 信念 愿望 意图 偏好 BDI逻辑

【摘要】：从Bratman(1987)的信念-愿望-意图理论出发,考察了该理论在逻辑中的形式化,比如Cohen和Levesque(1990)的BDI逻辑。Bratman认为:信念、愿望和意图在人的行为中扮演着重要的作用;意图不仅仅是一个愿望,而且是主体不会轻易放弃的承诺;意图具有惯性,而且是进一步实际推理的一个输入;为了对信念、愿望和意图加以区分,他引入了"前态度"的概念。Cohen和Levesque(1990)的BDI逻辑给出了Bratman(1987)的信念-愿望-意图理论的形式语义,行动、时间、信念和偏好在此逻辑中占据着重要地位。
【作者单位】： 宁德师范学院经济管理系;四川师范大学政治教育学院;
【关键词】： 信念 愿望 意图 偏好 BDI逻辑
【基金】：教育部人文社会科学研究规划项目“基于BDI(信念、愿望和意图)逻辑的慎思Agent的行为决策研究”(13YJA72040001)
【分类号】：B81-0
【正文快照】： 做知识级分析的系统称为主体(Agent),比如:人、具有智能的高级动物和仿人机器人均可视为A-gent)[1]。主体强调理性作用,是描述人类智能、动物智能和机器智能的统一模型[2]。在理性主体的设计过程中,信念(Belief)、愿望(Desire,或目标)和意图(Intention1)所扮演的作用,哲学界和，

本文编号：1064559