On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks
Artificial Intelligence
2014-05-06 v1 Logic in Computer Science
Abstract
We analyse the expressiveness of the two-valued semantics of abstract argumentation frameworks, normal logic programs and abstract dialectical frameworks. By expressiveness we mean the ability to encode a desired set of two-valued interpretations over a given propositional signature using only atoms from that signature. While the computational complexity of the two-valued model existence problem for all these languages is (almost) the same, we show that the languages form a neat hierarchy with respect to their expressiveness.
Cite
@article{arxiv.1405.0805,
title = {On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks},
author = {Hannes Strass},
journal= {arXiv preprint arXiv:1405.0805},
year = {2014}
}
Comments
Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)