Inductive inference and inductive process

被引：0
|
作者：
Beijing Univ of Aeronautics and, Astronautics, Beijing, China [1 ]
机构：
来源：
Ruan Jian Xue Bao | / 4卷 / 373-381期
关键词：
Automata theory - Formal logic - Inference engines;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The differences between inductive inference and deductive inference were studied. The formal logic framework for inductive inference was presented and the concepts of reconstruction and deductive sequence were defined. In addition, the inductive procedure to generate inductive sequences was given. It has proved that if the sequence of all instances is known for the model, then all inductive sequences generated by the procedure will converge to same limit, i.e. the set of all true sentences of the model from any given theory. The result has interpreted reasonableness of inductive inference rules.
引用
收藏
相关论文
共 50 条
  • [1] Inductive inference and inductive process
    Li, Wei
    Zidonghua Xuebao/Acta Automatica Sinica, 1998, 24 (05): : 373 - 381
  • [2] Genericity and Inductive Inference
    Schiller, Henry Ian
    PHILOSOPHY OF SCIENCE, 2023, 90 (03) : 539 - 557
  • [3] Understanding and Inductive Inference
    Blum, Manuel
    COMPUTING AND COMBINATORICS, 2010, 6196 : 1 - 1
  • [4] INDUCTIVE INFERENCE AND UNSOLVABILITY
    ADLEMAN, LM
    BLUM, M
    JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (03) : 891 - 900
  • [5] On Principles of Inductive Inference
    Kostecki, Ryszard Pawel
    BAYESIAN INFERENCE AND MAXIMUM ENTROPY METHODS IN SCIENCE AND ENGINEERING, 2012, 1443 : 22 - 31
  • [6] Inductive inference with incompleteness
    Alon, Shiri
    Bavly, Gilad
    Gayer, Gabrielle
    GAMES AND ECONOMIC BEHAVIOR, 2022, 132 : 576 - 591
  • [7] Ramsification and inductive inference
    Panu Raatikainen
    Synthese, 2012, 187 : 569 - 577
  • [8] THE PROBLEM OF INDUCTIVE INFERENCE
    NEYMAN, J
    COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, 1955, 8 (01) : 13 - 46
  • [9] ON THE COMPLEXITY OF INDUCTIVE INFERENCE
    DALEY, RP
    SMITH, CH
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 176 : 255 - 264
  • [10] Subjectivity in inductive inference
    Gilboa, Itzhak
    Samuelson, Larry
    THEORETICAL ECONOMICS, 2012, 7 (02): : 183 - 215
12345