切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
渐近实现非单调推理(英文)
渐近实现非单调推理(英文)
来源 :中山大学学报论丛 | 被引量 : 0次 | 上传用户:Melanzpl2
【摘 要】
:
我们提出了基于枚举函数的R-重构的概念,从语义和语法方面刻画了它的重要性质。特别,我们证明了这类R-重构是ω-递归可枚举集合,从而为非单调推理的渐近实现提供了一可能的途
【作 者】
:
苏开乐
【出 处】
:
中山大学学报论丛
【发表日期】
:
2000年1X期
【关键词】
:
非单调逻辑
R-重构
枚举函数
nonmonotonic
R-reconstruction
enumerating function
【基金项目】
:
国家863计划项目,广东省自然科学基金项目,南京大学计算机软件新技术国家重点实验室开放基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
我们提出了基于枚举函数的R-重构的概念,从语义和语法方面刻画了它的重要性质。特别,我们证明了这类R-重构是ω-递归可枚举集合,从而为非单调推理的渐近实现提供了一可能的途径。
其他文献
浅谈中学图书馆信息素养教育实践
简述了国内外关于信息素养的概念,分析了在现代信息环境下中学图书馆在培养高中生信息素养中的重要作用,探讨了中学图书馆对高中生进行信息素养教育的措施。
期刊
中学图书馆
信息素养教育
信息意识
high school library
information literacy education
informati
闽企赴台投资问题初探
在分析闽企赴台投资现状的基础上,阐述了闽企赴台投资的动因及障碍,提出了推进闽企赴台投资的策略建议:(1)加快两岸协商,优化投资环境;(2)强化政策支持,调动投资积极性;(3)做好市场
期刊
福建企业
台湾地区
投资
Fujian enterprises
Taiwan
investment
移动互联网用户群的变化及影响
用户为什么不是原来的用户对于影响移动互联网用户行为的因素,学者众说纷纭,根据相关学者的研究和实证分析,得出影响用户消费行为的因素包括外部因素和内部因素。外部因素一
期刊
移动互联网
用户群
消费者行为
用户行为
实证分析
内部因素
消费行为
人口流动
旅游市场合作治理共同体构建及运行机制研究——以海南为例
旅游市场秩序治理在全域旅游发展新时代肩负着更为重要的使命。现有的旅游市场秩序治理虽然不断创新并取得初步成效,但依然与新时代的高标准有差距。合作治理理论为旅游市场
期刊
旅游市场秩序
合作治理
共同体
运行机制
AT&T:用技术手段拒绝被旁路
在近日举行的开发者峰会上,AT&T进一步确认了通过技术手段对抗OTT服务商的策略。AT&T移动公司首席营销官DavidChristopher透露,该公司最近推出了一款应用专门用于吸引互联网电话
期刊
AT&T
技术
互联网电话
旁路
电话用户
通话功能
移动公司
呼叫管理
依托英语专业学科内容培养涉外旅游人才实证研究
通过依托英语专业学科内容培养涉外旅游人才的实证研究,采用定量研究和定性研究相结合的方法,对参加依托式旅游英语教学的学生群体(实验组)和传统教学的学生群体(对照组)进行
期刊
CBI教学模式
人才培养
学习动机
语言水平
专业技能
content-based instruction
talent cultivation
acade
物联网催生新经济
近日,由赛迪顾问重磅推出的《中国物联网产业发展及应用实践》公开出版.该书由中国电子信息产业发展研究院和赛迪顾问股份有限公司联合编撰,对我国物联网产业发展及应用实践
期刊
物联网
信息产业发展
新经济
专业文献
研究院
应用
中国
股份
关于正规教学在第二语言习得中的作用
为了研究正规教学在第二语言习得(SLA,下同)中的作用,有必要把正规教学对SLA路径及速度/成功的影响分别加以考虑.结果发现正规教学只对后者产生作用,而对前者没有影响.三种理
期刊
正规教学的作用
非相交理论
相交理论
变化性理论
行政公文标题格式规范化浅论
一一篇文章,第一时间令读者注目睥,不是别的什么,而是文章的标题,这是人所共知的体验。由此可见,文章标题的重要性。公文标题如此,非公文标题亦如此。就一般文章(非公文)标题
期刊
行政公文
标题格式
规范化
公文标题
发文机关
中华人民共和国主席
附加式
基本式
文章标题
数学公式
文学史教学得失谈
【正】走上工作岗位以来,我主要承担的是本科基础课《明清文学史》的教学工作。这之中,不乏失败的教训。在这里,我仅就文学史教学的目的,以及如何达到这一目的提出一些问题,
期刊
文学史教学
文学史教材
文学作品
文学现象
教学过程
教学的目的
文学流派
文学发展
教师
教学工作
与本文相关的学术论文