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.
|Title of host publication||N/A|
|Publication status||Published - 20 Aug 2010|
|Event|| 19th European Conference on Artificial Intelligence (ECAI) - Lisbon, Portugal|
Duration: 16 Aug 2010 → 20 Aug 2010
|Conference||19th European Conference on Artificial Intelligence (ECAI)|
|Period||16/08/10 → 20/08/10|