EAGER: Formal models of intention

EAGER：意图的正式模型

• 批准号: 1347214
• 负责人: Virginia Williams
• 金额: $ 15万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-09-01 至 2016-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1347214&HistoricalAwards=false
• 关键词: EAGER; Formal; models; intention

The project conducts formal, basic research into the modeling of "intention''. This under-researched and ill-understood concept underlies many applications, including online search, calendars, intelligent dialog systems, security applications, self-driving cars, military applications, and many more. This particular project is concerned with domain-independent, formal models underlying all such applications. 'informational attitudes' such as knowledge and belief which capture the information available to the agent, and 'motivational attitudes' such as goals, preference and utility which capture what the agent cares about, have been studied extensively. In contrast, and despite their importance, "action attitudes" which capture the agent's attitude towards different actions she might take in light of her motivations and the information available to her, have been poorly studied. This is true in particular of intention, perhaps the most basic action attitude, and the focus of this project. The project is grounded in the Principal Investigator's prior work, in which he laid out a computational point of view, dubbed the "database perspective''. That work, which offered an axiomatic theory of the joint revision of belief and simple ('atomic') action intention, is being extended along multiple dimensions:-- Modeling complex intentions, using Dynamic Epistemic Logic (DEL).-- Modeling achievement intentions.-- Modeling teleology.-- Developing a quantitative ("probabilistic") theory of intention.

该项目对“意图”的建模进行正式的基础研究。这个研究不足且理解不足的概念是许多应用的基础，包括在线搜索、日历、智能对话系统、安全应用、自动驾驶汽车、军事应用、这个特定的项目涉及所有此类应用程序背后的独立于领域的正式模型，例如捕获代理可用信息的知识和信念，以及目标、偏好等“动机态度”。相比之下，尽管“行动态度”很重要，但它捕获了代理所关心的内容，它捕获了代理根据她的动机和可用信息可能采取的不同行动的态度。尤其是对于意图（也许是最基本的行动态度）以及该项目的重点而言，这一点尚未得到充分研究。该项目以首席研究员之前的工作为基础，在该工作中，他提出了一种计算观点，称为“数据库视角”。这项工作提供了信念和简单（“原子”）联合修正的公理化理论。 ）行动意图，正在沿着多个维度进行扩展：--使用动态认知逻辑（DEL）对复杂意图进行建模。--对成就意图进行建模。--对目的论进行建模。--开发定量模型（“概率”）意图理论。