{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T14:16:40Z","timestamp":1772374600024,"version":"3.50.1"},"reference-count":29,"publisher":"World Scientific Pub Co Pte Ltd","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2006,4]]},"abstract":"<jats:p>We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In addition to the conventional constructs of imperative programming languages, MABLE provides a number of agent-oriented development features. First, agents in MABLE are endowed with a BDI-like mental state: they have data structures corresponding to beliefs, desires, and intentions, and these mental states may be arbitrarily nested. Second, agents in MABLE communicate via ACL-like performatives: however, neither the performatives nor their semantics are hardwired into the language. It is possible to define the performatives and the semantics of these performatives independently of the system in which they are used. Using this feature, a developer can explore the design space of ACL performatives and semantics without changing the target system. Finally, MABLE supports automatic verification via model checking. Claims about the behaviour of a MABLE system can be expressed in a linear-time BDI-like logic, and the truth, or otherwise, of these claims can be automatically determined. Following a description of the MABLE language and the language of MABLE claims, we present two case studies to illustrate the language and its use in the verification of multiagent systems. We then describe the key ideas underpinning the current implementation of MABLE. Finally, we survey related work, and discuss some avenues for future research.<\/jats:p>","DOI":"10.1142\/s0218213006002631","type":"journal-article","created":{"date-parts":[[2006,3,21]],"date-time":"2006-03-21T10:41:10Z","timestamp":1142937670000},"page":"195-225","source":"Crossref","is-referenced-by-count":27,"title":["MODEL CHECKING FOR MULTIAGENT SYSTEMS: THE MABLE LANGUAGE AND ITS APPLICATIONS"],"prefix":"10.1142","volume":"15","author":[{"given":"MICHAEL","family":"WOOLDRIDGE","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, UK"}]},{"given":"MARC-PHILIPPE","family":"HUGET","sequence":"additional","affiliation":[{"name":"University of Savoie, ESIA-LISTIC, B.P. 806, 74016 Annecy CEDEX, France"}]},{"given":"MICHAEL","family":"FISHER","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, UK"}]},{"given":"SIMON","family":"PARSONS","sequence":"additional","affiliation":[{"name":"Department of Computer &amp; Information Science, Brooklyn College, City University of New York, 2900 Bedford Avenue, Brooklyn NY 11210, USA"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf2","series-title":"LNAI","volume-title":"Intelligent Agents V","volume":"1555","author":"Benerecetti M.","year":"1999"},{"key":"rf4","volume-title":"Model Checking","author":"Clarke E. M.","year":"2000"},{"key":"rf5","volume-title":"Programming in Prolog","author":"Clocksin W. F.","year":"1981"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0303_1"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1007\/10722777"},{"key":"rf8","doi-asserted-by":"crossref","unstructured":"M.\u00a0d'Inverno, Intelligent Agents IV, LNAI\u00a01365, eds. M. P.\u00a0Singh, A.\u00a0Rao and M. J.\u00a0Wooldridge (Springer-Verlag, Berlin, Germany, 1997)\u00a0pp. 155\u2013176.","DOI":"10.1007\/BFb0026757"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90049-4"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010084620690"},{"key":"rf16","volume-title":"Design and Validation of Computer Protocols","author":"Holzmann G.","year":"1991"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"rf18","volume-title":"A Deduction Model of Belief","author":"Konolige K.","year":"1986"},{"key":"rf20","unstructured":"Y.\u00a0L\u00e9sperance, Intelligent Agents II, LNAI\u00a01037, eds. M.\u00a0Wooldridge, J. P.\u00a0M\u00fcller and M.\u00a0Tambe (Springer-Verlag, Berlin, Germany, 1996)\u00a0pp. 331\u2013346."},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"rf22","doi-asserted-by":"crossref","unstructured":"J.\u00a0Mayfield, Y.\u00a0Labrou and T.\u00a0Finin, Intelligent Agents II, LNAI\u00a01037, eds. M.\u00a0Wooldridge, J. P.\u00a0M\u00fcller and M.\u00a0Tambe (Springer-Verlag, Berlin, Germany, 1996)\u00a0pp. 347\u2013360.","DOI":"10.1007\/3540608052_77"},{"key":"rf23","unstructured":"J.\u00a0McCarthy and P. J.\u00a0Hayes, Machine Intelligence 4, eds. B.\u00a0Meltzer and D.\u00a0Michie (Edinburgh University Press, 1969)\u00a0pp. 463\u2013502."},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"rf25","volume-title":"Deontic Logic in Computer Science \u2014 Normative System Specification","author":"Ch. Meyer J.-J.","year":"1993"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.3.293"},{"key":"rf32","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action","author":"Reiter R.","year":"2001"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90034-9"},{"key":"rf34","first-page":"40","author":"Singh M.","journal-title":"IEEE Computer"},{"key":"rf35","volume":"29","author":"Smith R. G.","journal-title":"IEEE Transactions on Computers"},{"key":"rf36","volume-title":"A Framework for Distributed Problem Solving","author":"Smith R. G.","year":"1980"},{"key":"rf37","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogeneous Agent Systems","author":"Subrahmanian V. S.","year":"2000"},{"key":"rf38","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58855-8_23"},{"key":"rf39","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550060504"},{"key":"rf40","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19971026"},{"key":"rf44","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"Wooldridge M.","year":"2000"},{"key":"rf45","volume-title":"An Introduction to Multiagent Systems","author":"Wooldridge M.","year":"2002"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213006002631","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T02:29:22Z","timestamp":1736303362000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213006002631"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,4]]},"references-count":29,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2006,4]]}},"alternative-id":["10.1142\/S0218213006002631"],"URL":"https:\/\/doi.org\/10.1142\/s0218213006002631","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,4]]}}}