【摘 要】
：
<正> 自然推理系统是二十世纪三十年代首先被波兰逻辑学家C·雅斯科夫斯基和德国的逻辑学家G·根森分别提出的。在自然推理系统中,出发点并不是公理,而是随时引进的假设前提,
论文部分内容阅读
<正> 自然推理系统是二十世纪三十年代首先被波兰逻辑学家C·雅斯科夫斯基和德国的逻辑学家G·根森分别提出的。在自然推理系统中,出发点并不是公理,而是随时引进的假设前提,从这些假设前提出发,应用推理规则或推理图式,就能有效的达到推理目的。由于这种推理方法类似于自然科学尤其数学中常用的那种证明程序(如定律,定理的证明)。因此,把它称为自然推理或自然演算。为了了解自然推理的实质及特点,我们必须对构成自然推理系统的推理部分,即推理规则及推理所依据的推理图式作一简单介绍。(由于篇幅所限其它部分不在此介绍了)。
其他文献
八年前,在贵州的进口小型汽车坏了,要运到深圳、广州或汕头去维修,不仅路途遥远,而且费时,费力。后来,贵阳市进口小型汽车维修服务中心的诞生和发展,犹如异军突起,打破了进口
新感觉派小说既是现代都市文学的开端,更是一种存在主义视域下的先锋性创作;一方面现代"都市"景观为其提供了一种文化背景、创作语境,另一方面"人"与"城市"的现代性关系诱使
青年思想政治教育以其特有的价值维系自身的存在与发展。研究青年思想政治教育价值发展的实现,对于深刻认识青年思想政治教育存在发展的必然性、科学性,既具理论价值又具现实
我国政府掌握的资产不仅数量大、分布广泛而且种类繁多,目前我国政府对资产的管理实行归口分级管理。由于技术和制度原因,该管理模式不仅不能全面呈现政府掌管资源的管理绩效
豢养宠物犬是为了调解心情、缓解压力、消除寂寞。随着人们物质生活水平提高，豢养量会逐年增加，一个家庭饲养多只犬的情况更是屡见不鲜。然而，伴随宠物犬走入千家万户，各种人犬共
本报讯 记者李诗晓报道：2月28日至29日，集团公司召开2016年法治工作会议，要求法律系统要以全面推进依法依规从严治企为主线，深化“两个转变”，推进“两个升级”，强化中国石化提质增
当代通俗小说是一种文学消费主义的表现。在消费文化的视野中，文学创作根本就不思考人的终极价值，也不思考什么文学的内在规律以及自我特性，它就是将文学当作时尚生活消费品，看作