Anytime argumentative and abductive reasoning

Soft Computing

Volumn 8, Issue 2, 2003, Pages 142-149

  Haenni, R ^a,b  

^a UNIVERSITY OF KONSTANZ   (Germany)

^b NONE   (Switzerland)

Author keywords

Abduction; Anytime algorithms; Cost bounded approximation; Probabilistic argumentation

Indexed keywords

EID: 2942660672     PISSN: 14327643     EISSN: 14337479     Source Type: Journal    
DOI: 10.1007/s00500-002-0254-y     Document Type: Article

References (29)

1. Anrig B, Bissig R, Haenni R, Kohlas J, Lehmann N (1999) Probabilistic argumentation systems: Introduction to assumption-based modeling with ABEL. Technical Report 99-1, Institute of Informatics, University of Fribourg
2. Laskey KB, Lehner PE (1989) Assumptions, beliefs and probabilities, Artificial Intelligence 41(1): 65-77
3. Berzati D, Haenni R, Kohlas J (2002) Probabilistic argumentation systems and abduction, Annals of Mathematics and Artificial Intelligence 34(1-3): 177-195
4. Bigham J, Luo Z, Banerjee D (1995) A cost bounded possibilistic ATMS. In: Froidevaux C, Kohlas J (Eds) Proceedings of the ECSQARU Conference on Symbolic and Quantitive Approaches to Reasoning and Uncertainty, vol. 946, Springer Verlag Berlin, pp. 52-59
5. Collins JW, de Coste D (1991) CATMS: An ATMS which avoids label explosions. In: McKeown K, Dean T (Eds) Proceedings of the 9th National Conference on Artificial Intelligence, MIT Press, Vol. 1 pp. 281-287
6. de Kleer J (1986) An assumption-based TMS, Artificial Intelligence 28: 127-162
7. de Kleer J (1986) Extending the ATMS, Artificial Intelligence 28: 163-196
8. de Kleer J (1986) Problem solving with the ATMS, Artificial Intelligence 28: 197-224
9. de Kleer J (1991) Focusing on probable diagnoses. In: Dean K, Thomas L, McKeown K (Eds) Proceedings of the 9th National Conference on Artificial Intelligence, MIT Press, pp. 842-848
10. de Kleer J (1993) A perspective on assumption-based truth maintenance, Artificial Intelligence 59(1-2): 63-67
11. Dean T, Boddy M (1988) An analysis of time-dependent planning. In: Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), MIT Press, pp. 49-54
12. Dean TL (1987) Intrancibility and time-dependent planning. In: Geofrey MP, Lansky AL (Eds) Proceedings of the 1986 Workshop on Reasoning about Actions and Plans. Morgan Kaufmann Publishers
13. Dechter R (1999) Bucket elimination: A unifying framework for reasoning, Artificial Intelligence 113(1-2): 41-85
14. Forbus KD, de Kleer J (1988) Focusing the ATMS. In: Smith TM, Mitchell RG (Eds) Proceedings of the 7th National Conference on Artificial Intelligence, Morgan Kaufmann, St. Paul, MN, pp. 193-198
15. Haenni R (1998) Modeling uncertainty with propositional assumption-based systems. In: Parson S, Hunter A (Eds) Applications of Uncertainty Formalisms, Lecture Notes in Artifical Intelligence 1455, Springer-Verlag, pp. 446-470
16. Haenni R (2001) Cost-bounded argumentation. Int J Approximate Reasoning 26(2): 101-127
17. Haenni R, Kohlas J, Lehmann N (2000) Probabilistic argumentation systems. In: Kohlas J, Moral S (Eds) Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning. Kluwer, Dordrecht
18. Haenni R, Lehmann N (2003) Probabilistic argumentation systems: a new perspective on Dempster-Shafer theory, Int J Intelligent Systems: (Special Issue: The Dempster-Shafer Theory of Evidence) 18(1): 93-106
19. Inoue K (1991) An abductive procedure for the CMS/ATMS. In: Martins JP, Reinfrank M (Eds) Truth Maintenance Systems, Lecture Notes in A.I., Springer, pp. 34-53
20. Kohlas J, Monney PA (1995) A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence, volume 425 of Lecture Notes in Economics and Mathematical Systems. Springer
21. McLeish M (1987) Nilsson's probabilistic entailment extended to Dempster-Shafer theory. In: Kanal LN, Levitt TS, Lemmer JF (Eds) Uncertainty in Artificial Intelligence, Vol. 8, North-Holland, Amsterdam, pp. 23-34
22. Pearl J (1988) Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann
23. Provan GM (1990) A logic-based analysis of Dempster-Shafer theory, Int J Approximate Reasoning 4: 451-495
24. Reiter R, de Kleer J (1987) Foundations of assumption-based truth maintenance systems: Preliminary report. In: Forbus K, Shrobe H (Eds) Proceedings of the Sixth National Conference on Artificial Intelligence, American Association for Artificial Intelligence, AAAI Press, pp. 183-188
25. Shafer G (1976) The Mathematical Theory of Evidence. Princeton University Press
26. Shenoy PP (1996) Binary join trees. In: Horvitz E, Jensen F (Eds) Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (UAI-96), Morgan Kaufmann Publishers, San Francisco, pp. 492-499
27. Smets Ph (1993) Probability of provability and belief functions. In: Clarke M, Kruse R, Moral S (Eds) Proceedings of the ECSQARU'93 conference, Springer-Verlag, pp. 332-340
28. Smets Ph, Kennes R (1994) The transferable belief model, Artificial Intelligence 66: 191-234
29. Zilberstein S (1996) Using anytime algorithms in intelligent systems, AI Magazine Fall: 71-83