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.
CITATION STYLE
Sakama, C., & Son, T. C. (2022). Interlinking Logic Programs and Argumentation Frameworks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 13416 LNAI, pp. 322–335). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-15707-3_25
Mendeley helps you to discover research relevant for your work.