Stable model semantics of abstract dialectical frameworks revisited

A logic programming perspective

Mario Alviano, Wolfgang Faber

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationIJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence
PublisherInternational Joint Conferences on Artificial Intelligence
Pages2684-2690
Number of pages7
Volume2015-January
ISBN (Electronic)9781577357384
Publication statusPublished - 2015
Event24th International Joint Conference on Artificial Intelligence - Buenos Aires, Argentina
Duration: 25 Jul 201531 Jul 2015
Conference number: 24
http://www.ijcai.org/past_conferences (Link to Conference Website )

Conference

Conference24th International Joint Conference on Artificial Intelligence
Abbreviated titleIJCAI 2015
CountryArgentina
CityBuenos Aires
Period25/07/1531/07/15
Internet address

Fingerprint

Logic programming
Semantics
Atoms
Syntactics
Computational complexity

Cite this

Alviano, M., & Faber, W. (2015). Stable model semantics of abstract dialectical frameworks revisited: A logic programming perspective. In IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence (Vol. 2015-January, pp. 2684-2690). International Joint Conferences on Artificial Intelligence.
Alviano, Mario ; Faber, Wolfgang. / Stable model semantics of abstract dialectical frameworks revisited : A logic programming perspective. IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Vol. 2015-January International Joint Conferences on Artificial Intelligence, 2015. pp. 2684-2690
@inproceedings{aa33ee7546324356a5a5ffb7857ebced,
title = "Stable model semantics of abstract dialectical frameworks revisited: A logic programming perspective",
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.",
author = "Mario Alviano and Wolfgang Faber",
year = "2015",
language = "English",
volume = "2015-January",
pages = "2684--2690",
booktitle = "IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence",
publisher = "International Joint Conferences on Artificial Intelligence",

}

Alviano, M & Faber, W 2015, Stable model semantics of abstract dialectical frameworks revisited: A logic programming perspective. in IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. vol. 2015-January, International Joint Conferences on Artificial Intelligence, pp. 2684-2690, 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25/07/15.

Stable model semantics of abstract dialectical frameworks revisited : A logic programming perspective. / Alviano, Mario; Faber, Wolfgang.

IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Vol. 2015-January International Joint Conferences on Artificial Intelligence, 2015. p. 2684-2690.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Stable model semantics of abstract dialectical frameworks revisited

T2 - A logic programming perspective

AU - Alviano, Mario

AU - Faber, Wolfgang

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84949802975&partnerID=8YFLogxK

M3 - Conference contribution

VL - 2015-January

SP - 2684

EP - 2690

BT - IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence

PB - International Joint Conferences on Artificial Intelligence

ER -

Alviano M, Faber W. Stable model semantics of abstract dialectical frameworks revisited: A logic programming perspective. In IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Vol. 2015-January. International Joint Conferences on Artificial Intelligence. 2015. p. 2684-2690