Search:
Computing and Library Services - delivering an inspiring information environment

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

Alviano, Mario and Faber, Wolfgang (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. AAAI Press, pp. 2684-2690.

[img] PDF - Accepted Version
Restricted to Repository staff only

Download (248kB)

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.

Item Type: Book Chapter
Contributors:
ContributionNameEmailORCID
UNSPECIFIEDYang, QiangUNSPECIFIEDUNSPECIFIED
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
Schools: School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
Related URLs:
Depositing User: Wolfgang Faber
Date Deposited: 15 Jun 2015 09:32
Last Modified: 27 Mar 2016 15:12
URI: http://eprints.hud.ac.uk/id/eprint/24803

Downloads

Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©