{"type":"ScholarlyArticle","title":"Agent Design Consistency Checking via Planning","authors":[{"name":"Nitin Yadav","slug":"nitin-yadav","given":"Nitin","family":"Yadav","affiliation":"University of Melbourne , Australia"},{"name":"John Thangarajah","slug":"john-thangarajah","given":"John","family":"Thangarajah","affiliation":"RMIT University , Australia"},{"name":"Sebastian Sardina","slug":"sebastian-sardina","given":"Sebastian","family":"Sardina","affiliation":"RMIT University , Australia"}],"abstract":"In this work we present a novel approach to check the consistency of agent designs (prior to any implementation) with respect to the requirements specifications via automated planning. This checking is essentially a search problem which makes planning technology an appropriate solution. We focus our work on BDI agent systems and the Prometheus design methodology in order to directly compare our approach to previous work. Our experiments in more than 16K random instances prove that the approach is more effective than previous ones proposed: it achieves higher coverage, lower run-time, and importantly, can handle loops in the agent detailed design and unbounded subgoal reasoning.","doi":"10.24963/ijcai.2017/65","url":"https://ijcai.org/proceedings/2017/65","pdf":"https://ijcai.org/proceedings/2017/0065.pdf","markdown":"https://ijcai.org/proceedings/2017/65.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/65","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Agent-based and Multi-agent Systems","track":"Main track","number":65,"pages":{"first":458,"last":464},"keywords":["Planning and Scheduling: Applications of Planning","Agent-based and Multi-agent Systems: Formal verification, validation and synthesis","Agent-based and Multi-agent Systems: Engineering methods, platforms, languages and tools"],"videos":[],"references":[{"position":1,"raw":"[Abushark et al., 2014] Yoosef Abushark, John Thangara- jah, James Harland, and Tim Miller. Checking consis- tency of agent designs against interaction protocols for early-phase defect location. In Proceedings of the 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2014), pages 933-940, Paris, France, May 2014.","title":"Checking consistency of agent designs against interaction protocols for early-phase defect location","authors":"Abushark","year":"2014","venue":"Proceedings of the 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2014)","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Abushark et al., 2015] Yoosef Abushark, John Thangara- jah, Tim Miller, James Harland, and Michael Winikoff. Early detection of design faults relative to requirement specifications in agent-based models. In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015), pages 1071- 1079, Istanbul, Turkey, May 2015.","title":"Early detection of design faults relative to requirement specifications in agent-based models","authors":"Abushark","year":"2015","venue":"Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Boehm, 1988] Barry W. Boehm. Understanding and con- trolling software costs. Journal of Parametrics, 8(1):32- 68, 1988.","title":"Understanding and controlling software costs","authors":"Barry W Boehm","year":"1988","venue":"Journal of Parametrics","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bordini et al., 2006] R. Bordini, L. Braubach, H. Das- tani, A. El-Fallah-Seghrouchni, J. Gomez-Sanz, J. Leite, G. O'Hare, A. Pokahr, and A. Ricci. A survey of program- ming languages and platforms for multi-agent systems. In- formatica, 30(1):33-44, 2006.","title":"A survey of programming languages and platforms for multi-agent systems","authors":"R Bordini, L Braubach, H Dastani, A El-Fallah-Seghrouchni, J Gomez-Sanz, J Leite, G O'hare, A Pokahr, A Ricci","year":"2006","venue":"Informatica","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bordini et al., 2007] Rafael H Bordini, Jomi Fred Hübner, and Michael Wooldridge. Programming multi-agent sys- tems in AgentSpeak using Jason, volume 8. John Wiley & Sons, 2007.","title":"Programming multi-agent systems in AgentSpeak using Jason","authors":"Jomi Rafael H Bordini, Fred Hübner, Michael Wooldridge","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bresciani et al., 2004] Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, and John Mylopoulos. Tro- pos: An agent-oriented software development methodol- ogy. JAAMAS, 8(3):203-236, 2004.","title":"Tropos: An agent-oriented software development methodology","authors":"Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos","year":"2004","venue":"JAAMAS","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Dastani et al., 2010] Mehdi Dastani, Koen V Hindriks, and John-Jules Meyer, editors. Specification and Verification of Multi-agent systems. Springer, Berlin/Heidelberg, 2010.","title":"Specification and Verification of Multi-agent systems","authors":null,"year":"2010","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[DeLoach and Garcia-Ojeda, 2010] Scott A. DeLoach and Juan Carlos Garcia-Ojeda. O-MaSE: a customisable ap- proach to designing and building complex, adaptive multi- agent systems. IJAOSE, 4(3):244-280, 2010.","title":"O-MaSE: a customisable approach to designing and building complex, adaptive multiagent systems","authors":"Scott A Deloach, Juan Carlos, Garcia-Ojeda","year":"2010","venue":"IJAOSE","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[DeLoach et al., 2009] Scott A. DeLoach, Lin Padgham, Anna Perini, Angelo Susi, and John Thangarajah. Using three AOSE toolkits to develop a sample design. IJAOSE, 3(4):416-476, 2009.","title":"Using three AOSE toolkits to develop a sample design","authors":"Scott A Deloach, Lin Padgham, Anna Perini, Angelo Susi, John Thangarajah","year":"2009","venue":"IJAOSE","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Dennis et al., 2012] Louise A Dennis, Michael Fisher, Matthew P Webster, and Rafael H Bordini. Model check- ing agent programming languages. Automated Software Engineering, 19(1):5-63, 2012.","title":"Model checking agent programming languages","authors":"Louise A Dennis, Michael Fisher, Matthew P Webster, Rafael H Bordini","year":"2012","venue":"Automated Software Engineering","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Luck and Padgham, 2008] Michael Luck and Lin Padgham, editors. Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers, volume 4951 of Lecture Notes in Computer Science. Springer, 2008.","title":"Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007","authors":null,"year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[McDermott et al., 1998] Drew McDermott, Malik Ghallab, A. Howe, Craig A. Knoblock, A. Ram, M. Veloso, Daniel S. Weld, and David E. Wilkins. PDDL-The plan- ning domain definition language. Technical Report DCS TR-1165, Yale Center for Computational Vision and Con- trol, New Haven, Connecticut, 1998.","title":"PDDL-The planning domain definition language","authors":"Drew Mcdermott, Malik Ghallab, A Howe, Craig A Knoblock, A Ram, M Veloso, Daniel S Weld, David E Wilkins","year":"1998","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Padgham and Winikoff, 2004] Lin Padgham and Michael Winikoff. Developing intelligent agent systems: A prac- tical guide. John Wiley & Sons, Chichester, 2004.","title":"Developing intelligent agent systems: A practical guide","authors":"Winikoff Padgham, Lin Padgham, Michael Winikoff","year":"2004","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Padgham et al., 2008] Lin Padgham, John Thangarajah, and Michael Winikoff. Prometheus design tool. In Proceed- ings of The AAAI Conference on Artificial Intelligence, pages 1882-1883, Chicago, USA, 2008.","title":"Prometheus design tool","authors":"Lin Padgham, John Thangarajah, Michael Winikoff","year":"2008","venue":"Proceedings of The AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Padgham et al., 2013] Lin Padgham, Zhiyong Zhang, John Thangarajah, and Tim Miller. Model-based test oracle generation for automated unit testing of agent systems. IEEE Trans. Software Eng., 39(9):1230-1244, 2013.","title":"Model-based test oracle generation for automated unit testing of agent systems","authors":"Lin Padgham, Zhiyong Zhang, John Thangarajah, Tim Miller","year":"2013","venue":"IEEE Trans. Software Eng","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Rao et al., 1995] Anand S Rao, Michael P Georgeff, et al. BDI agents: From theory to practice. In ICMAS, vol- ume 95, pages 312-319, 1995.","title":"BDI agents: From theory to practice","authors":"Michael P Anand S Rao, Georgeff","year":"1995","venue":"ICMAS","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Shapiro et al., 2002] Steven Shapiro, Yves Lespérance, and Hector J Levesque. The cognitive agents specification language and verification environment for multiagent sys- tems. In AAMAS'02, pages 19-26, 2002.","title":"The cognitive agents specification language and verification environment for multiagent systems","authors":"Steven Shapiro, Yves Lespérance, Hector J Levesque","year":"2002","venue":"AAMAS'02","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Winikoff, 2005] Michael Winikoff. JACK TM Intelligent Agents: An Industrial Strength Platform. In Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah- Seghrouchni, editors, Multi-Agent Programming: Lan- guages, Platforms and Applications, pages 175-193. Springer, 2005.","title":"JACK TM Intelligent Agents: An Industrial Strength Platform","authors":"Michael Winikoff","year":"2005","venue":"Multi-Agent Programming: Languages, Platforms and Applications","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Yadav and Thangarajah, 2016] Nitin Yadav and John Thangarajah. Checking the conformance of requirements in agent designs using atl. In G. A. Kaminka, M. Fox, P. Bouquet, Hullermeijer E., Dignum F., Dignum V., and van Harmalen F., editors, Proceedings of the 22nd Euro- pean Conference on Artificial Intelligence (ECAI-2016), pages 243-251, The Hague, The Netherlands, August 2016. ECCAI, IOS Press.","title":"Checking the conformance of requirements in agent designs using atl","authors":"Nitin Yadav, John Thangarajah","year":"2016","venue":"Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016)","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Zhang et al., 2009] Zhiyong Zhang, John Thangarajah, and Lin Padgham. Model Based Testing for Agent Systems, pages 399-413. Springer Berlin Heidelberg, Berlin, Hei- delberg, 2009.","title":"Model Based Testing for Agent Systems","authors":"Zhiyong Zhang, John Thangarajah, Lin Padgham","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}