Some Observations on Induction in Predicate Probabilistic Reasoning

被引:0
|
作者
M. J. Hill
J. B. Paris
G. M. Wilmers
机构
[1] University of Manchester,Department of Mathematics
来源
关键词
induction; inductive methods; probabilistic reasoning; uncertain reasoning;
D O I
暂无
中图分类号
学科分类号
摘要
We consider the desirability, or otherwise, of various forms of induction in the light of certain principles and inductive methods within predicate uncertain reasoning. Our general conclusion is that there remain conflicts within the area whose resolution will require a deeper understanding of the fundamental relationship between individuals and properties.
引用
收藏
页码:43 / 75
页数:32
相关论文
共 50 条
  • [1] Some observations on induction in predicate probabilistic reasoning
    Hill, MJ
    Paris, JB
    Wilmers, GM
    JOURNAL OF PHILOSOPHICAL LOGIC, 2002, 31 (01) : 43 - 75
  • [3] Reasoning using a probabilistic predicate transition net model
    Sil, J.
    Konar, A.
    International Journal of Modelling and Simulation, 2001, 21 (02): : 155 - 168
  • [4] A COMPARISON OF SOME RULES FOR PROBABILISTIC REASONING
    GARBOLINO, P
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1987, 27 (5-6): : 709 - 716
  • [5] Probabilistic predicate transformers
    Morgan, C
    McIver, A
    Seidel, K
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1996, 18 (03): : 325 - 353
  • [6] LEBESGUE LOGIC FOR PROBABILISTIC REASONING AND SOME APPLICATIONS TO PERCEPTION
    BENNETT, BM
    HOFFMAN, DD
    MURTHY, P
    JOURNAL OF MATHEMATICAL PSYCHOLOGY, 1993, 37 (01) : 63 - 103
  • [7] Some Thoughts on the Role of Probabilistic Reasoning in the Evaluation of Evidence
    Aitken, Colin G. G.
    CRIMINAL AND ENVIRONMENTAL SOIL FORENSICS, 2009, : 33 - 47
  • [8] Probabilistic models for intuitionistic predicate logic
    Georgescu, George
    JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (06) : 1165 - 1176
  • [9] Probabilistic Inference for Predicate Constraint Satisfaction
    Satake, Yuki
    Unno, Hiroshi
    Yanagi, Hinata
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 1644 - 1651
  • [10] PREDICATE TRANSFORMERS FOR REASONING ABOUT CONCURRENT COMPUTATION
    CHANDY, KM
    SANDERS, BA
    SCIENCE OF COMPUTER PROGRAMMING, 1995, 24 (02) : 129 - 147