The rules of logic composition for the Bayesian epistemic e-values

Logic Journal of the IGPL

Volumn 15, Issue 5-6 SPEC. ISS., 2007, Pages 401-420

  Borges, Wagner ^a   Stern, Julio Michael ^b  

^a MACKENZIE PRESBYTERIAN UNIVERSITY   (Brazil)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

Bayesian models; Belief calculi; Complex hypotheses; Compositionality; Convolution; Epistemic values; Possibilistic and probabilistic reasoning; Significance tests; Truth functions

Indexed keywords

BIOMINERALIZATION; STATISTICAL TESTS;

BAYESIAN; BAYESIAN MODELLING; BELIEF CALCULUS; COMPLEX HYPOTHESIS; COMPOSITIONALITY; EPISTEMIC VALUE; POSSIBILISTIC REASONING; PROBABILISTIC REASONING; SIGNIFICANCE TEST; TRUTH FUNCTION;

BAYESIAN NETWORKS;

EID: 57649138194     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzm032     Document Type: Conference Paper

References (61)

1. J.M.Abe, B.C.Avila, J.P.A.Prado (1998). Multi-Agents and Inconsistence. ICCIMA'98. 2nd International Conference on Computational Intelligence and Multimidia Applications. Traralgon, Australia.
2. J.Alcantara, C.V.Damasio, L.M.Pereira (2002). Paraconsistent Logic Programs. JELIA-02. 8th European Conference on Logics in Artificial Intelligence. Lecture Notes in Computer Science, 2424, 345-356.
3. O.Arieli, A.Avron (1996). Reasoning with Logical Bilattices. Journal of Logic, Language and Information, 5, 25-63.
4. R.E.Barlow, F.Prochan (1981). Statistical Theory of Reliability and Life Testing Probability Models. Silver Spring: To Begin With.
5. D.Basu, J.K.Ghosh (1988). Statistical Information and Likelihood. Lecture Notes in Statistics, 45.
6. Z.W.Birnbaum, J.D.Esary, S.C.Saunders (1961). Multicomponent Systems and Structures, and their Reliability. Technometrics, 3, 55-77.
7. N.C.A.Costa (1963). Calculs Propositionnels pour les Systemes Formales Incosistants. Compte Rendu Acad. des Scienes, 257, 3790-3792.
8. N.C.A.Costa, V.S.Subrahmanian (1989). Paraconsistent Logics as a Formalism for Reasoning about Inconsistent Knowledge Bases. Artificial Inteligence in Medicine, 1, 167-174.
9. N.C.A.Costa, C.A.Vago, V.S.Subrahmanian (1991). Paraconsistent Logics Ptt. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 37, 139-148.
10. N.C.A.Costa, J.M.Abe, V.S.Subrahmanian (1991). Remarks on Annotated Logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 37, 561-570.
11. N.C.A.Costa, J.M.Abe, A.C.Murolo, J.I.da Silva, C.F.S.Casemiro (1999). Lógica Paraconsistente Aplicada. São Paulo: Atlas.
12. F.G.Cozman (2000). Generalizing Variable Elimination in Bayesian Networks. Proceedings of the Workshop in Probabilistic Reasoning in Artificial Inteligence. Atibaia.
13. A.Y.Darwiche, M.L.Ginsberg (1992). A Symbolic Generalization of Probability Theory. AAAI-92. 10-th Conf. American Association for Artificial Intelligence.
14. A.Y.Darwiche (1993). A Symbolic Generalization of Probability Theory Ph.D. Thesis, Stanford Univ.
15. J.S.Dugdale (1996). Entropy and Its Physical Meaning. Taylor & Francis.
16. M.Evans (1997). Bayesian Inference Procedures Derived via the Concept of Relative Surprise. Communications in Statistics, 26, 1125-1143.
17. M.Evans, T.Swartz (2000). Approximating Integrals via Monte Carlo and Deterministic Methods. Oxford University Press.
18. H.von Foerster (2003). Understanding Understanding: Essays on Cybernetics and Cognition. NY: Springer Verlag. The following articles in this anthology are of special interest: (a) On Self-Organizing Systems and their Environments; pp 1-19. (b) On Constructing a Reality; pp 211-227. (c) Objects: Tokens for Eigen-Behaviors; pp 261-271. Also in: B.Inhelder, R.Gracia, and J.Voneche (1987). Hommage a Jean Piaget: Epistémologie Génétique et Equilibration. Paris: Delachaux et Niestlé. (d) For Niklas Luhmann: How Recursive is Communication? pp 305-323.
19. R.H.Gaskins (1992). Burdens of Proof in Modern Discourse. Yale Univ. Press.
20. A.Gelman, J.B.Carlin, H.S.Stern, D.B.Rubin, (1995). Bayesian Data Analysis. London: Chapman and Hall.
21. A.George, J.R.Gilbert, J.W.H.Liu (1993). Graph Theory and Sparse Matrix Computations. NY: Springer.
22. W.R.Gilks, S.Richardson, D.J.Spiegelhalter (1996). Markov Chain Monte Carlo in Practice. NY: CRC Press.
23. I.J.Good (1983). Good Thinking. Univ. of Minnesota.
24. O.Häggström (2002). Finite Markov Chains and Algorithmic Applications. Cambridge Univ.
25. T.Z.Irony, M.Lauretto, C.A.B.Pereira, and J.M.Stern (2002). A Weibull Wearout Test: Full Bayesian Approach. In: Y.Hayakawa, T.Irony, M.Xie, edit. Systems and Bayesian Reliability, 287-300. Quality, Reliability & Engineering Statistics, 5, Singapore: World Scientific.
26. F.V.Jensen (2001). Bayesian Networks and Decision Graphs. NY: Springer.
27. J.B.Kadane, R.L.Winkler (1987). De Finetti's Methods of Elicitation. In Viertl (1987).
28. S.Kaplan, C.Lin (1987). An Improved Condensation Procedure in Discrete Probability Distribution Calculations. Risk Analysis, 7, 15-19.
29. J.N.Kapur (1989). Maximum Entropy Models in Science and Engineering NY: Wiley.
30. G.J.Klir, T.A.Folger (1988). Fuzzy Sets, Uncertainty and Information NY: Prentice Hall.
31. J.Kokott (1998). The Burden of Proof in Comparative and International Human Rights Law. Hague: Kluwer.
32. M.Lauretto, C.A.B.Pereira, J.M.Stern, S.Zacks (2003). Full Bayesian Significance Test Applied to Multivariate Normal Structure Models. Brazilian Journal of Probability and Statistics, 17, 147-168.
33. M.Lauretto, J.M.Stern (2005). FBST for Mixture Model Selection. MaxEnt 2005, 24th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering. American Institute of Physics Conference Proceedings, 803, 121-128.
34. R.P.Macdonald (1985). Factor Analysis and Related Methods. London: LEA.
35. M.R.Madruga, L.G.Esteves, S.Wechsler (2001). On the Bayesianity of Pereira-Stern Tests. Test, 10, 291-299.
36. M.R.Madruga, C.A.B.Pereira, J.M.Stern (2003). Bayesian Evidence Test for Precise Hypotheses. Journal of Statistical Planning and Inference, 117, 185-198.
37. J.Pearl (2000). Causality: Models, Reasoning, and Inference. Cambridge University Press.
38. C.A.B.Pereira, D.V.Lindley (1987). Examples Questioning the use of Partial Likelihood. The Statistician, 36, 15-20.
39. C.A.B.Pereira, J.M.Stern (1999). A Dynamic Software Certification and Verification Procedure. Proc. ISAS-99, Int. Conf. on Systems Analysis and Synthesis, 2, 426-435.
40. C.A.B.Pereira, J.M.Stern, (1999). Evidence and Credibility: Full Bayesian Significance Test for Precise Hypotheses. Entropy Journal 1, 69-80.
41. C.A.B.Pereira, J.M.Stern (2001). Full Bayesian Significance Tests for Coefficients of Variation. In: George, E.I. (Editor). Bayesian Methods with Applications to Statistics, 391-400. Monographs of Official Statistics, EUROSTAT.
42. C.A.B.Pereira, J.M.Stern, (2001). Model Selection: Full Bayesian Approach. Environmetrics, 12, 559-568.
43. C.A.B.Pereira, S.Wechsler (1993). On the Concept of p-value. Brazilian Journal of Probability and Statistics, 7, 159-177.
44. C.A.B.Pereira, S.Wechsler, J.M.Stern (2005). Can a Significance Test be Genuinely Bayesian? Submitted.
45. G.C.Pflug (1996). Optimization of Stochastic Models: The Interface Between Simulation and Optimization. Boston: Kluwer.
46. J.Piaget (1985). Equilibration of Cognitive Structures: The Central Problem of Intellectual Development. Univ.of Chicago.
47. H.Rouanet, J.M.Bernard, M.C.Bert, B.Lecoutre, M.P.Lecoutre, B.Le Roux (1998). New Ways in Statistical Methodology. From Significance Tests to Bayesian Inference. Berne: Peter Lang.
48. R.Royall (1997). Statistical Evidence: A Likelihood Paradigm. London: Chapman & Hall.
49. H.Rubin (1987). A Weak System of Axioms for "Rational" Behaviour and the Non-Separability of Utility from Prior. Statistics and Decisions 5, 47-58.
50. M.D.Springer (1979). The Algebra of Random Variables. NY: Wiley.
51. J.M.Stern (2003). Significance Tests, Belief Calculi, and Burden of Proof in Legal and Scientific Discourse. 1st Bayesian Modeling Applications Workshop, UAI'03, and Laptec'03. 4th Cong. Logic Applied to Technology. Frontiers in Artificial Intelligence and its Applications 101, 139-147.
52. J.M.Stern (2004). Paraconsistent Sensitivity Analysis for Bayesian Significance Tests. SBIA'04, Lecture Notes Artificial Intelligence 3171, 134-143.
53. J.M.Stern (2005). Cognitive Constructivism, Eigen-Solutions, and Sharp Statistical Hypotheses. Presented at FIS-2005, Third Conference on the Foundations of Information Science. Cybernetics & Human Knowing, 2007, 14, 1, 9-36.
54. J.M.Stern (2006). Language and the Self-Reference Paradox. Technical Report MAC-2006-02, Institute of Mathematics and Statistics, University of São Paulo. To appear in Cybernetcs & Human Knowing, 2007, 14.
55. J.M.Stern (2006). Decoupling, Sparsity, Randomization and Objective Bayesian Inference. Technical Report MAC-2006-07, Institute of Mathematics and Statistics, University of São Paulo. To appear in Cybernetics and Human Knowing.
56. J.M.Stern (2006). Language, Metaphor and Metaphysics: The Subjective Side of Science. Technical Report MAC-2006-09, Institute of Mathematics and Statistics, University of São Paulo.
57. J.M.Stern, S.Zacks (2002). Testing Independence of Poisson Variates under the Holgate Bivariate Distribution. Statistical and Probability Letters, 60, 313-320.
58. J.M.Stern, S.Zacks (2003). Sequential Estimation of Ratios, with Applications to Bayesian Analysis. Technical Report MAC-2003-10, Institute of Mathematics and Statistics, University of São Paulo.
59. R.C.Williamson (1989). Probabilistic Arithmetic. Univ. of Queensland.
60. L.Wittgenstein (1921). Tractatus Logico Philosophicus (Logisch-Philosophische Abhandlung). (Ed.1999) NY: Dover.
61. L.A.Zadeh (1987). Fuzzy Sets and Applications. NY: Wiley.