Interlinking Logic Programs and Argumentation Frameworks

Chiaki Sakama and Tran Cao Son

Proceedings of the 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2022), Lecture Notes in Artificial Intelligence, vol.13416, pages 322-335, Springer, 2022.

Abstract

Logic programs (LPs) and argumentation frameworks (AFs) are two declarative knowledge representation (KR) formalisms used for different reasoning tasks. The purpose of this study is interlinking two different reasoning components. To this end, we introduce two frameworks: LPAF and AFLP. The former enables to use the result of argumentation in AF for reasoning in LP, while the latter enables to use the result of reasoning in LP for arguing in AF. These frameworks are extended to bidirectional frameworks in which AF and LP can exchange information with each other. We also investigate their connection to several general KR frameworks from the literature.

Full Paper (PDF 104K)

Slide