关于逻辑编程与 SETAF 等价性的研究
原文中文,约400字,阅读约需1分钟。发表于: 。该论文将 Normal Logic Programs(NLPs)和 Sets of Attacking Arguments(SETAF)互相转换,并证明了它们在语义上的等价性,特别是 L-stable 和 semi-stable semantics 的等价性。此外,论文还证明了 Redundancy-Free Atomic Logic Programs(RFALPs)是与 NLPs...
该论文研究了Normal Logic Programs(NLPs)和Sets of Attacking Arguments(SETAF)之间的转换,并证明了它们在语义上的等价性。同时,论文还证明了Redundancy-Free Atomic Logic Programs(RFALPs)与NLPs等价,并提出了一种转换方法。这些结果加深了对NLPs和SETAFs的理解。