论文部分内容阅读
本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。
非单调性和不一致性的处理—一个基于线性逻辑的方法
【摘 要】
：
本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。
【机 构】
：
上海交通大学计算机系,上海交通大学计算机系上海200030,上海200030
【出 处】
：
软件学报
【发表日期】
：
1993年4期
【基金项目】
：
国家自然科学基金
其他文献
本文提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行ＰＰＵ｛Ｇ｝的部分演绎和抽象解释，以轴象解释控制部分演绎的展开过程，只要抽象论域是
鼻后滴流综合征是，由于鼻部疾病引起的，分泌物倒流鼻后甚至反流入声门或气管，导致以咳嗽为主要的综合症，是慢性咳嗽的常见病因。
本文详细讨论了一个实用专家系统的开发技术，主要包括：ＦＬ知识表示法，定量化模型，知识库的组织与维护方法以及不确定推理方法。
抽象语法表示ASN.1在OSI网络高层协议的描述与开发方面起着重要的作用,本文介绍了ASN.1支持工具的构成及基于ASN.1的OSI网络应用层协议的开发环境,并给出了开发实例。
本文介绍了一个在ＳＵＮ工作站网络上实现的分布式Ｃ－ＰＲＯＬＯＧ解释系统ＤＣ－ＰＲＯＬＯＧ，它能够自动地将其应用程序的顺序解释过程变为并行解释过程；能够充分利用空闲的主存资源求解大问题，使一些单机上因内存容量
本文首先阐明了汉语分析中所要面对的问题，并描述了如何建立搭配词典以表达个性的语文现象及处理规则，为了适应自然语言中随机性和规律性，我们提出了一个词汇语义驱动算法，它不仅
一、信息时代信息情报人员面对的问题 随着新技术革命和信息时代的到来,社会的发展变化更加迅速,竞争不断加剧。信息情报的作用越来越引起社会各界的关注。图书馆作为交流勾
目的回顾性分析肺癌放射治疗后并发放射性肺炎的发生率，了解发生的相关因素。方法自2007年1月～2008年04月期间我院收治的30例肺癌病人。采用10MV X射线和（或）60Coγ射线。照射野
一体化教师,是指专业技术课教师与生产实习指导教师的一体化,目前,技工学校和职业学校的专业技术课教师大部分是来自大、中专院校的毕业生,他们虽然具有系统、全面的专业理论