|
|||||
|
|
| 基于项重写技术的机器发现逻辑 | |
| 作者姓名： | 孙怀民 梁群 |
| 作者单位： | 北京航空航天大学计算机科学与工程系 北京 100083 |
| 摘 要： | 机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法. |
| 关 键 词： | 证伪方法论 重写系统 关系变元 BN合一 PN合一 假说演算 |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |