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

Berndt Muller, N. Bulling

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

Abstract

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
Pages567-572
DOIs
Publication statusPublished - 20 Aug 2010
Event 19th European Conference on Artificial Intelligence (ECAI) - Lisbon, Portugal
Duration: 16 Aug 201020 Aug 2010

Conference

Conference 19th European Conference on Artificial Intelligence (ECAI)
Period16/08/1020/08/10

Keywords

  • logics
  • resources
  • verification
  • decidability

Fingerprint

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

Cite this