Generalizing inference rules in a coherence-based probabilistic default reasoning

International Journal of Approximate Reasoning

Volumn 53, Issue 3, 2012, Pages 413-434

  Gilio, Angelo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Coherence principle; Generalization of inference rules; Lower and upper bounds; Probabilistic default reasoning; t Conorms; t Norms

Indexed keywords

DEFAULT REASONING; INFERENCE RULES; LOWER AND UPPER BOUNDS; T - NORM; T-CONORMS;

ARTIFICIAL INTELLIGENCE; SOFTWARE ENGINEERING;

MATHEMATICAL OPERATORS;

EID: 84858443824     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2011.08.004     Document Type: Article

References (103)

1. E.W. Adams The Logic of Conditionals 1975 D. Reidel Dordrecht, Netherlands
2. E.W. Adams On the logic of high probability Journal of Philosophical Logic 15 1986 255 279
3. E.W. Adams, and H.P. Levine On the uncertainties transmitted from premises to conclusions in deductive inferences Synthese 30 3/4 1975 429 460
4. S. Amarger, D. Dubois, and H. Prade Constraint propagation with imprecise conditional probabilities Proceedings UAI-91 1991 Morgan Kaufman 26 34
5. M. Baioletti, A. Capotortim, A comparison between classical logic and three-valued logic for conditional events, in: Proceedings of the Sixth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'96), Granada, Spain, 1996, 1996, pp. 1217-1222.
6. D. Bamber Probabilistic entailment of conditionals by conditionals IEEE Transactions on Systems, Man and Cybernetics 24 12 1994 1714 1723
7. S. Benferhat, D. Dubois, and H. Prade Nonmonotonic reasoning, conditional objects and possibility theory Artificial Intelligence 92 1-2 1997 259 276 (Pubitemid 127414146)
8. S. Benferhat, D. Dubois, and H. Prade Possibilistic and standard probabilistic semantics of conditional knowledge bases Journal of Logic and Computation 9 6 1999 873 895 (Pubitemid 30558607)
9. V. Biazzo, and A. Gilio A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments International Journal of Approximate Reasoning 24 2000 251 272 (Pubitemid 34200950)
10. V. Biazzo, and A. Gilio On the linear structure of betting criterion and the checking of coherence Annals of Mathematics and Artificial Intelligence 35 2002 83 106 (Pubitemid 37132979)
11. V. Biazzo, A. Gilio, Some theoretical properties of conditional probability assessments, in: Proceedings of the ECSQARU'05, Barcelona, Spain, July 6-8, 2005, 2005, pp. 775-787.
12. V. Biazzo, A. Gilio, Some theoretical properties of interval-valued conditional probability assessments, in: Proceedings of the Fourth International Symposium on Imprecise Probabilities and Their Applications (ISIPTA'05), Pittsburgh, PA, USA, July 20-23, 2005, 2005, pp. 58-67.
13. V. Biazzo, A. Gilio, Some results on imprecise conditional prevision assessments, in: Proceedings of the 5th International Symposium on Imprecise Probability: Theories and Applications (ISIPTA'07), Prague, Czech Republic, July 16-19, 2007, 2007, pp. 31-40.
14. V. Biazzo, A. Gilio, T. Lukasiewicz, and G. Sanfilippo Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P Journal of Applied Non-Classical Logics 12 2 2002 189 213
15. V. Biazzo, A. Gilio, T. Lukasiewicz, and G. Sanfilippo Probabilistic logic under coherence: complexity and algorithms Annals of Mathematics and Artificial Intelligence 45 1-2 2005 35 81 (Pubitemid 43234764)
16. V. Biazzo, A. Gilio, and G. Sanfilippo Coherence checking and propagation of lower probability bounds Soft Computing 7 2003 310 320 (Pubitemid 36530454)
17. V. Biazzo, A. Gilio, and G. Sanfilippo On the checking of g-coherence of conditional probability bounds International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11 Suppl. 2 2003 75 104
18. V. Biazzo, A. Gilio, G. Sanfilippo, Generalized coherence and connection property of imprecise conditional previsions, in: L. Magdalena, M. Ojeda-Aciego, J.L. Verdegay (Eds.), Proceedings of the IPMU'08, Torremolinos (Malaga), Spain, June 22-27, 2008, 2008, pp. 907-914 (coll. V. Biazzo, G. Sanfilippo).
19. G. Boole A general method in the theory of probabilities The Philosophical Magazine, Series 4 8 1854 Reprinted in "Studies in Logic and Probability" by George Boole, R. Rhees (Eds.), La Salle, IL: Open Court
20. G. Boole An Investigation of the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities 1854 Walton and Maberley London (reprint: Dover Publications, New York, 1958)
21. R. Bourne, and S. Parsons On proofs in System P International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8 2 2000 203 233
22. G.W. Brier Verification of forecasts expressed in terms of probability Monthly Weather Review 78 1950 1 3
23. G. Bruno, and A. Gilio Applicazione del metodo del simplesso al teorema fondamentale per le probabilità; nella concezione soggettivistica Statistica 40 1980 337 344
24. G. Bruno, and A. Gilio Confronto fra eventi condizionati di probabilità; nulla nell'inferenza statistica bayesiana Rivista di Matematica per le Scienze Economiche e Sociali, Fasc. 2 1985 141 152
25. P.G. Calabrese An algebraic synthesis of the foundations of logic and probability Information Sciences 42 1987 187 237
26. A. Capotorti, L. Galli, B. Vantaggi, How to use strong local coherence in an inferential process based on upper-lower probabilities, in: Proceedings of the WUPES-2000, Jindřichu̇v Hradec, Czech Republic, 2000, 2000, pp. 14-28.
27. A. Capotorti Generalized concept of atoms for conditional events G. Coletti, D. Dubois, R. Scozzafava, Mathematical Models for Handling Partial Knowledge in Artificial Intelligence 1995 Plenum Press New York 183 189
28. A. Capotorti, G. Regoli, and F. Vattari Correction of incoherent conditional probability assessments International Journal of Approximate Reasoning 51 6 2010 718 727
29. A. Capotorti, and B. Vantaggi Locally strong coherence in inferential processes Annals of Mathematics and Artificial Intelligence 35 2002 125 149 (Pubitemid 37132981)
30. G. Coletti Numerical and qualitative judgements in probabilistic expert systems R. Scozzafava, Proceedings of the International Workshop on Probabilistic Methods in Expert Systems, October 1993 1993 Italian Stat. Soc. Roma 37 55
31. G. Coletti Coherent numerical and ordinal probabilistic assessments IEEE Transactions on Systems, Man, and Cybernetics 24 12 1994 1747 1754
32. G. Coletti, and R. Scozzafava Characterization of coherent conditional probabilities as a tool for their assessment and extension Journal of Uncertainty, Fuzziness and Knowledge-based Systems 4 2 1996 103 127 (Pubitemid 126488886)
33. G. Coletti, R. Scozzafava, Exploiting zero probabilities, in: Proceedings of the EUFIT'97, Aachen, Germany, ELITE Foundation, 1997, 1997, pp. 1499-1503.
34. G. Coletti, and R. Scozzafava Conditioning and inference in intelligent systems Soft Computing 3 3 1999 118 130
35. G. Coletti, R. Scozzafava, Coherent upper and lower bayesian updating, in: Proceedings of the ISIPTA-99, Ghent, Belgium, 1999, 1999, pp. 101-110.
36. G. Coletti, and R. Scozzafava Probabilistic Logic in a Coherent Setting 2002 Kluwer Academic Publishers
37. Á. Császár Sur la structure des espaces de probabilité conditionnelle Acta Mathematica Academiae Scientiarum Hungaricae 46 1955 337 361
38. C.P. De Campos, and F.G. Cozman Computing lower and upper expectations under epistemic independence International Journal of Approximate Reasoning 44 3 2007 244 260 (Pubitemid 46149239)
39. G. De Cooman, and F. Hermans Imprecise probability trees: bridging two theories of imprecise probability Artificial Intelligence 172 2008 1400 1427
40. B. de Finetti La logique de la probabilité Actes du Congrs Inter. de Philosophie Scientifique, Paris, 1935 1936 Hermann et Cie Editions pp. IV1-IV9
41. B. de Finetti Foresight: its logical laws, its subjective sources H.E. Kyburg, H.E. Smokler, Studies in Subjective Probability 1937/1964 Wiley New York 55 118
42. B. de Finetti Theory of Probability vol. 1 1974 Wiley London English translation of Teoria delle probabilità;, 1970
43. D. Dubois, A. Gilio, and G. Kern-Isberner Probabilistic abduction without priors International Journal of Approximate Reasoning 47 2008 333 351
44. D. Dubois, and H. Prade Conditioning, non-monotonic logic and non-standard uncertainty models I. Goodman, M. Gupta, H. Nguyen, G. Rogers, Conditional Logic in Expert Systems 1991 North-Holland 115 158
45. D. Dubois, and H. Prade Conditional objects as nonmonotonic consequence relationships IEEE Transactions on Systems, Man, and Cybernetics 24 12 1994 1724 1740
46. D. Gale The Theory of Linear Economic Models 1960 McGraw-Hill New York
47. A. Gilio Classi quasi additive di eventi e coerenza di probabilità; condizionate Rendiconti dell'Istituto di Matematica dell'Università; di Trieste, Fasc. I XXI 1989 22 38
48. A. Gilio Criterio di penalizzazione e condizioni di coerenza nella valutazione soggettiva della probabilità; Bollettino dell'Unione Matematica Italiana [7a] 4-B 3 1990 645 660
49. 0-coherence and extension of conditional probabilities J.M. Bernardo, J.O. Berger, A.P. Dawid, A.F.M. Smith, Bayesian Statistics vol. 4 1992 Oxford University Press 633 640
50. A. Gilio Probabilistic consistency of conditional probability bounds Advances in Intelligent Computing B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, Lecture Notes in Computer Science vol. 945 1995 Springer-Verlag Berlin, Heidelberg 200 209
51. A. Gilio Algorithms for precise and imprecise conditional probability assessments G. Coletti, D. Dubois, R. Scozzafava, Mathematical Models for Handling Partial Knowledge in Artificial Intelligence 1995 Plenum Press New York 231 254
52. A. Gilio Algorithms for conditional probability assessments Bayesian Analysis in Statistics and Econometrics 1996 Wiley New York 29 39
53. A. Gilio, Probabilistic modelling of uncertain conditionals, in: Proceedings of the European Symposium on Intelligent Techniques, Bari, March 20-21, 1997, 1997, pp. 54-57.
54. A. Gilio, Precise propagation of upper and lower probability bounds in System P, in: Proceedings of the 8th International Workshop on Non-monotonic Reasoning, Special Session: Uncertainty Frameworks in Non-Monotonic Reasoning (organized by S. Benferhat and H. Prade), Breckenridge, Colorado, USA, April 9-11, 2000, 2000.
55. A. Gilio Probabilistic reasoning under coherence in System P Annals of Mathematics and Artificial Intelligence 34 2002 5 34 (Pubitemid 37133000)
56. A. Gilio, On Császár's condition in nonmonotonic reasoning, in: Proceedings of the 10th International Workshop on Non-monotonic Reasoning, Special Session: Uncertainty Frameworks in Non-Monotonic Reasoning (organized by S. Benferhat and H. Prade), Westin Whistler Resort and Spa, Whistler BC, Canada, June 6-8, 2004, 2004.
57. A. Gilio Probabilistic logic under coherence, conditional interpretations, and default reasoning Synthese 146 1-2 2005 139 152 (Pubitemid 41002114)
58. A. Gilio, and S. Ingrassia Totally coherent set-valued probability assessments Kybernetika 34 1 1998 3 15 (Pubitemid 128358899)
59. A. Gilio, S. Ingrassia, Extension of totally coherent interval-valued probability assessments, in: Proceedings of the IPMU'98, Paris, July 6-10, 1998, 1998, pp. 1708-1715.
60. A. Gilio, G. Sanfilippo, Quasi conjunction and p-entailment in nonmonotonic reasoning, in: Proceedings of the 5th International Conference on Soft Methods in Probability and Statistics (SMPS'10), September 28-October 1, 2010, Oviedo and Mieres (Asturias), Spain, 2010.
61. A. Gilio, and G. Sanfilippo Quasi conjunction and inclusion relation in probabilistic default reasoning W. Liu, ECSQARU 2011 LNAI vol. 6717 2011 Springer-Verlag Berlin, Heidelberg 497 508
62. A. Gilio, G. Sanfilippo, Coherent conditional probabilities and proper scoring rules, in: Proceedings of the 7th International Symposium on Imprecise Probability: Theories and Applications (ISIPTA 2011), Innsbruck, Austria, 25-28 July 2011, 2011.
63. A. Gilio, R. Scozzafava, Le probabilità; condizionate coerenti nei sistemi esperti, Atti delle Giornate di lavoro AIRO 1988 su "Ricerca Operativa e Intelligenza Artificiale", IBM, Pisa, 5-7 Ottobre 1988, pp. 317-330.
64. A. Gilio, and R. Scozzafava Conditional events in probability assessment and revision IEEE Transactions on Systems, Man, and Cybernetics 24 12 1994 1741 1746
65. A. Gilio, and F. Spezzaferri Knowledge integration for conditional probability assessments D. Dubois, M.P. Wellman, B. D'Ambrosio, P. Smets, Uncertainty in Artificial Intelligence 1992 Morgan Kaufmann Publishers San Mateo, California 98 103
66. A. Gilio, and F. Spezzaferri Coherence and extensions of stochastic matrices Le Matematiche, Fasc. I L 1995 119 135
67. M. Goldszmidt, and J. Pearl On the consistency of defeasible databases Artificial Intelligence 52 2 1991 121 149
68. I.R. Goodman, and H.T. Nguyen Conditional objects and the modeling of uncertainties M.M. Gupta, T. Yamakawa, Fuzzy Computing Theory, Hardware and Applications 1988 North-Holland New York
69. I.R. Goodman, H.T. Nguyen, and E. Walker Conditional Inference and Logic for Inference Systems: A Theory of Measure-free Conditioning 1991 North-Holland
70. T. Hailperin Best possible inequalities for the probability of a logical function of events American Mathematical Monthly 72 1965 343 359
71. T. Hailperin Boole's Logic and Probability: A Critical Exposition from the Standpoint of Contemporary Algebraic Logic and Probability Theory second ed. 1986 North-Holland Amsterdam
72. J. Hawthorne On the logic of nonmonotonic conditionals and conditional probabilities Journal of Philosophical Logic 25 1996 185 218
73. S. Holzer On coherence and conditional prevision Bollettino dell'Unione Matematica Italiana 4 6 1985 441 460
74. G. Kern-Isberner, A logically sound method for uncertain reasoning with quantified conditionals, in: Proceedings of the ECSQARU/FAPR, 1997, 1997.
75. H.E. Kyburg, and H.E. Smokler Studies in Subjective Probability 1964 Wiley New York
76. E.P. Klement, R. Mesiar, and E. Pap Triangular Norms 2000 Kluwer Academic Publishers Dordrecht, The Netherlands
77. K. Kraus, D. Lehmann, and M. Magidor Nonmonotonic reasoning, preferential models and cumulative logics Artificial Intelligence 44 1990 167 207 (Pubitemid 20719858)
78. F.R. Lad, J.M. Dickey, and M.A. Rahman The fundamental theorem of prevision Statistica, anno L 1 1990 19 38
79. R.S. Lehman On confirmation and rational betting The Journal of Symbolic Logic 20 1955 251 262
80. T. Lukasiewicz Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events Proceedings of the 6th International Conference on Information and Knowledge Management 1997 ACM Press 75 82
81. T. Lukasiewicz Probabilistic deduction with conditional constraints over basic events Journal of Artificial Intelligence Research 10 1999 199 241 (Pubitemid 30573910)
82. T. Lukasiewicz Probabilistic default reasoning with conditional constraints Annals of Mathematics and Artificial Intelligence 34 2002 35 88 (Pubitemid 37133001)
83. T. Lukasiewicz Weak nonmonotonic probabilistic logics Artificial Intelligence 168 1-2 2005 119 161 (Pubitemid 41338773)
84. E. Miranda A survey of the theory of coherent lower previsions International Journal of Approximate Reasoning 48 2 2008 628 658
85. E. Miranda, and G. de Cooman Marginal extension in the theory of coherent lower previsions International Journal of Approximate Reasoning 46 2007 188 225 (Pubitemid 47299294)
86. N.J. Nilsson Probabilistic logic Artificial Intelligence 28 1986 71 87
87. J. Pearl Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference 1988 Morgan and Kaufmann San Mateo, CA
88. R. Pelessoni, P. Vicig, A consistency problem for imprecise conditional probability assessments, in: Proceedings of the Seventh International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), Paris, France, 1998, 1998, pp. 1478-1485.
89. R. Pelesson, and P. Vicig Williams coherence and beyond International Journal of Approximate Reasoning 50 4 2009 612 626
90. N. Pfeifer, and G.D. Kleiter Coherence and nonmonotonicity in human reasoning Synthese 146 1-2 2005 93 109 (Pubitemid 41002111)
91. N. Pfeifer, and G.D. Kleiter Framing human inference by coherence based probability logic Journal of Applied Logic 7 2 2009 206 217
92. M. Raskovic, Z. Markovic, and Z. Ognjanovic A logic with approximate conditional probabilities that can model default reasoning International Journal of Approximate Reasoning 49 1 2008 52 66
93. E. Regazzini Finitely additive conditional probabilities Rendiconti del Seminario Matematico e Fisico di Milano 55 1985 69 89
94. P. Rigo Un teorema di estensione per probabilitá condizionate finitamente additive Atti della XXXIV Riunione Scientifica della S.I.S. 2 1 1988 27 34
95. G. Schay An algebra of conditional events Journal of Mathematical Analysis and Applications 24 1968 334 344
96. G. Schurz Probabilistic default logic based on irrelevance and relevance assumptions D. Gabbay, Qualitative and Quantitative Practical Reasoning Lecture Notes in Artificial Intelligence vol. 1244 1998 Springer Berlin 536 553
97. P. Snow Diverse confidence levels in a probabilistic semantics for conditional logics Artificial Intelligence 113 1999 269 279 (Pubitemid 30542736)
98. P. Vicig, An algorithm for imprecise conditional probability assessments in expert systems, in: Proceedings of the Sixth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'96), Granada, Spain, 1996, 1996, pp. 61-66.
99. P. Walley Statistical Reasoning with Imprecise Probabilities 1991 Chapman and Hall London
100. P. Walley, Coherent upper and lower previsions, web site of the Imprecise Probabilities Project: , 1997, 1998.
101. P. Walley Towards a unified theory of imprecise probability International Journal of Approximate Reasoning 24 2-3 2000 125 148 (Pubitemid 34200943)
102. P. Walley, R. Pelessoni, and P. Vicig Direct algorithms for checking coherence and making inferences from conditional probability assessments Journal of Statistical Planning and Inference 126 1 2004 119 151 (Pubitemid 39167903)
103. P.M. Williams, Notes on conditional previsions, Tech. Report, School of Mathematical and Physical Sciences, University of Sussex, 1975. Reprinted in a revised form in: International Journal of Approximate Reasoning 44 (3) (2007) 366-383. (Pubitemid 46149245)