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

在关于行动的哲学理论中,意图的研究在过去的20余年间取得了很大的进展。而随之发展起来的有关意图的形式化理论也引起了广泛关注。其中,决策问题中主体的意图是通过形式分析主体的行动意图和结果意图以及它们之间关系来进行的。笔者发展了意图认知逻辑来对决策中的主体知识和意图进行推理,进而对主体行动的执行和该行动的意图之间的关系。

Reasoning about Intentions and Knowledge in Decision Problem

In philosophical theory of action,the research of intentions has developed a lot in the last two decades,and the formal theory for intentions has attracted a lot of attention.By formally analyzing agent＇s action intentions and outcome intentions,a decision theoretical framework for modeling intentions is introduced.I present a logic for reasoning about intention and knowledge of agents in the decision problem.Further,I discuss the relation between the execution and the intention of an action.