切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
非单调性和不一致性的处理—一个基于线性逻辑的方法
非单调性和不一致性的处理—一个基于线性逻辑的方法
来源 :软件学报 | 被引量 : 0次 | 上传用户:eric_nj
【摘 要】
:
本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。
【作 者】
:
黄林鹏
孙永强
【机 构】
:
上海交通大学计算机系,上海交通大学计算机系上海200030,上海200030
【出 处】
:
软件学报
【发表日期】
:
1993年4期
【关键词】
:
非单调性
不一致性
线性逻辑
处理
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。
其他文献
一个基于抽象解释部分演绎过程
本文提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里,针对给定的程序P和目标G,同时进行PPU{G}的部分演绎和抽象解释,以轴象解释控制部分演绎的展开过程,只要抽象论域是
期刊
逻辑程序
部分演绎
抽象解释
程序设计
Logic programming
partial deduction
abstract interpretatio
鼻后滴流综合征性咳嗽40例治疗体会
鼻后滴流综合征是,由于鼻部疾病引起的,分泌物倒流鼻后甚至反流入声门或气管,导致以咳嗽为主要的综合症,是慢性咳嗽的常见病因。
期刊
鼻后滴流综合征
慢性咳嗽
治疗
鼻部疾病
常见病因
分泌物
综合症
SJ—3专家系统的开发技术
本文详细讨论了一个实用专家系统的开发技术,主要包括:FL知识表示法,定量化模型,知识库的组织与维护方法以及不确定推理方法。
期刊
专家系统
知识表示
知识库
Expert system
knowledge representation
knowledge base
reasoning
ASN.1支持工具与应用层网络协议开发环境
抽象语法表示ASN.1在OSI网络高层协议的描述与开发方面起着重要的作用,本文介绍了ASN.1支持工具的构成及基于ASN.1的OSI网络应用层协议的开发环境,并给出了开发实例。
期刊
层网络协议
开发环境
支持工具
使用工作站网络并行执行prolog程序
本文介绍了一个在SUN工作站网络上实现的分布式C-PROLOG解释系统DC-PROLOG,它能够自动地将其应用程序的顺序解释过程变为并行解释过程;能够充分利用空闲的主存资源求解大问题,使一些单机上因内存容量
期刊
PROLOG语言
工作站网络
解释程序
Distributed PROLOG
AND parallelism
remote execution
speedu
基于搭配词典的词汇语义驱动算法
本文首先阐明了汉语分析中所要面对的问题,并描述了如何建立搭配词典以表达个性的语文现象及处理规则,为了适应自然语言中随机性和规律性,我们提出了一个词汇语义驱动算法,它不仅
期刊
机器翻译
汉语分析
词汇语义
词典
语言处理
信息时代信息情报人员的继续教育
一、信息时代信息情报人员面对的问题 随着新技术革命和信息时代的到来,社会的发展变化更加迅速,竞争不断加剧。信息情报的作用越来越引起社会各界的关注。图书馆作为交流勾
期刊
信息时代
图书馆员继续教育
信息情报
图书馆事业
图书情报服务
职业技术
文献资料
发展状况
新技术革命
图书资料
急性放射性肺炎30例临床分析
目的回顾性分析肺癌放射治疗后并发放射性肺炎的发生率,了解发生的相关因素。方法自2007年1月~2008年04月期间我院收治的30例肺癌病人。采用10MV X射线和(或)60Coγ射线。照射野
期刊
放射性肺炎
胸部肿瘤/放射治疗
并发症
the radiation pneumonia
the thoracic tumor/radiotherapy
co
职业技术高师一体化教师的培养模式探讨
一体化教师,是指专业技术课教师与生产实习指导教师的一体化,目前,技工学校和职业学校的专业技术课教师大部分是来自大、中专院校的毕业生,他们虽然具有系统、全面的专业理论
期刊
职业技术
培养模式
一体化
计算机辅助制造
师范院校
操作技能
指导教师
实践环节
课程设置
技能训练
大学公共外语课教学点滴
在教学中我们看到,新的《大学英语教学大纲》要求学生掌握的语法和词汇在两张相应的附表中做了具体规定,还在《功能意含表》和《语言技能表》中提供了衡量学生英语水平的标准
期刊
大学公共外语
《大学英语教学大纲》
教学点
四级统考
语言技能
写作能力
听力理解
阅读能力
听力技能
写作技能
与本文相关的学术论文