Juan Carlos Nieves and Helena Lindgren
The authors are with the Department of Computing Science, Umea University, SE-901 87, Umea, Sweden (e-mail: jcnieves@cs.umu.se, helena@cs.umu.se).
Manuscript received on August 1, 2013.
Accepted for publication on September 30, 2013.
]]> Abstract
The consideration of heterogenous knowledge sources for supporting decision making is key to accomplish informed decisions, e.g., about medical diagnosis. Consequently, merging different data from different knowledge bases is a key issue for providing support for decision-making. In this paper, we explore an argumentation context approach, which follows how medical professionals typically reason, in order to merge two basic kinds of reasoning approaches based on logic programs: deductive and abductive inferences. In this setting, we introduce two kinds of argumentation frameworks: deductive argumentation frameworks and abductive argumentation frameworks. For merging these argumentation frameworks, we follow an approach based on argumentation context systems. We illustrate the approach by considering two different declarative specifications of evidence-based medical knowledge into logic programs in order to support informed medical decisions.
Key words: Knowledge representation, deductive knowledge bases, abductive knowledge bases.
DESCARGAR ARTÍCULO EN FORMATO PDF
Acknowledgment
This research is partly funded by VINNOVA (Sweden's innovation agency) and the Swedish Brain Power.
References
]]>[1] V. L. Patel, D. R. Kaufman, and J. F. Arocha, "Emerging paradigms of cognition in medical decision-making," Journal of Biomedical Informatics, vol. 35, no. 1, pp. 52-75, 2002. [ Links ]
[2] H. Lindgren and P. Eklund, "Differential diagnosis of dementia in an argumentation framework," Journal of Intelligent and Fuzzy Systems, vol. 17, no. 4, pp. 387-394, 2006. [ Links ]
[3] G. Brewka, T. Eiter, and M. Fink, "Nonmonotonic multi-context systems: A flexible approach for integrating heterogeneous knowledge sources," in Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, ser. Lecture Notes in Computer Science, vol. 6565. Springer, 2011, pp. 233-258. [ Links ]
[4] A. V. Gelder, K. A. Ross, and J. S. Schlipf, "The well-founded semantics for general logic programs," Journal of the ACM, vol. 38, no. 3, pp. 620-650, 1991. [ Links ]
[5] C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge: Cambridge University Press, 2003. [ Links ]
]]>[6] J. O'Brien, D. Ames, and A. Burns, Eds., Dementia. Arnold, 2000. [ Links ]
[7] J. Dix, M. Osorio, and C. Zepeda, "A general theory of confluent rewriting systems for logic programming and its applications," Ann. Pure Appl. Logic, vol. 108, no. 1-3, pp. 153-188, 2001. [ Links ]
[8] J. Dix, "A classification theory of semantics of normal logic programs: I. strong properties," Fundam. Inform., vol. 22, no. 3, pp. 227-255, 1995. [ Links ]
[9] ----------, "A classification theory of semantics of normal logic programs: II. weak properties." Fundam. Inform., vol. 22, no. 3, pp. 257-288, 1995. [ Links ]
[10] M. Gelfond and V. Lifschitz, "The Stable Model Semantics for Logic Programming," in 5th Conference on Logic Programming, R. Kowalski and K. Bowen, Eds. MIT Press, 1988, pp. 1070-1080. [ Links ]
]]>[11] G. Brewka and T. Eiter, "Argumentation Context Systems: A Framework for Abstract Group Argumentation," in Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), ser. Lecture Notes in Computer Science, vol. 5753. Springer, 2009, pp. 44-57. [ Links ]
[12] P. M. Dung, "On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games," Artificial Intelligence, vol. 77, no. 2, pp. 321-358, 1995. [ Links ]
[13] H. Prakken and G. A. W. Vreeswijk, "Logics for defeasible argumentation," in Handbook of Philosophical Logic, 2nd ed., D. Gabbay and F. Günthner, Eds. Dordrecht/Boston/London: Kluwer Academic Publishers, 2002, vol. 4, pp. 219-318. [ Links ]
[14] C. Sakama and K. Inoue, "An abductive framework for computing knowledge base updates," TPLP, vol. 3, no. 6, pp. 671-713, 2003. [ Links ]
[15] P. E. Dunne, "Computational properties of argument systems satisfying graph-theoretic constraints," Artificial Intelligence, vol. 171, no. 10-15, pp. 701-729, 2007. [ Links ]
]]>[16] J. C. Nieves, M. Osorio, and U. Cortés, "Semantics for possibilistic disjunctive programs," Theory and Practice of Logic Programming, vol. 13, pp. 33-70, 0 2013. [Online]. Available: http://journals.cambridge.org/article_S1471068411000408 [ Links ]
[17] J. C. Nieves and H. Lindgren, "Possibilistic Nested Logic Programs," in Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), ser. Leibniz International Proceedings in Informatics (LIPIcs), A. Dovier and V. S. Costa, Eds., vol. 17. Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2012, pp. 267-276. [Online]. Available: http://drops.dagstuhl.de/opus/ volltexte/2012/3628 [ Links ] ]]>