证明树相关论文
荒唐的奇想？不同植物之间的基因嫁接可能会产生新品种，那么，人与植物之间的基因“嫁接”会有什么奇迹出现？也许这一想法有些荒唐，然而，奥......
在南非豪登省史特克方登石洞(Sterkfontein Caves)里,目前发现了一些距今200万到80万年的颚骨、牙齿和其他骨骼等化石碎片,从而确......
夜半子(23:00-1:00)只有树知道:夜是从第一颗露珠的内部开始启程的。夜长有双脚,悄悄地往前触动、试探。那是时间生长的开始。在子......
聚酰胺-胺(Polyamidoamine,简称PAMAM)树状大分子是一种人工合成的具有树状结构的大分子物质,它具有水溶性强,稳定性好,生物兼容性......
为了证明树体大小与根系的分布状态和地上部分与地下部分生长量的关系,我们利用苗圃地栽植树木进行试验。关于当年生长季结束以后......
萧县杨楼区刘套公社张庄小学,1972年师生自己动手,在学校周围栽植一百多棵杨树和梧桐树,由于精心管理,生长很
Liu Zhuang Xiaoshu......
本文描述一个专家系统外壳开发环境 ESSDE,该环境支持用户选择不同的管理用户的基于规则的知识库机制来构造特殊的专家系统外壳。E......
在专家系统中,传统的推理路径的解释就是向用户提供已验证的知识库中的实化规则序列。本文给出一个算法,它能删除原解释中的一些规......
本文研究逻辑程序实现的推理动机性问题,并提出几种改善推理动机性的思想。
This article studies the reasoning motivation of ......
引言PROLOG语言是建立在一阶谓词演算上的一种人工智能语言。到目前为止,已在人工智能的各个研究领域被广泛应用。但是,在进行模......
近来,在机器学习研究领域中,解释学习倍受重视,而其中心机制——解释推广却受限于一阶逻辑,为支持高阶对象和模态概念,本文介绍了......
定义了一种公理化的抽象逻辑,它以经典逻辑所具有的证明论性质及模型论性质为公理,可以用于构造抽象的开放逻辑理论,因而可以用于......
【正】 导言。[0,2π]上 L~函数(p】1)的傅里时级数的几乎处处收敛性有两个著名的证明——Carleson-Hunt 的证明[1,4]与 Fefferman......
提出针对重言衍推系统的模仿人类思维方式的生成可读证明的算法:试探法。试探法将待证的命题逐步分解成子命题并构造一颗证明树,对......
引言面向对象、面向过程和面向规则是当前使用最多的三种知识表示方法。而早期的专家系统开发工具只提供单一的知识表示方法。不同......
本文提出了相干命题逻辑系统R的一种演绎生成算法——试探法。该算法采用后向推理法，依据推理规则将待证命题逐步分解成子命题并构......
