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 language | English |
---|---|
Title of host publication | N/A |
Pages | 567-572 |
DOIs | |
Publication status | Published - 20 Aug 2010 |
Event | 19th European Conference on Artificial Intelligence (ECAI) - Lisbon, Portugal Duration: 16 Aug 2010 → 20 Aug 2010 |
Conference
Conference | 19th European Conference on Artificial Intelligence (ECAI) |
---|---|
Period | 16/08/10 → 20/08/10 |
Keywords
- logics
- resources
- verification
- decidability