Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge

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

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

18 Citations (Scopus)

Abstract

One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to take it into account when planning and acting. In the past this has been done using modal and dynamic epistemic logics. In this paper we explore the use of answer set programming (ASP), and reasoning about action techniques for this purpose. These approaches present a number of theoretical and practical advantages. From the theoretical perspective, ASP's property of non-monotonicity (and several other features) allow us to express causality in an elegant fashion. From the practical perspective, recent implementations of ASP solvers have become very efficient, outperforming several other systems in recent SAT competitions. Finally, the use of ASP and reasoning about action techniques allows for the adaptation of a large body of research developed for single-agent to multi-agent domains. We begin our discussion by showing how ASP can be used to find Kripke models of a modal theory. We then illustrate how both the muddy children, and the sum-and-product problems can be represented and solved using these concepts. We describe and implement a new kind of action, which we call "ask-and-truthfully-answer," and show how this action brings forth a new dimension to the muddy children problem.

Original languageEnglish (US)
Title of host publicationProceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages259-266
Number of pages8
Volume1
ISBN (Print)9781617387715
StatePublished - 2010
Event9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010 - Toronto, ON, Canada
Duration: May 10 2010 → …

Other

Other9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010
CountryCanada
CityToronto, ON
Period5/10/10 → …

Fingerprint

Planning

Keywords

  • Answer set programming
  • Reasoning about actions

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Baral, C., Gelfond, G., Son, T. C., & Pontelli, E. (2010). Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (Vol. 1, pp. 259-266). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. / Baral, Chitta; Gelfond, Gregory; Son, Tran Cao; Pontelli, Enrico.

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. Vol. 1 International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2010. p. 259-266.

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

Baral, C, Gelfond, G, Son, TC & Pontelli, E 2010, Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. vol. 1, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), pp. 259-266, 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010, Toronto, ON, Canada, 5/10/10.
Baral C, Gelfond G, Son TC, Pontelli E. Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. Vol. 1. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 2010. p. 259-266
Baral, Chitta ; Gelfond, Gregory ; Son, Tran Cao ; Pontelli, Enrico. / Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. Vol. 1 International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2010. pp. 259-266
@inproceedings{297bc7156edf43b0884e726152cddd22,
title = "Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge",
abstract = "One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to take it into account when planning and acting. In the past this has been done using modal and dynamic epistemic logics. In this paper we explore the use of answer set programming (ASP), and reasoning about action techniques for this purpose. These approaches present a number of theoretical and practical advantages. From the theoretical perspective, ASP's property of non-monotonicity (and several other features) allow us to express causality in an elegant fashion. From the practical perspective, recent implementations of ASP solvers have become very efficient, outperforming several other systems in recent SAT competitions. Finally, the use of ASP and reasoning about action techniques allows for the adaptation of a large body of research developed for single-agent to multi-agent domains. We begin our discussion by showing how ASP can be used to find Kripke models of a modal theory. We then illustrate how both the muddy children, and the sum-and-product problems can be represented and solved using these concepts. We describe and implement a new kind of action, which we call {"}ask-and-truthfully-answer,{"} and show how this action brings forth a new dimension to the muddy children problem.",
keywords = "Answer set programming, Reasoning about actions",
author = "Chitta Baral and Gregory Gelfond and Son, {Tran Cao} and Enrico Pontelli",
year = "2010",
language = "English (US)",
isbn = "9781617387715",
volume = "1",
pages = "259--266",
booktitle = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",

}

TY - GEN

T1 - Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge

AU - Baral, Chitta

AU - Gelfond, Gregory

AU - Son, Tran Cao

AU - Pontelli, Enrico

PY - 2010

Y1 - 2010

N2 - One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to take it into account when planning and acting. In the past this has been done using modal and dynamic epistemic logics. In this paper we explore the use of answer set programming (ASP), and reasoning about action techniques for this purpose. These approaches present a number of theoretical and practical advantages. From the theoretical perspective, ASP's property of non-monotonicity (and several other features) allow us to express causality in an elegant fashion. From the practical perspective, recent implementations of ASP solvers have become very efficient, outperforming several other systems in recent SAT competitions. Finally, the use of ASP and reasoning about action techniques allows for the adaptation of a large body of research developed for single-agent to multi-agent domains. We begin our discussion by showing how ASP can be used to find Kripke models of a modal theory. We then illustrate how both the muddy children, and the sum-and-product problems can be represented and solved using these concepts. We describe and implement a new kind of action, which we call "ask-and-truthfully-answer," and show how this action brings forth a new dimension to the muddy children problem.

AB - One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to take it into account when planning and acting. In the past this has been done using modal and dynamic epistemic logics. In this paper we explore the use of answer set programming (ASP), and reasoning about action techniques for this purpose. These approaches present a number of theoretical and practical advantages. From the theoretical perspective, ASP's property of non-monotonicity (and several other features) allow us to express causality in an elegant fashion. From the practical perspective, recent implementations of ASP solvers have become very efficient, outperforming several other systems in recent SAT competitions. Finally, the use of ASP and reasoning about action techniques allows for the adaptation of a large body of research developed for single-agent to multi-agent domains. We begin our discussion by showing how ASP can be used to find Kripke models of a modal theory. We then illustrate how both the muddy children, and the sum-and-product problems can be represented and solved using these concepts. We describe and implement a new kind of action, which we call "ask-and-truthfully-answer," and show how this action brings forth a new dimension to the muddy children problem.

KW - Answer set programming

KW - Reasoning about actions

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

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

M3 - Conference contribution

AN - SCOPUS:84885683592

SN - 9781617387715

VL - 1

SP - 259

EP - 266

BT - Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

PB - International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)

ER -