Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 3171-3176.
Abstract
We investigate fundamental properties of three-valued semantics for abstract dialectical frameworks (ADFs). In particular, we deal with realizability, i.e., the question whether there exists an ADF that has a given set of interpretations as its semantics. We provide necessary and sufficient conditions that hold for a set of three-valued interpretations whenever there is an ADF realizing it under admissible, complete, grounded, or preferred semantics. Moreover, we discuss how to construct such an ADF in case of realizability. Our results lay the ground for studying the expressiveness of ADFs under three-valued semantics. As a first application we study implications of our results on the existence of certain join operators on ADFs.
@inproceedings{ijcai2015p447,
title = {Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks},
author = {Pührer, Jörg},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {3171--3176},
year = {2015},
month = {7},
note = {Special Track on Knowledge Representation and Reasoning},
url = {https://ijcai.org/proceedings/2015/447},
}
TY - CPAPER TI - Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks AU - Pührer, Jörg T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 3171 EP - 3176 UR - https://ijcai.org/proceedings/2015/447 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
