论文部分内容阅读
介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。
基于Lakatos证伪方法论的机器发现逻辑
【摘 要】
：
介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。
【机 构】
：
北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系
【出 处】
：
北京航空航天大学学报
【发表日期】
：
1992年3期
其他文献
瓦斯参数井中绳索取芯钻进施工中的新技术的应用,简要介绍了绳索取芯钻进中钻压、转速、泥浆的特点,提出了今后有待完善的改进意见。
利用力学原理，建立了用微分方程描述的带不等式约束优化问题的物理模型，用人工释能和摄动的思想，推广了现行的一些可行方向算法，并对算法的收敛性进行了讨论。
柳沟庄构造作为玉门油田开发的重点区域,开发难度大,主要存在白杨河组水化膨胀引起井壁失稳造成井塌埋钻,严重制约了工程的提速。2001～2010年共完成13口井,复杂和事故损失率高
由于滩海地区所处的特定地理环境，加上潜山油藏埋藏深，井下温度高，在开采的过程中难度较大。针对滩海地区潜山油藏的特点，对潜山油藏完井方式进行了选择，同时配套了相应的安全生产
本文导得了轴对称流的位函数φ与流函数ψ的偏导数之间的一个关系式,此式与平面流的关系式是类似的,它是Molenbroek-Chaplygin变换式的推广。本文还导得了轴对称流中的导数的
Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基
国有商业银行的应收未收利息居高不下，日趋严重，已成为影响和抑制银行经营效益的重要因素之一。这一问题产生的原因是多方面的：既有银行内部自身的因素，也有外部环境的因素；既有历
阐述了频率输出的新型谐振传感器的发展方向之一——微型化。评价性地论述了热激励硅谐振压力传感器和热激励谐振膜质量流量传感器。重点讨论了热激励的原理,特点等。指出我
老挝伦奔河谷金矿在大地构造上属于中南半岛台褶带东部,长山—邦美蜀海西印支复式褶皱带南端。通过与国内黔东南金矿相对比,伦奔河谷金矿与后者无论在矿化蚀变、围岩蚀变、构
分析了具有同样厚度、不同宽度的带侧槽（ｓｉｄｅｇｒｏｏｖｅ）ＨＹ－１３０钢三点弯曲深裂纹试样的Ｊ－Ｒ曲线及能量耗散率ｄＷｄｉｓ／Ｂｄａ的变化规律．发现了裂纹在有限载荷下扩展相同长度时，愈宽的试样的Ｒ曲线趋于愈低的位置．并对此进行