EAGER: Formal models of intention

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

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.