留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

归纳推理和归纳进程

李未

李未. 归纳推理和归纳进程[J]. 北京航空航天大学学报, 1998, 24(4): 373-381.
引用本文: 李未. 归纳推理和归纳进程[J]. 北京航空航天大学学报, 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)

归纳推理和归纳进程

基金项目: 国家自然科学基金(69433030)和攀登计划基金资助项目
详细信息
  • 中图分类号: TP 18

Inductive Inference and Inductive Process

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

     

  • 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
  • 加载中
计量
  • 文章访问数:  3093
  • HTML全文浏览量:  123
  • PDF下载量:  900
  • 被引次数: 0
出版历程
  • 收稿日期:  1998-06-11
  • 网络出版日期:  1998-04-30

目录

    /

    返回文章
    返回
    常见问答