BriefGPT.xyz
Nov, 2014
使用论证来证明答案集
Justifying Answer Sets using Argumentation
HTML
PDF
Claudia Schulz, Francesca Toni
TL;DR
本文介绍了如何使用论证理论来解释为什么某个文字是或不是包含在给定答案集中,并定义了两种基于论证的方法:攻击树和 ABA-Based 答案集证明。
Abstract
An
answer set
is a plain set of literals which has no further structure that would explain why certain literals are part of it and why others are not. We show how
argumentation theory
can help to explain why a li
→