信念策略的逻辑

该研究提出了一个基于语言学、哲学、模态逻辑和自动规划的单智能体模态逻辑框架来推理关于目标导向的“知道如何”。该框架定义了一个模态语言来表达“我知道如何保证phi在给定psi的条件下”，并给出了一个不基于标准认知模型而是标记的转换系统来表示代理人对自己能力的了解的语义。并且给出了一个完备的证明系统来捕捉关于“知道如何”的有效推理模式，其中最重要的公理表明其组合性质。