Answer set programming and planning with knowledge and world-altering actions in multiple agent domains

Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond

Research output: Chapter in Book/Report/Conference proceedingChapter

7 Citations (Scopus)

Abstract

This paper discusses the planning problem in multi-agent domains, in which agents may execute not only world-altering actions, but also epistemic actions. The paper reviews the concepts of Kripke structures and update models, as proposed in the literature to model epistemic and ontic actions; it then discusses the use of Answer Set Programming (ASP) in representing and reasoning about the effects of actions on the world, the knowledge of agents, and planning. The paper introduces the m language, an action language for multi-agent domains with epistemic and ontic actions, to demonstrate the proposed ASP model.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages509-526
Number of pages18
Volume7265
DOIs
StatePublished - 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7265
ISSN (Print)03029743
ISSN (Electronic)16113349

Fingerprint

Answer Set Programming
Planning
Programming Model
Knowledge
Reasoning
Update
Model
Demonstrate

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Pontelli, E., Son, T. C., Baral, C., & Gelfond, G. (2012). Answer set programming and planning with knowledge and world-altering actions in multiple agent domains. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7265, pp. 509-526). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7265). https://doi.org/10.1007/978-3-642-30743-0_35

Answer set programming and planning with knowledge and world-altering actions in multiple agent domains. / Pontelli, Enrico; Son, Tran Cao; Baral, Chitta; Gelfond, Gregory.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7265 2012. p. 509-526 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7265).

Research output: Chapter in Book/Report/Conference proceedingChapter

Pontelli, E, Son, TC, Baral, C & Gelfond, G 2012, Answer set programming and planning with knowledge and world-altering actions in multiple agent domains. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 7265, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7265, pp. 509-526. https://doi.org/10.1007/978-3-642-30743-0_35
Pontelli E, Son TC, Baral C, Gelfond G. Answer set programming and planning with knowledge and world-altering actions in multiple agent domains. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7265. 2012. p. 509-526. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-30743-0_35
Pontelli, Enrico ; Son, Tran Cao ; Baral, Chitta ; Gelfond, Gregory. / Answer set programming and planning with knowledge and world-altering actions in multiple agent domains. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7265 2012. pp. 509-526 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inbook{0f91f0e6ecc849b2bf1ad7726ed5572f,
title = "Answer set programming and planning with knowledge and world-altering actions in multiple agent domains",
abstract = "This paper discusses the planning problem in multi-agent domains, in which agents may execute not only world-altering actions, but also epistemic actions. The paper reviews the concepts of Kripke structures and update models, as proposed in the literature to model epistemic and ontic actions; it then discusses the use of Answer Set Programming (ASP) in representing and reasoning about the effects of actions on the world, the knowledge of agents, and planning. The paper introduces the m language, an action language for multi-agent domains with epistemic and ontic actions, to demonstrate the proposed ASP model.",
author = "Enrico Pontelli and Son, {Tran Cao} and Chitta Baral and Gregory Gelfond",
year = "2012",
doi = "10.1007/978-3-642-30743-0_35",
language = "English (US)",
isbn = "9783642307423",
volume = "7265",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "509--526",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - CHAP

T1 - Answer set programming and planning with knowledge and world-altering actions in multiple agent domains

AU - Pontelli, Enrico

AU - Son, Tran Cao

AU - Baral, Chitta

AU - Gelfond, Gregory

PY - 2012

Y1 - 2012

N2 - This paper discusses the planning problem in multi-agent domains, in which agents may execute not only world-altering actions, but also epistemic actions. The paper reviews the concepts of Kripke structures and update models, as proposed in the literature to model epistemic and ontic actions; it then discusses the use of Answer Set Programming (ASP) in representing and reasoning about the effects of actions on the world, the knowledge of agents, and planning. The paper introduces the m language, an action language for multi-agent domains with epistemic and ontic actions, to demonstrate the proposed ASP model.

AB - This paper discusses the planning problem in multi-agent domains, in which agents may execute not only world-altering actions, but also epistemic actions. The paper reviews the concepts of Kripke structures and update models, as proposed in the literature to model epistemic and ontic actions; it then discusses the use of Answer Set Programming (ASP) in representing and reasoning about the effects of actions on the world, the knowledge of agents, and planning. The paper introduces the m language, an action language for multi-agent domains with epistemic and ontic actions, to demonstrate the proposed ASP model.

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

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

U2 - 10.1007/978-3-642-30743-0_35

DO - 10.1007/978-3-642-30743-0_35

M3 - Chapter

AN - SCOPUS:84864240593

SN - 9783642307423

VL - 7265

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 509

EP - 526

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -