Interlinking Logic Programs and Argumentation Frameworks
Interlinking Logic Programs and Argumentation Frameworks
复制标题
DOI：
10.1007/978-3-031-15707-3_25
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Chiaki Sakama;Tran Cao Son
中科院分区：
文献类型：
--
作者：
Chiaki Sakama;Tran Cao Son
逻辑程序（LP）和论证框架（AF）是两种用于不同推理任务的陈述性知识表示（KR）形式。本研究的目的是将两种不同的推理成分联系起来。为此，我们介绍了两个框架：LPAF和AFLP。前者允许将AF中的论证结果用于LP中的推理，后者允许将LP中的推理结果用于AF中的论证。我们还调查了他们的连接到几个一般KR框架的文献。
Logic programs(LPs) andargumentation 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:LPAFandAFLP. 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 tobidirectional frameworksin which AF and LP can exchange information with each other. We also investigate their connection to several general KR frameworks from the literature.