| 基于证明分析的机器发现技术及其应用 |
| |
| 引用本文： | 刘发贵.基于证明分析的机器发现技术及其应用[J].华南理工大学学报(自然科学版),1998,26(5):56-60. |
| |
| 作者姓名： | 刘发贵 |
| |
| 作者单位： | Dept. of Computer Engineering and Science，South China Univ. of Tech.，Guangzhou 510641 |
| |
| 摘 要： | 机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化．本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系统———证明分析演算．应用证明分析演算，实现了机器发现实例，从而得到了一实用的机器发现技术．
|
| 关 键 词： | Lakatos方法论 Tableau方法 证明分析演算 形式化系统 机器发现技术 |
THE MACHINE DISCOVERY TECHNIQUE AND ITS APPLICATION BASED ON PROVING ANALYSIS CALCULUS |
| |
| Liu Fagui.THE MACHINE DISCOVERY TECHNIQUE AND ITS APPLICATION BASED ON PROVING ANALYSIS CALCULUS[J].Journal of South China University of Technology(Natural Science Edition),1998,26(5):56-60. |
| |
| Authors: | Liu Fagui |
| |
| Abstract: | For machine learning and discovery, we need to formalize the ideas and methodology developed by the advanced philosophy of science. This paper gives a brief introduction of Lakatos methodology, introduces a proving analysis calculus based on restricted second order Tableau calculus for realizing the formalization of Lakatos' methodology, and gives its discovery example by using the machine discovery technique, thus resulting in a useful machine discovery technique. |
| |
| Keywords: | Lakatos' methodology Tableau method proving analysis calculus formalization system machine discovery technique |
| 本文献已被 CNKI 维普 等数据库收录！ |
