BriefGPT.xyz
Jul, 2019
基于协相 Kohesion 的答案集语义与论证框架的相遇
Paracoherent Answer Set Semantics meets Argumentation Frameworks
HTML
PDF
Giovanni Amendola, Francesco Ricca
TL;DR
本文研究了抽象论证、非单调逻辑、论证框架、稳定扩展和松弛相容扩展之间的关系,比较了松弛稳定、状态和松弛相容扩展之间的异同,并阐述了松弛相容扩展的对称性。
Abstract
In the last years,
abstract argumentation
has met with great success in AI, since it has served to capture several non-monotonic logics for AI. Relations between
argumentation framework
(AF) semantics and logic p
→