Implementación de chequeadores de modelos para MAS

Sistemas Multi-Agentes (MAS) es un paradigma computacional para modelar sistemas de inteligencia distribuida. En este paradigma, un sistema computacional es visto como una composición de un conjunto de componentes autónomos y heterogéneos, llamados agentes, que interactúan unos con otros en un medio...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Fournier, Gastón, Otonelo, Leonardo
Otros Autores: Smith, Clara
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2014
Materias:
Ciencias Informáticas
lógica modal
Multiagent systems
modelos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/65408
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-65408
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
lógica modal
Multiagent systems
modelos
spellingShingle Ciencias Informáticas
lógica modal
Multiagent systems
modelos
Fournier, Gastón
Otonelo, Leonardo
Implementación de chequeadores de modelos para MAS
topic_facet Ciencias Informáticas
lógica modal
Multiagent systems
modelos
description Sistemas Multi-Agentes (MAS) es un paradigma computacional para modelar sistemas de inteligencia distribuida. En este paradigma, un sistema computacional es visto como una composición de un conjunto de componentes autónomos y heterogéneos, llamados agentes, que interactúan unos con otros en un medio ambiente. Las lógicas modales son usadas como un enfoque formal para la construcción de MAS. Se utilizan elementos de forma (entidades, reglas, axiomas, etc) para la descripción, inferencia y planificación de los agentes y su comportamiento en un ámbito de aplicación. Nuestro trabajo consiste en implementar un chequeador de modelos en un lenguaje orientado a objetos, tratando de acercar los resultados obtenidos en los trabajos previos a una implementación flexible y en un lenguaje usado usualmente en ámbitos comerciales, que permita integrar la solución a sistemas existentes y a su vez que sea extensible a otras lógicas.
author2 Smith, Clara
author_facet Smith, Clara
Fournier, Gastón
Otonelo, Leonardo
format Tesis
Tesis de grado
author Fournier, Gastón
Otonelo, Leonardo
author_sort Fournier, Gastón
title Implementación de chequeadores de modelos para MAS
title_short Implementación de chequeadores de modelos para MAS
title_full Implementación de chequeadores de modelos para MAS
title_fullStr Implementación de chequeadores de modelos para MAS
title_full_unstemmed Implementación de chequeadores de modelos para MAS
title_sort implementación de chequeadores de modelos para mas
publishDate 2014
url http://sedici.unlp.edu.ar/handle/10915/65408
work_keys_str_mv AT fourniergaston implementaciondechequeadoresdemodelosparamas
AT otoneloleonardo implementaciondechequeadoresdemodelosparamas
bdutipo_str Repositorios
_version_ 1764820480579076097

Ejemplares similares