Inference Processes for Quantified Predicate Knowledge

We describe a method for extending an inference process for propositional probability logic to predicate probability logic in the case where the language in purely unary and show that the method is well defined for the Minimum Distance and CMi¾?inference processes.

[1]  Jeff B. Paris,et al.  A note on the inevitability of maximum entropy , 1990, Int. J. Approx. Reason..

[2]  Wilfrid Hodges,et al.  Model Theory: The existential case , 1993 .

[3]  Jeff B. Paris,et al.  Maximum Entropy Inference with Quantified Knowledge , 2007, Log. J. IGPL.

[4]  Joseph Y. Halpern,et al.  Asymptotic Conditional Probabilities: The Unary Case , 1996, SIAM J. Comput..

[5]  J. Hintikka,et al.  An Axiomatic Foundation for the Logic of Inductive Generalization , 1976 .

[6]  J. Paris.  The Uncertain Reasoner's Companion: A Mathematical Perspective , 1994 .

[7]  Joseph Y. Halpern,et al.  Asymptotic conditional probabilities: The non-unary case , 1996, Journal of Symbolic Logic.

[8]  T. Kuipers.  On the generalization of the continuum of inductive methods to universal hypotheses , 1978, Synthese.

[9]  Richard C. Jeffrey,et al.  Studies in inductive logic and probability , 1971 .

[10]  W. E. Johnson.  I.—PROBABILITY: THE DEDUCTIVE AND INDUCTIVE PROBLEMS , 1932 .

[11]  Joseph Y. Halpern,et al.  From Statistical Knowledge Bases to Degrees of Belief , 1996, Artif. Intell..

[12]  Theo A.F. Kuipers.  A Survey of Inductive Systems , 1980 .

[13]  Vincent F. Hendricks,et al.  Probability Theory: Philosophy, Recent History and Relations to Science , 2001 .

[14]  Jeff B. Paris,et al.  On the applicability of maximum entropy to inexact reasoning , 1989, Int. J. Approx. Reason..

[15]  Jeff B. Paris,et al.  In defense of the maximum entropy inference process , 1997, Int. J. Approx. Reason..

[16]  Jeff B. Paris,et al.  Common sense and stochastic independence , 2001 .

[17]  Joseph Y. Halpern,et al.  Generating New Beliefs from Old , 1994, UAI.

[18]  Joseph Y. Halpern,et al.  Random Worlds and Maximum Entropy , 1994, J. Artif. Intell. Res..

[19]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[20]  Jeff B. Paris,et al.  On the Distribution of Probability Functions in the Natural World , 2001 .