CF2 语义的等式方法
人工智能
2012-03-02 v1 计算机科学中的逻辑
摘要
我们为论证网络引入了一系列新的等式语义，它们能够以统一的方式处理奇环和偶环。我们提供了一种与 CF2 语义等价的等式语义版本，以及一个更好的版本，该版本对偶环给出与传统 Dung 语义相同的结果，但仍能处理奇环。
引用
@article{arxiv.1203.0220,
title = {The Equational Approach to CF2 Semantics},
author = {Dov M. Gabbay},
journal= {arXiv preprint arXiv:1203.0220},
year = {2012}
}
备注
36 pages, version dated 15 February 2012