收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

渐近实现非单调推理(英文)

苏开乐  
【摘要】:我们提出了基于枚举函数的R-重构的概念,从语义和语法方面刻画了它的重要性质。特别,我们证明了这类R-重构是ω-递归可枚举集合,从而为非单调推理的渐近实现提供了一可能的途径。

知网文化
【相似文献】
中国重要会议论文全文数据库 前3条
1 黄国芳;汪学明;;从制约逻辑到法律推理的思考[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
2 何方琨;;对偶占优推理系统的表示定理的证明[A];第十六届全国青年通信学术会议论文集(上)[C];2011年
3 贺寿南;;法律视野中的缺省论证[A];第十六届全国法律逻辑学术讨论会论文(成就·反思·前瞻——中国法律逻辑三十年)[C];2008年
中国博士学位论文全文数据库 前3条
1 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年
2 顾红芳;常识推理中非单调逻辑的研究[D];南京航空航天大学;2001年
3 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年
中国硕士学位论文全文数据库 前10条
1 高黎;辨证论治的非单调逻辑模型[D];内蒙古大学;2011年
2 芦珊;可公理化单射占优模型类的研究[D];南京航空航天大学;2006年
3 刘飞;非单调推理及其应用[D];河南大学;2011年
4 何方琨;关于对偶占优后承表示定理的研究[D];南京航空航天大学;2011年
5 王春丽;试论法律应用中推理的可废止性[D];西南大学;2011年
6 白博;衰落信道上无码率码技术研究[D];西安电子科技大学;2011年
7 尚颖;常识推理中不一致信念的定量非修正处理方法[D];东北师范大学;2002年
8 张玲;数字现金协议及逻辑验证[D];国防科学技术大学;2002年
9 桑丘;智能体行动推理中的信念改变的研究[D];江苏大学;2010年
10 李罗;本体知识库的封闭世界假设研究[D];北京交通大学;2010年
中国重要报纸全文数据库 前2条
1 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年
2 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978