Sciweavers

Share
ATAL
2010
Springer

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

10 years 1 months ago
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
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 disc...
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enric
Added 06 Dec 2010
Updated 06 Dec 2010
Type Conference
Year 2010
Where ATAL
Authors Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli
Comments (0)
books