论文部分内容阅读
修论逻辑LP是一个超协调逻辑，极小悖论逻辑LPm是一个LP的非单调逻辑扩展．本文给出了一阶LP和LPm的表演算．为此，本文在论证了（极小）悖论逻辑语义性质基础上，首先给出一个LP的（记号）表演算，然后给出一个LPm的极小表演算，并证明了两个表演算分别对于LP和LPm语义的可靠与完全性定理．
悖论逻辑及其表演算
【摘 要】
：
修论逻辑LP是一个超协调逻辑，极小悖论逻辑LPm是一个LP的非单调逻辑扩展．本文给出了一阶LP和LPm的表演算．为此，本文在论证了（极小）悖论逻辑语义性质基础上，首先给出一个LP的（记号）表演
【机 构】
：
北京大学信息科学系!北京,100871
【出 处】
：
计算机学报
【发表日期】
：
1998年S1期
其他文献
基于降低城市污水厂电气能耗的目的,针对污水厂电气节能问题,做了简单的论述,提出了减少能源消耗的策略,共享给相关人员参考。从电气设计到电气运行管理等全过程,通过优选设
3月12日,三一泵送事业部黑、吉、辽分公司相继启动＂春暖东三省增值大行动＂,由总部技术专家、分公司营销经理与服务经理,以及服务工程师组成的服务小组集结各区域中心,全力投入
本文提出了一个用光栅显示器或数字化绘图仪等显示设备中选择曲线上最佳点的通过算法，该算法由几部分组成，分别对应曲线的不同走向段，其最大的特点是可以根据实际曲线的走向，在算
反馈型神经网络由于具有极为丰富的动力学行为和整体计算能力（如优化、联想、振荡和混饨）而倍受关注，近几年的研究表明，当网络的时延足够小时，具有延时的对称Hopfield型神经网络和
水泥是日常生活中常见的材料之一,任何一个建筑都离不开水泥的参与,在我国的工业中水泥材料的好坏是重中之重,才能够决定建筑工程的质量好坏。水泥和水反应会产生水化热。在
本文介绍了国内农作物耕地土壤重金属污染问题,然后从生态自然、社会活动等层面介绍了农产品区域土壤重金属的主要来源,详细阐述了解决重金属污染的治理策略,且对研究领域出
近年来,我国电力工程质量通病、事故时有发生,严重制约企业转型升级和行业健康发展。在我国,电力工程质量问题集中表现为质量 管理行为和工程实体质量方面问题。本文基于电力