Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective

Alviano, Mario; Faber, Wolfgang

Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 2684-2689.

Abstract

This paper relates two extensively studied formalisms: abstract dialectical frameworks and logic programs with generalized atoms or similar constructs. While the syntactic similarity is easy to see, also a strong relation between various stable model semantics proposed for these formalisms is shown by means of a unifying framework in which these semantics are restated in terms of program reducts and an immediate consequence operator, where program reducts have only minimal differences. This approach has advantages for both formalisms, as for example implemented systems for one formalism are usable for the other, and properties such as computational complexity do not have to be rediscovered. As a first, concrete result of this kind, one stable model semantics based on program reducts and subset-minimality that reached a reasonable consensus for logic programs with generalized atoms provides a novel, alternative semantics for abstract dialectical frameworks.

Mario Alviano, and Wolfgang Faber. 2015. Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 2684–2689. https://ijcai.org/proceedings/2015/380

@inproceedings{ijcai2015p380,
  title     = {Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective},
  author    = {Alviano, Mario and Faber, Wolfgang},
  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     = {2684--2689},
  year      = {2015},
  month     = {7},
  note      = {Special Track on Knowledge Representation and Reasoning},
  url       = {https://ijcai.org/proceedings/2015/380},
}

TY  - CPAPER
TI  - Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective
AU  - Alviano, Mario
AU  - Faber, Wolfgang
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 2684
EP  - 2689
UR  - https://ijcai.org/proceedings/2015/380
ER  -