Logic programming in assumption-based argumentation revisited — semantics and graphical representation
File(s)
Accepted version
Author(s)
Toni, F
Schulz, C
Type
Conference Paper
Abstract
Logic Programming and Argumentation Theory have been
existing side by side as two separate, yet related, techniques
in the field of Knowledge Representation and Reasoning for
many years. When Assumption-Based Argumentation (ABA)
was first introduced in the nineties, the authors showed how
a logic program can be encoded in an ABA framework and
proved that the stable semantics of a logic program corresponds
to the stable extension semantics of the ABA framework
encoding this logic program. We revisit this initial work
by proving that the 3-valued stable semantics of a logic program
coincides with the complete semantics of the encoding
ABA framework, and that the L-stable semantics of this
logic program coincides with the semi-stable semantics of
the encoding ABA framework. Furthermore, we show how
to graphically represent the structure of a logic program encoded
in an ABA framework and that not only logic programming
and ABA semantics but also Abstract Argumentation
semantics can be easily applied to a logic program using these
graphical representations.
existing side by side as two separate, yet related, techniques
in the field of Knowledge Representation and Reasoning for
many years. When Assumption-Based Argumentation (ABA)
was first introduced in the nineties, the authors showed how
a logic program can be encoded in an ABA framework and
proved that the stable semantics of a logic program corresponds
to the stable extension semantics of the ABA framework
encoding this logic program. We revisit this initial work
by proving that the 3-valued stable semantics of a logic program
coincides with the complete semantics of the encoding
ABA framework, and that the L-stable semantics of this
logic program coincides with the semi-stable semantics of
the encoding ABA framework. Furthermore, we show how
to graphically represent the structure of a logic program encoded
in an ABA framework and that not only logic programming
and ABA semantics but also Abstract Argumentation
semantics can be easily applied to a logic program using these
graphical representations.
Date Issued
2015-06-01
Date Acceptance
2015-01-01
Citation
AAAI Publications, Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015, 2, pp.1569-1575
ISBN
978-1-57735-700-1
ISSN
2159-5399
Publisher
AAAI Press
Start Page
1569
End Page
1575
Journal / Book Title
AAAI Publications, Twenty-Ninth AAAI Conference on Artificial Intelligence
Volume
2
Copyright Statement
© 2015, Association for the Advancement of Artificial
Intelligence (www.aaai.org).
Intelligence (www.aaai.org).
Identifier
https://dl.acm.org/doi/10.5555/2886521.2886538
Source
Twenty-Ninth AAAI Conference on Artificial Intelligence
Subjects
Science & Technology
Technology
Computer Science, Artificial Intelligence
Computer Science, Theory & Methods
Engineering, Electrical & Electronic
Computer Science
Engineering
Publication Status
Published
Start Date
2015-01-25
Finish Date
2015-01-30
Coverage Spatial
Austin, Texas
Date Publish Online
2015-06-01