Advanced Search
Volume 24 Issue 4
Apr.  1998
Turn off MathJax
Article Contents
Journal of Beijing University of Aeronautics and Astronautics  > 1998  >  24(4): 373-381.
Li Wei. Inductive Inference and Inductive Process[J]. Journal of Beijing University of Aeronautics and Astronautics, 1998, 24(4): 373-381. (in Chinese)
Citation: Li Wei. Inductive Inference and Inductive Process[J]. Journal of Beijing University of Aeronautics and Astronautics, 1998, 24(4): 373-381. (in Chinese)
shu

Inductive Inference and Inductive Process

  • Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering

  • Received Date: 11 Jun 1998
  • Publish Date: 30 Apr 1998
    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.

     

    • FullText(HTML)
  • loading
    • References(1)
  • 1. 莫绍揆.归纳逻辑探微.哲学研究,1993,(增刊):1~27 2. 李未.一个开放的逻辑系统.中国科学(A辑),1992,35(10):1103~1113 3. Gallier J H.Logic for computer science, foundations of automatic theorem proving. Singapore:John Wiley & Sons,1987 4. Chang C C,Keisler H J. Model Theory. Amsterdam:North-Holland, 1990 5. Paulson L. Logic and computations. Cambridge:Cambridge University Press, 1987 6. Flew A. A dictionary of philosophy.London:Pan Books Ltd, 1979 7. Alchourron C E, Gardenfors R, Makinson D. On the logic of theory change:partial meet contraction and revision functions. The Journal of Symbolic Logic, 1985,50(2):510~530 8. Li W. A logical framework for evolution of specifications, Programming Languages and Systems.In:Lecture Notes in Computer Science 788. Berlin:Sringer-Verlag,1994.394~408
    • Relative Articles
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(3235) PDF downloads(903) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return