The Equational Approach to CF2 Semantics
Artificial Intelligence
2012-03-02 v1 Logic in Computer Science
Abstract
We introduce a family of new equational semantics for argumentation networks which can handle odd and even loops in a uniform manner. We offer one version of equational semantics which is equivalent to CF2 semantics, and a better version which gives the same results as traditional Dung semantics for even loops but can still handle odd loops.
Cite
@article{arxiv.1203.0220,
title = {The Equational Approach to CF2 Semantics},
author = {Dov M. Gabbay},
journal= {arXiv preprint arXiv:1203.0220},
year = {2012}
}
Comments
36 pages, version dated 15 February 2012