A logic of intention and attempt
A logic of intention and attempt
复制标题
意图和尝试的逻辑
DOI：
10.1007/s11229-008-9309-7
复制
发表时间：
2008
期刊：
影响因子：
1.5
通讯作者：
A. Herzig
中科院分区：
文献类型：
--
作者：
E. Lorini;A. Herzig
我们提出了一个模态逻辑称为$${\mathcal{LIA}}$$（逻辑的意图和尝试），在其中，我们可以推理的意图动态和有意的行动执行。通过利用$${\mathcal{LIA}}$$的表达力，我们对意图与行动之间的关系进行了形式化分析，并强调了尝试在行动执行中的关键作用。此外，我们还讨论了工具推理和意图持续性问题。
We present a modal logic called $${\mathcal{LIA}}$$ (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of $${\mathcal{LIA}}$$, we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.