一个意图后承的形式理论

摘要：

@@对意图(Intention)、信念(Belief)和目标(Goal)等知识状态的形式化研究是近年人工智能和哲学逻辑等领域中的一个重要课题。基于经典逻辑的工作遇到了很大的困难。本文针对意图的形式化，分析了困难的原因，并给出一种解决办法。...

机标关键词：意图后承、形式化研究、知识状态、哲学逻辑、人工智能、经典逻辑、信念、目标、课题

所属期刊栏目：16

分类号：B81(逻辑学(论理学))

资助基金：国家自然科学基金69875017

在线出版日期：2006-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：28-31