Abstract In this paper we address the interplay among intention, time, and belief in dynamic environments. The first contribution is a logic for reasoning about intention, time and belief, in which assumptions of intentions are represented by preconditions of intended actions. Intentions and beliefs are coherent as long as these assumptions are not violated, i.e. as long as intended actions can be performed such that their preconditions hold as well. The second contribution is the formalization of what-if scenarios: what happens with intentions and beliefs if a new (possibly conflicting) intention is adopted, or a new fact is learned? An agent is committed to its intended actions as long as its belief-intention database is coherent. We conceptualize intention as commitment toward time and we develop AGM-based postulates for the iterated revision of belief-intention databases, and we prove a Katsuno-Mendelzon-style representation theorem.

中文翻译：

---

意图作为对时间的承诺

摘要 在本文中，我们讨论了动态环境中意图、时间和信念之间的相互作用。第一个贡献是关于意图、时间和信念的推理逻辑，其中意图的假设由预期行为的先决条件表示。只要这些假设不被违反，意图和信念就是一致的，即只要可以执行预期的行动，使得它们的先决条件也成立。第二个贡献是假设情景的形式化：如果采用新的（可能相互冲突的）意图，或者了解到新的事实，意图和信念会发生什么？只要其信念-意图数据库是一致的，代理就会致力于其预期的行动。