Inference processes for quantified predicate knowledge

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5110 LNAI, Issue , 2008, Pages 249-259

  Paris, J B ^a   Rad, S R ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Inference processes; Probability logic; Renyi Entropies; Uncertain reasoning

Indexed keywords

LINGUISTICS; PROBABILITY;

INFERENCE PROCESS; INTERNATIONAL (CO); MINIMUM DISTANCES; PROBABILITY LOGIC;

FUZZY LOGIC;

EID: 47749133848     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69937-8_22     Document Type: Conference Paper

References (24)

1. Bacchus, F., Grove, A.J., Halpern, J.Y., Koller, D.: Generating new beliefs from old. In: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence (UAI 1994), pp. 37-45 (1994)
2. Bacchus, F., Grove, A.J., Halpern, J.Y., Koller, D.: From statistical knowledge to degrees of belief. Artificial Intelligence 87, 75-143 (1996)
3. Barnett, O.W., Paris, J.B.: Maximum Entropy inference with qualified knowledge. Logic Journal of the IGPL 16(1), 85-98 (2008)
4. Carnap, R.: A basic system of inductive logic. In: Jeffrey, R.C. (ed.) Studies in Inductive Logic and Probability, vol. II, pp. 7-155. University of California Press (1980)
5. Chang, C.C., Keisler, H.J.: Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73. North Holland, Amsterdam (1973)
6. Dimitracopoulos, C., Paris, J.B., Vencovská, A., Wilmers, G.M.: A multivariate probability distribution based on the propositional calculus, Manchester Centre for Pure Mathematics, University of Manchester, UK, preprint number 1999/6,
7. Fitelson, B.: Inductive Logic, http://fitelson.org/il.pdf
8. Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)
9. Grove, A.J., Halpern, J.Y., Koller, D.: Random Worlds and Maximum Entropy. Journal of Artificial Intelligence Research 2, 33-88 (1994)
10. Grove, A.J., Halpern, J.Y., Koller, D.: Asymptotic conditional probabilities: the unary case. SIAM J. of Computing 25(1), 1-51 (1996)
11. Grove, A.J., Halpern, J.Y., Koller, D.: Asymptotic conditional probabilities: the non-unary case. J. Symbolic Logic 61(1), 250-276 (1996)
12. Hintikka, J., Niiniluoto, I.: An axiomatic foundation for the logic of inductive generalization. In: Jeffrey, R.C. (ed.) Studies in Inductive Logic and Probability, vol. II, pp. 158-181. University of California Press, Berkeley, Los Angeles (1980)
13. Johnson, W.E.: Probability: The deductive and inductive problems. Mind 41(164), 409-423 (1932)
14. Kuipers, T.A.F.: A survey of inductive systems. In: Jeffrey, R.C. (ed.) Studies in Inductive Logic and Probability, vol. II, pp. 183-192. University of California Press, Berkeley, Los Angeles (1980)
15. Kuipers, T.A.F.: On the generalization of the continuum of inductive methods to universal hypotheses. Synthese 37, 255-284 (1978)
16. Paris, J.B.: A short course on Inductive Logic. In: JAIST 2007 (2007), http://www.maths.manchester.ac.uk/!jeff
17. Paris, J.B.: The Uncertain Reasoner's Companion. Cambridge University Press, Cambridge (1994)
18. Paris, J.B.: On the distribution of probability functions in the natural world. In: Hendricks, V.F., Pedersen, S.A., Jøgensen, K.F. (eds.) Probability Theory: Philosophy, Recent History and Relations to Science. Synthese Library, vol. 297, pp. 125-145 (2001)
19. Paris, J.B.: Vencovská, On the applicability of maximum entropy to inexact reasoning. International Journal of Approximate Reasoning 3(1), 1-34 (1989)
20. Paris, J.B., Vencovská: A note on the inevitability of maximum entropy. International Journal of Approximate Reasoning 4(3), 183-224 (1990)
21. Paris, J.B., Vencovská: In defense of the maximum entropy inference process. International Journal of Approximate Reasoning 17(1), 77-103 (1997)
22. Paris, J.B., Vencovská, A.: Common sense and stochastic independence. In: Corfield, D., Williamson, J. (eds.) Foundations of Bayesianism, pp. 203-240. Kluwer Academic Press, Dordrecht (2001)
23. Rad, S.R.: PhD Thesis, Manchester University, Manchester, UK (to appear)
24. http://en.wikipedia.org/wiki/Existentially_closed_model