检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]福州大学计算机科学与技术系 [2]清华大学计算机科学与技术系,北京100084
出 处:《计算机研究与发展》2001年第9期1046-1050,共5页Journal of Computer Research and Development
基 金:国家自然科学基金 ( 6 99730 2 3);福建省自然科学基金 ( F0 0 0 12 )资助
摘 要:在理性 Agent的形式化中 ,通常认为 Agent的思维状态包含信念、愿望和意图这 3个属性 .它们之间的静态关系已被人们充分重视 ,但它们随时间的动态变化还未被很好研究 .考察了意图维护直观语义中的一些问题 ,给出了随信念、愿望改变的意图维护的动态模型 ,与 Rao和 Georgeff的意图维护模型相比 ,适用性更广、更简明 ,不必限制可能世界的时序结构 ,不必另外引入信念、愿望、意图算子的 only模态形式 .In formalization of rational agents, the common idea is to consider agents whose mental state comprises the three attitudes of belief, desire, and intention. While the static relationships among these entities has received considerable attention, but the manner in which these entities change over time has not been studied well. In this paper, some problems are examined, which exist in the intuitive semantics of intention maintenance, and a dynamic model of intention maintenance in the context of changing beliefs and desires is provided. Comparing with Rao and Georgeff's model of intention maintenance, the model is more general and simple. It does not need to specify the temporal structure of possible worlds and does not need to introduce forms for only modalities of belief, desire, and intention. Also there do not exist the logical omniscience problem and the side-effect problem under tautological implications for desire and intention.
分 类 号:TP18[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.62