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 Scopus citations

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 publicationCorrect Reasoning
Subtitle of host publicationEssays on Logic-Based AI in Honor of Vladimir Lifschitz
EditorsErdem Esra, Lee Joohyung, Lierler Yuliya, Pearce David
Pages509-526
Number of pages18
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)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Answer set programming and planning with knowledge and world-altering actions in multiple agent domains'. Together they form a unique fingerprint.

  • 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 E. Esra, L. Joohyung, L. Yuliya, & P. David (Eds.), Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz (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