北京航空航天大学学报 ›› 1998, Vol. 24 ›› Issue (4): 373-381.

• 论文 •    下一篇

归纳推理和归纳进程

李未   

  1. 北京航空航天大学 计算机科学与工程系
  • 收稿日期:1998-06-11 出版日期:1998-04-30 发布日期:2010-09-29
  • 作者简介:男 55岁 教授 100083 北京
  • 基金资助:

    国家自然科学基金(69433030)和攀登计划基金资助项目

Inductive Inference and Inductive Process

Li Wei   

  1. Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering
  • Received:1998-06-11 Online:1998-04-30 Published:2010-09-29

摘要: 分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合εM,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.

Abstract: This paper analyzes the difference between inductive inference and deductive inference, presents a formal logic framework for inductive inference, and defines the concepts of reconstruction and inductive sequence. In addition, it gives an inductive procedure to generate inductive sequences. It proves that for a model M, if the set εM of all its instances is known, then starts with any theory, all inductive sequences generated by the procedure will converge to the same limit, i.e., the set of all true sentences of model M. Therefore, it justifies the inductive rules.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发