基于非标准Kripke语义的意图逻辑的研究

意图逻辑是近年人工智能、计算语言学和逻辑学交叉研究提出的一个新课题，在实用推理、人机通讯、机器人和大型智能系统设计等领域有重要应用。现有工作受阻于传统形式化方法的局限及在“副作用”认识上的混乱。本项目拟从构造适当的非标准Kripke语义入手，克服上述困难，建立更恰当、更接近实用需要的意图逻辑理论。