Specifying and Verifying a MAS:The Robots on Mars Case Study

Autor:	Gaële Simon, Bruno Mermet, Arnaud Saval, Bruno Zanuttini
Rok vydání:	2008
Předmět:	Tree (data structure) Computer science business.industry Goal decomposition Robot Temporal logic Mars Exploration Program Artificial intelligence Proof obligation business Garbage
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540790426 PROMAS
DOI:	10.1007/978-3-540-79043-3_11
Popis:	This paper deals with the design of multi-agent systems. We demonstrate the goal-oriented agent model called Goal Decomposition Tree on an already studied multi-agent example, that of robots which must clean pieces of garbage on Mars. As we show, the model allows to prove that the agents' behaviour indeed achieves their goal. We then compare our approach to other ones.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::28a5ddae2170419d8ab9fc6748294772 https://doi.org/10.1007/978-3-540-79043-3_11 Zobrazit plný text záznamu