摘要
分析了归纳推理与演绎推理的区别，给出了归纳推理的形式化规则，定义了重构和归纳进程（序列）的概念．同时还给出了一个产生归纳序列的归纳过程模式，并证明：若已知模型Ｍ的全体实例集合εＭ，则可以从任一给定的理论出发，使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限，这个极限就是模型Ｍ的全部真语句．这说明了归纳推理规则的合理性．
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.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1998年第4期373-381,共9页
Journal of Beijing University of Aeronautics and Astronautics
基金
国家自然科学基金
攀登计划基金
关键词
人工智能
数理逻辑
归纳推理
认识进程
演绎
artificial intelligence
mathematical logic
theorem proving
inductive inference
cognition process
