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
info:eu-repo/semantics/publishedVersion
Article
         

Show full item record

Related documents

Other documents of the same author

Fonseca Casas, Pau; Fonseca Casas, Antoni; Garrido Soriano, Núria; Casanovas Garcia, Josep
Fonseca Casas, Pau; Juan-Pérez, Angel A.; Mas, Sílvia
Fonseca Casas, Pau
Fonseca Casas, Pau; Colls, Màxim; Casanovas Garcia, Josep
 

Coordination

 

Supporters