决策问题中有关意图和知识的推理

摘要

在关于行动的哲学理论中，意图的研究在过去的二十余年间取得了很大的进展。而随之发展起来的有关意图的形式化理论也引起了广泛关注。本文首先介绍意图在决策问题中的形式刻画；通过形式分析主体的行动意图和结果意图以及它们之间关系，本文发展了意图认知逻辑来对主体知识和意图进行推理；最后通过本文提供的方法分析主体行动的执行和该行动的意图之间的关系。