【摘要】 介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。更多还原

【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.更多还原