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.