【摘 要】
：
形式化的自然推理系统最显著的特点就是引入假设前提。在自然推理中,可以根据需要随时引入假设前提,但是推理的结论不能依赖于假设前提,因此假设前提在其完成了使命后,必须被
论文部分内容阅读
形式化的自然推理系统最显著的特点就是引入假设前提。在自然推理中,可以根据需要随时引入假设前提,但是推理的结论不能依赖于假设前提,因此假设前提在其完成了使命后,必须被消去。运用假设前提消去规则进行推理就是按照＂如果A1,A2,…,An├B,那么A1,A2,…,An-1├An→B＂的规则进行语形变换的过程,但是理解假设前提消去规则何以能够消去假设前提这个问题,涉及到对前提与结论之间真假制约情况的讨论,属于语义解释的范围。
其他文献
以电机单向启动控制电路来模拟单个风扇电气回路的运行,通过仿真来进行提升和改进风冷系统的稳定性,并对设备的可行性及安全性进行了论证,达到了提高主变风冷系统运行可靠性
财务管理信息化是现代财务工作的必然趋势,而Excel技术是其中关键的辅助工具。文章探讨了Excel的基本特点和功能,并以企事业单位工作为例展示Excel在固定资产折旧中的用途,同
对原发性开角型青光眼34例、低眼压性青光眼31例及正常对照组90例进行彩色多普勒图象研究，测量双眼眼动脉、视纲膜中央动脉、睫状后动脉的收缩期血流速度（peaksystolicvelocity
城市综合管廊建设是公共建设事业的重要组成部分,也顺应了我国城市公用管线综合化发展的趋势,从而为社会群众提供更加优质的公共服务。火灾自动报警系统作为城市综合管廊的重
平时进行鱼卵孵化时，大多需要高位水池或水塔、砂滤罐等设施，在不具备这些条件的地方孵化非粘性的沉性鱼卵就会很不方便，这里介绍的孵化网箱就可以很容易地解决这个问题，而使鱼卵
父亲是孩子的精神偶像与物质生活提供者,然而,在托妮·莫里森的小说中读者却很难找到父亲的形象,尤其是正面父亲的形象。缺失父爱的黑人孩子往往陷入人生恶性循环的“马太效
为了研究不同减速设施的减速效果。本文选取四种规格的减速丘和减速带为主要研究对象，通过实验设计和现场调研获取数据，对比农村公路上这四种典型的减速设施的85％位车辆速度；经过
自1993年对虾暴发病流行以来,虾病一直困扰着养虾业,给广大养殖户带来了很大的经济损失.经过各界多年来不断研究,很多业者已摸索到一些防治虾病的方法,如通过杀灭病原菌,补充
阐述了河蟹苗的质量鉴别及运输技术关键。研究结果表明 ,出苗龄期为 6日龄 ,规格均匀 ,每公斤个体数在 1 4万～ 1 6万只 ,出苗时水温控制在 2 0℃～ 2 2℃ ,淡化盐度在 5‰以下 ,
本工作通过制备一系列聚合物膜Ba2+选择电极,比较了分别以不同的聚合物基体和增塑荆所组成的膜电极对Ba2+的响应性能。其中聚合物基体为聚氯乙烯、氯化聚乙烯、EVA、聚醋酸乙