节点文献

关于断言的缺省逻辑

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

【作者】 苏开乐； 丁德成；

【机构】 南京大学数学系； 南京大学数学系 南京210008； 南京210008；

【摘要】 在Brewka提出的一种修正的缺省逻辑的基础上,对Reiter原来缺省逻辑作了推广,得到了一种关于断言的缺省逻辑,并证明Brewka修正的缺省逻辑就是一种特殊的关于断言的正规缺省逻辑。

【关键词】 缺省逻辑； 断言； 正规缺省；
【基金】 国家“863”高科技计划资助项目
  • 【文献出处】 中国科学(A辑 数学 物理学 天文学 技术科学) ,Science in China,Ser.A , 编辑部邮箱 ,1994年06期
  • 【分类号】O142
  • 【被引频次】2
  • 【下载频次】93
知网节下载
节点文献中： 

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

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