On the (un-)decidability of model-checking resource-bounded agents

Berndt Muller, N. Bulling

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


The verification and modelling of multi-agent systems is an important topic that has attracted much attention in recent years. Resources, however, have only recently been studied as simple extensions to well-known logics. Trying to find a set of useful features while retaining essential properties for practical use, we explore the question: Where are the limits of what can be verified about resource-bounded agents? We try to answer this question by considering several natural logic-based settings that may arise and prove that verification is usually undecidable apart from bounded or otherwise restrictive settings. Most interestingly, we identify various factors that influence the (un-)decidability and provide grounds for future research on more promising constraints leading to decidable fragments.
Original languageEnglish
Title of host publicationN/A
Publication statusPublished - 20 Aug 2010
Event 19th European Conference on Artificial Intelligence (ECAI) - Lisbon, Portugal
Duration: 16 Aug 201020 Aug 2010


Conference 19th European Conference on Artificial Intelligence (ECAI)


  • logics
  • resources
  • verification
  • decidability


Dive into the research topics of 'On the (un-)decidability of model-checking resource-bounded agents'. Together they form a unique fingerprint.

Cite this