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.
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)