Assumption-based modeling using ABEL

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

Volumn 1244, Issue , 1997, Pages 171-182

  Anrig, B ^a   Haenni, R ^a   Kohlas, J ^a   Lehmann, N ^a  

^a UNIVERSITY OF FRIBOURG   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; USER INTERFACES;

COMMON MODELING LANGUAGE; COMPUTER IMPLEMENTATIONS; DIFFERENT DOMAINS; EXISTING SYSTEMS; PROPOSITIONAL LOGIC; REASONING PROBLEMS; SOFTWARE SYSTEMS; UNCERTAIN KNOWLEDGE;

MODELING LANGUAGES;

EID: 62949119848     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0035621     Document Type: Conference Paper

References (22)

1. Almond, R.G. 1990. Fusion and Propagation of Graphical Belief Models: an Implementation and an Example. Ph.D. thesis, Department of Statistics, Harvard University.
2. Almond, R.G. 1995. Graphical Belief Modeling. Chapman and Hall.
3. Andersen, S.K., Olesen, K.G., Jensen, F.V., & Jensen, F. 1990. HUGIN - a Shell for Building Bayesian Belief Universes for Expert Systems. Pages 332-338 of: Shafer, G., & Pearl, J. (eds), Readings in Uncertain Reasoning. Morgan Kaufmann.
4. Anrig, B., Haenni, R., & Lehmann, N. 1997. ABEL - A New Language for Assumption-Based Evidential Reasoning under Uncertainty. Tech. Rep. 9701. University of Fribourg, Institute of Informatics.
5. Davis, R. 1984. Diagnostic Reasoning based on Structure and Behaviour. Artificial Intelligence, 24, 347-410.
6. de Kleer, J. 1986. An Assumption-based TMS. Artificial Intelligence, 28, 127-162.
7. de Kleer, J., & Williams, B.C. 1987. Diagnosing Multiple Faults. Artificial Intelligence, 32, 97-130.
8. Haenni, R. 1996. Propositional Argumentation Systems and Symbolic Evidence Theory. Ph.D. thesis, Institute of Informatics, University of Fribourg.
9. Hsia, Y.T., & Shenoy, P.P. 1989. An Evidential Language for Expert Systems. Pages 9-14 of: Ras, Z.W. (ed), Methodologies for Intelligent Systems. North-Holland.
10. Kohlas, J., & Monney, P.A. 1993. Probabilistic Assumption-Based Reasoning. In: Heckerman, & Mamdani (eds), Proc. 9th Conf. on Uncertainty in Artificial Intelligence. Kaufmann, Morgan Publ.
11. Kohlas, J., & Monney, P.A. 1995. A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence. Lecture Notes in Economics and Mathematical Systems, vol. 425. Springer.
12. Kohlas, J., Monney, P.A., Anrig, B., & Haenni, R. 1996. Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning. Tech. Rep. 96-09. University of Fribourg, Institute of Informatics.
13. Lauritzen, S.L., & Spiegelhalter, D.J. 1988. Local Computations with Probabilities on Graphical Structures and their Application to Expert Systems. Journal of Royal Statistical Society, 50(2), 157-224.
14. Lehmann, N. 1994. Entwurf und Implementation einer annahmenbasierten Sprache. Diplomarbeit. Institute of Informatics, University of Fribourg.
15. Reiter, R. 1987. A Theory of Diagnosis From First Principles. Artificial Intelligence, 32, 57-95.
16. Saffiotti, A., & Umkehrer, E. 1991. PULCINELLA: A General Tool for Propagating Uncertainty in Valuation Networks. Tech. Rep. IRIDIA, Universite de Bruxelles.
17. Shafer, G. 1976. The Mathematical Theory of Evidence. Princeton University Press.
18. Shenoy, P.P. 1995. Binary Join Trees. Tech. Rep. 270. School of Business, University of Kansas.
19. Shenoy, P.P., & Shafer, G. 1990. Axioms for Probability and Belief Functions Propagation. In: Shachter, R.D., & al. (eds), Uncertainty in Artificial Intelligence 4. North Holland.
20. Srinivas, S., & Breese, J. 1990. IDEAL: A Software Package for Analysis of Influence Diagrams. In: Proceedings of the Sixth Uncertainty Conference in A I, Cambridge, MA.
21. Steele, G. L. 1990. Common Lisp - the Language. 2d edn. Digital Press.
22. Xu, H., & Kennes, R. 1994. Steps Toward Efficient Implementation of Dempster-Shafer Theory. Pages 153-174 of: Yager, R.R., Fedrizzi, M., & Kacprzyk, J. (eds), Advances in the Dempster-Shafer Theory of Evidence. John Wiley and Sons.