Probabilistic argumentation systems A new way to combine logic with probability

Journal of Applied Logic

Volumn 1, Issue 3-4, 2003, Pages 225-253

  Kohlas, Jürg ^a  

^a UNIVERSITY OF FRIBOURG   (Switzerland)

Author keywords

Assumption based reasoning; Dempster Shafer theory; Evidence theory; Inference; Logic; Probability; Uncertainty

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTER SIMULATION; INFORMATION SCIENCE; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; PROBABILITY;

ASSUMPTION-BASED REASONING; DEMPSTER; EVIDENCE THEORY; INFERENCE; SHAFER THEORY; UNCERTAINTY;

FORMAL LOGIC;

EID: 23844523903     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1570-8683(03)00014-4     Document Type: Conference Paper

References (28)

1. L. Amgoud, C. Cayrol, On the acceptability of arguments in preference-based argumentation, in: G.F. Cooper, S. Moral (Eds.), Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence, (UAI '98), Morgan Kaufmann, San Francisco, 1998, pp. 1-7.
2. B. Anrig, R. Haenni, J. Kohlas, N. Lehmann, Assumption-based modeling using ABEL, in: D. Gabbay, R. Kruse, A. Nonnengart, H.J. Ohlbach (Eds.), First Int. Joint Conf. on Qualitative and Quantitative Practical Reasoning, ECSQUARU-FAPR '97, in: Lecture Notes Artif. Intell., Springer, Berlin, 1998.
3. J. Barwise, J. Seligman, The Logic of Distributed Systems, Cambridge University Press, Cambridge, 1997.
4. P. Besnard, A. Hunter, A logic-based theory of deductive arguments, Artificial Intelligence 128 (1-2) (2000) 203-235.
5. B.A. Davey, H.A. Priestley, Introduction to Lattices and Order, Cambridge University Text, Cambridge, 1997.
6. J. De Kleer, An assumption-based TMS, Artificial Intelligence 28 (1986) 127-162.
7. A.P. Dempster, Upper and lower probabilities induced by a multivalued mapping, Ann. Math. Stat. 113 (1967) 41-85.
8. P.M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games, Artificial Intelligence 77 (2) (1995) 321-357.
9. R. Haenni, J. Kohlas, N. Lehmann, Probabilistic argumentation systems, in: J. Kohlas, S. Moral (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 5: Algorithms for Uncertainty and Defeasible Reasoning, Kluwer Academic, Dordrecht, 2000.
10. P. Halmos, Lectures on Boolean Algebras, Van Nostrand, Princeton, NJ, 1963.
11. D.A. Kappos, Probability Algebras and Stochastic Spaces, Academic Press, New York, 1969.
12. J. Kohlas, Information in context, Tech. Rept. 02-15, University of Fribourg, Institute for Informatics, 2002.
13. J. Kohlas, Information Algebras, Discrete Mathematics and Theoretical Computer Science, Springer, London, 2003.
14. J. Kohlas, P.A. Monney, A mathematical theory of hints. An Approach to the Dempster-Shafer Theory of Evidence, in: Lecture Notes in Economics Math. Syst., Vol. 425, Springer, Berlin, 1995.
15. J. Kohlas, P. Shenoy, Computation in valuation algebras, in: J. Kohlas, S. Moral (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 5: Algorithms for Uncertainty and Defeasible Reasoning, Kluwer Academic, Dordrecht, 2000, pp. 5-39.
16. J. Kohlas, R. Staerk, Information algebras and information systems, Tech. Rept. 96-14, University of Fribourg, Institute for Informatics, 1996.
17. K.B. Laskey, P.E. Lehner, Assumptions, beliefs and probabilities, Artificial Intelligence 41 (1989) 65-77.
18. J. Mengin, N. Wilson, Logical deduction using the local computation framework, in: A. Hunter, S. Parson (Eds.), European Conf. on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, EC-SQUARU '99, in: Lecture Notes Artif. Intell., Springer, Berlin, 1999.
19. P.-A. Monney, A mathematical theory of arguments for statistical evidence, in: Contributions to Statistics, Physica-Verlag, 2003.
20. J. Neveu, Bases mathématiques du calcul des probabilités, Masson, Paris, 1964.
21. S. Parsons, C. Sierra, N. Jennings, Agents that reason and negotiate by arguing, J. Logic Comput. 8 (3) (1998) 261-292.
22. H. Prakken, G. Vreeswijk, Logical systems for defeasible argumentation, in: D. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, Vol. 4, 2nd Edition, Kluwer Academic, Dordrecht, 2002, pp. 219-318.
23. D.S. Scott, Domains for denotational semantics, in: M. Nielsen, E.M. Schmitt (Eds.), Proceedings ICALP 1982, in: Lecture Notes in Economics Math. Syst., Vol. 425, Springer, Berlin, 1995.
24. G. Shafer, Allocation of probability: A theory of partial belief, Dissertation, Princeton University, 1973.
25. G. Shafer, A Mathematical Theory of Evidence, Princeton University Press, Princeton, NJ, 1976.
26. G. Shafer, Allocations of probability, Ann. Probab. 7 (1979) 827-839.
27. P.P. Shenoy, G. Shafer, Axioms for probability and belief function propagation, in: R.D. Shachter, T.S. Levitt, J.F. Lemmer, L.N. Kanal (Eds.), Uncertainty in Artificial Intelligence, Vol. 4, 1990, pp. 169-198.
28. G. Vreeswijk, Defeasible dialectics: A controversy-oriented approach towards defeasible argumentation, J. Logic Comput. 3 (3) (1993) 317-334.