抽象论证框架

由Dung于1995年提出的论证形式化框架，将每个论点视为节点，论点间仅存在攻击关系的有向边，节点可接受度取决于整张图的攻防关系