Communicating Answer Set Programs

Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock

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

4 Citations (Scopus)
19 Downloads (Pure)

Abstract

Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been thoroughly studied. We show that allowing simple programs to talk to each other results in the same expressivity as adding negation-as-failure. Furthermore, we show that the ability to focus on one program in a network of simple programs results in the same expressivity as adding disjunction in the head of the rules.
Original languageEnglish
Title of host publicationTechnical Communications of the 26th International Conference on Logic Programming
Pages34-43
Number of pages10
Volume7
Publication statusPublished - 2010
EventInternational Conference on Logic Programming - Edinburgh, United Kingdom
Duration: 16 Jul 201019 Jul 2010

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
ISSN (Print)1868-8969
ISSN (Electronic)1868-8969

Conference

ConferenceInternational Conference on Logic Programming
CountryUnited Kingdom
CityEdinburgh
Period16/07/201019/07/2010

Cite this

Bauters, K., Janssen, J., Schockaert, S., Vermeir, D., & Cock, M. D. (2010). Communicating Answer Set Programs. In Technical Communications of the 26th International Conference on Logic Programming (Vol. 7, pp. 34-43). (Leibniz International Proceedings in Informatics (LIPIcs)).
Bauters, Kim ; Janssen, Jeroen ; Schockaert, Steven ; Vermeir, Dirk ; Cock, Martine De. / Communicating Answer Set Programs. Technical Communications of the 26th International Conference on Logic Programming. Vol. 7 2010. pp. 34-43 (Leibniz International Proceedings in Informatics (LIPIcs)).
@inproceedings{7503a9cbbb0640d3813511c326fdd231,
title = "Communicating Answer Set Programs",
abstract = "Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been thoroughly studied. We show that allowing simple programs to talk to each other results in the same expressivity as adding negation-as-failure. Furthermore, we show that the ability to focus on one program in a network of simple programs results in the same expressivity as adding disjunction in the head of the rules.",
author = "Kim Bauters and Jeroen Janssen and Steven Schockaert and Dirk Vermeir and Cock, {Martine De}",
year = "2010",
language = "English",
isbn = "978-3-939897-17-0",
volume = "7",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
pages = "34--43",
booktitle = "Technical Communications of the 26th International Conference on Logic Programming",

}

Bauters, K, Janssen, J, Schockaert, S, Vermeir, D & Cock, MD 2010, Communicating Answer Set Programs. in Technical Communications of the 26th International Conference on Logic Programming. vol. 7, Leibniz International Proceedings in Informatics (LIPIcs), pp. 34-43, International Conference on Logic Programming, Edinburgh, United Kingdom, 16/07/2010.

Communicating Answer Set Programs. / Bauters, Kim; Janssen, Jeroen; Schockaert, Steven; Vermeir, Dirk; Cock, Martine De.

Technical Communications of the 26th International Conference on Logic Programming. Vol. 7 2010. p. 34-43 (Leibniz International Proceedings in Informatics (LIPIcs)).

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

TY - GEN

T1 - Communicating Answer Set Programs

AU - Bauters, Kim

AU - Janssen, Jeroen

AU - Schockaert, Steven

AU - Vermeir, Dirk

AU - Cock, Martine De

PY - 2010

Y1 - 2010

N2 - Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been thoroughly studied. We show that allowing simple programs to talk to each other results in the same expressivity as adding negation-as-failure. Furthermore, we show that the ability to focus on one program in a network of simple programs results in the same expressivity as adding disjunction in the head of the rules.

AB - Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been thoroughly studied. We show that allowing simple programs to talk to each other results in the same expressivity as adding negation-as-failure. Furthermore, we show that the ability to focus on one program in a network of simple programs results in the same expressivity as adding disjunction in the head of the rules.

M3 - Conference contribution

SN - 978-3-939897-17-0

VL - 7

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

SP - 34

EP - 43

BT - Technical Communications of the 26th International Conference on Logic Programming

ER -

Bauters K, Janssen J, Schockaert S, Vermeir D, Cock MD. Communicating Answer Set Programs. In Technical Communications of the 26th International Conference on Logic Programming. Vol. 7. 2010. p. 34-43. (Leibniz International Proceedings in Informatics (LIPIcs)).