| 基于Lakatos证伪方法论的机器发现逻辑 |
| |
| 引用本文： | 谢康,孙怀民.基于Lakatos证伪方法论的机器发现逻辑[J].北京航空航天大学学报,1992(3):27-35. |
| |
| 作者姓名： | 谢康 孙怀民 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系
(谢康)，北京航空航天大学计算机科学与工程系(孙怀民) |
| |
| 摘 要： | 介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。
|
| 关 键 词： | 证伪方法论 项重写系统 关系变元 |
MACHINE DISCOVERY LOGIC BASED ON LAKATOS REFUTATION METHODOLOGY |
| |
| Xie Kang Sun Huaimin.MACHINE DISCOVERY LOGIC BASED ON LAKATOS REFUTATION METHODOLOGY[J].Journal of Beijing University of Aeronautics and Astronautics,1992(3):27-35. |
| |
| Authors: | Xie Kang Sun Huaimin |
| |
| Institution: | Dept. of Computer Sci. and Eng. |
| |
| Abstract: | This paper describes the theory of machine discovery logic based on second order term rewriting technology as well as two experiment system DL and ALP.Meanwhile,an example is given to explain the working principle of ALP system.This paper give us the application prospect of machine discovery logic in mathematical discovery and automatic logic programming. |
| |
| Keywords: | refutation methodology term rewriting system relational variable BN unification PN unification hypothesis calculation |
| 本文献已被 CNKI 维普 等数据库收录！ |
