Scifaro

中文

扩展逻辑编程的良根论证语义

计算机科学中的逻辑 2007-05-23 v1 人工智能

作者: Ralf Schweimeier , Michael Schroeder

在 arXiv 上查看 ↗ PDF ↗

摘要

本文定义了扩展逻辑编程的论证语义，并展示其与具有显式否定的良根语义等价性。我们建立了一个通用框架，其中广泛比较了该语义与其他论证语义，包括 Dung 语义和 Prakken 与 Sartor 的语义。我们提出了这些论证语义的通用 dialectical 证明理论。

关键词

论证语义扩展逻辑编程良根语义显式否定 dialectical 证明理论

引用

@article{arxiv.cs/0207040,
  title  = {Well-Founded Argumentation Semantics for Extended Logic Programming},
  author = {Ralf Schweimeier and Michael Schroeder},
  journal= {arXiv preprint arXiv:cs/0207040},
  year   = {2007}
}

备注

Workshop on Non-Monotonic Reasoning NMR'02, Special Session on Argument, Dialogue, and Decision