Allocation of arguments and evidence theory

Theoretical Computer Science

Volumn 171, Issue 1-2, 1997, Pages 221-246

  Kohlas, Jürg ^a  

^a UNIVERSITY OF FRIBOURG   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LOGIC PROGRAMMING; PROBABILISTIC LOGICS; THEORY;

DEMPSTER-SHAFER THEORY; EVIDENCE THEORY;

COMPUTER SCIENCE;

EID: 0030837288     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00130-2     Document Type: Article

References (27)

1. P. Besnard and J. Kohlas, Evidence theory based on general consequence relations, Int. J. Foundations Comput. Sci. 6 (1995) 119-135.
2. A.Y. Darwiche, Argument calculus and networks, in: D. Heckermann and A. Mamdani, eds., Proc. 9th Conf. on Uncertainty in Artificial Intelligence (Kaufmann, Morgan, Los Altos, CA, 1993).
3. J. De Kleer, An assumption-based TMS, Art. Int. 28 (1989) 127-162.
4. A. Dempster, Upper and lower probabilities induced by a multivalued mapping, Ann. Math. Statist. 38 (1967) 325-339.
5. D. Dubois and H. Prade, Théorie des possibilités. Applications à la représentation des connaisances en informatique (Masson, Paris, 1985).
6. M. Elvang-Gøransson, P.J. Krause and J. Fox, Acceptance of arguments as 'logical uncertainty', in: M. Clarke, R. Kruse and S. Moral, eds., Symbolic and Quantitative Aproaches to Reasoning and Uncertainty (Springer, Berlin, 1993) 85-90.
7. W. Feller, An Introduction to Probability Theory and Its Applications, Vol. 1 (Wiley, New York, 3rd ed., 1968).
8. P.R. Halmos, Lectures on Boolean Algebras (Van Nostrand, Princeton, NJ, 1963).
9. K. Hestir, H.T. Nguyen and G.S. Rogers, A random set formalism for evidential reasoning, in: I.R. Goodman et al., eds., Conditional Logic in Expert Systems (1991) 309-344.
10. J. Kohlas, The reliability of reasoning with unreliable arguments, Ann. Oper. Res. 32 (1991) 67-113.
11. J. Kohlas, Support- and plausibility functions induced by filter-valued mappings, Int. J. Gen. Syst. 21 (1993) 343-363.
12. J. Kohlas, Symbolic evidence, arguments, supports and valuation networks, in: M. Clarke, R. Kruse and S. Moral, eds., Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Springer, Berlin, 1993) 186-198.
13. J. Kohlas, Mathematical foundations of evidence theory, in: G. Coletti, D. Dubois and R. Scozzafava, eds., Mathematical Models for Handling Partial Knowledge in Artificial Intelligence (Plenum, New York, 1995) 31-64.
14. J. Kohlas and P.A. Monney, Probabilistic assumption-based reasoning, in: D. Heckermann and A. Mamdani, eds., Proc. 9th Conf. on Uncertainty in Artificial Intelligence (Kaufmann, Morgan, Los Altos, CA, 1993).
15. J. Kohlas and P.A. Monney, Representation of evidence by hints, in: R. Yager et al., eds., Recent Advances in Dempster-Shafer Theory (Wiley, New York, 1994) 473-492.
16. J. Kohlas and P.A. Monney, A Mathematical Theory of Hints. An Approach to Dempster-Shafer Theory of Evidence, Lecture Notes in Economics and Mathematical Systems, Vol. 425) (Springer, Berlin, 1995).
17. K.B. Laskey and P.E. Lehner, Belief maintenance: an integrated approach to uncertainty management, Proc. Amer. Ass. AI (1988) 210-214.
18. J. Neveu, Bases mathématiques du calcul des probabilités (Mason, Paris, 1964).
19. H.T. Nguyen, On random sets and belief functions, J. Math. Anal. Appl. 65 (1987) 531-542.
20. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufman, San Mateo, CA, 1988).
21. G.M. Provan, A logic-based analysis of Dempster-Shafer theory, Int. J. Approx. Res. 4 (1990) 451-495.
22. G. Shafer, A Mathematical Theory of Evidence (Princeton Univ. Press, Princeton, NJ, 1976).
23. G. Shafer, Allocations of probability, Ann. Probab. 7 (1979) 827-839.
24. G. Shafer, An Axiomatic Study of Computations in Hypertrees (School of Business WP 232, The University of Kansas, Lawrence, 1991).
25. P. Shenoy and G. Shafer, Axioms for probability and belief function propagation, in : Shachter et al., eds., Uncertainty AI 4 (1990) 575-610.
26. R. Sikorski, Boolean Algebras (Springer, Berlin, 1960).
27. P. Smets, Belief functions, in: P. Smets et al., eds., Non-Standard Logics for Automated Reasoning (Academic Press, London, 188) 253-286.