[an error occurred while processing this directive]
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 1998, Vol. 24 Issue (4) :373-381    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
�������պ����ѧ �������ѧ�빤��ϵ
Inductive Inference and Inductive Process
Li Wei*
Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering

Download: PDF (425KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ �����˹����������������������, �����˹����������ʽ������,�������ع��͹��ɽ���(����)�ĸ���.ͬʱ��������һ�������������еĹ��ɹ���ģʽ,��֤��:����֪ģ�ͪ�M��ȫ��ʵ������εM,����Դ���һ���������۳���, ʹ�ô˹��ɹ���ģʽ�����������й������ж�������ͬһ����,������޾���ģ��M��ȫ�������. ��˵���˹����������ĺ�����.
Email Alert
�ؼ����� �˹�����   �����߼�   ����֤��   ��������   ��ʶ����     
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.
Keywords�� artificial intelligence   mathematical logic   theorem proving   inductive inference   cognition process     
Received 1998-06-11;


About author: �� 55�� ���� 100083 ����
��δ.��������͹��ɽ���[J]  �������պ����ѧѧ��, 1998,V24(4): 373-381
Li Wei.Inductive Inference and Inductive Process[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 1998,V24(4): 373-381
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y1998/V24/I4/373
Copyright 2010 by �������պ����ѧѧ��