SciELO - Scientific Electronic Library Online

 issue48A Logic Programming Approach to the Conservation of Buildings Based on an Extension of the Eindhoven Classification ModelMultiscale RBF Neural Network for Forecasting of Monthly Hake Catches off Southern Chile author indexsubject indexsearch form
Home Pagealphabetic serial listing  

Services on Demand




Related links

  • Have no similar articlesSimilars in SciELO



On-line version ISSN 1870-9044

Polibits  n.48 México Jul./Dec. 2013


Merging Deductive and Abductive Knowledge Bases: An Argumentation Context Approach


Juan Carlos Nieves and Helena Lindgren


The authors are with the Department of Computing Science, Umea University, SE-901 87, Umea, Sweden (e-mail:,


Manuscript received on August 1, 2013.
Accepted for publication on September 30, 2013.



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.





This research is partly funded by VINNOVA (Sweden's innovation agency) and the Swedish Brain Power.



[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:        [ 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: volltexte/2012/3628        [ Links ]

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License