节点文献

一个意图后承的形式理论

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 陈小平； 刘贵全； 郭宝贵；

【机构】 中国科学技术大学计算机系；

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

  • 【会议录名称】 2000年逻辑研究专辑
  • 【会议时间】2000
  • 【分类号】B81
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)