To access the full text documents, please follow this link: http://hdl.handle.net/2117/28481

Using specification and description language to formalize multiagent systems
Fonseca Casas, Pau
Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa; Universitat Politècnica de Catalunya. LIAM - Laboratori de Modelització i Anàlisi de la Informació
Simulation is a multidisciplinary field of study used in different scopes, involving people with different areas of knowledge and backgrounds. Formal languages become important tools in order to build, understand, and maintain the simulation models. The formalization of an intelligent agent is not an easy task because of the complex behavior it owns. In this study, we apply a formal and graphical language, called Specification and Description Language, to formalize an intelligent agent. This formalization captures the complete and unambiguous behavior of the agents and simplifies the understanding of the agents’ behaviors because of the graphic structure of the language. This formal representation of the model also simplifies joining multiagent system (MAS) models and interaction models through the formalization. In addition, because Specification and Description Language is a standard language, several tools are capable of understanding the model, which leads to an automatic implementation.
Peer Reviewed
-Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Simulació
-Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Programació matemàtica
-Operations research
-Artificial intelligence
-Optimització i investigació operativa
-Intel·ligència artificial
-90B Operations research and management science
-68T Artificial intelligence
Article - Published version
Article
         

Show full item record

Related documents

Other documents of the same author

Fonseca Casas, Pau; Fonseca Casas, Antoni; Garrido Soriano, Núria; Aina Ortiz, Joana; Casanovas Garcia, Josep; Salom, Jaume
Fonseca Casas, Pau; Tormos, Raül; Casanovas Garcia, Josep
Nasini, Stefano; Castro Pérez, Jordi; Fonseca Casas, Pau
Codina Sancho, Esteve; Fonseca Casas, Pau; Colls, Màxim; Montero Mercadé, Lídia
Fonseca Casas, Pau; Colls, Màxim; Casanovas Garcia, Josep; Fonseca Casas, Antoni; Garrido Soriano, Núria
 

Coordination

 

Supporters