Completitud e implementación de modalidades en MAS

En este trabajo de grado realizamos un estudio sobre lógicas modales y combinaciones de ellas, haciendo énfasis en operadores modales aplicables al desarrollo de sistemas multi-agentes. Algunos de estos operadores son normales y otros no-normales, como es habitual en esta clase de sistemas. Nos conc...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Ambrossio, Agustín, Mendoza, Leandro
Otros Autores:	Fernández, Alejandro
Formato:	Tesis Tesis de grado
Lenguaje:	Español
Publicado:	2011
Materias:	Ciencias Informáticas lógica modal Model checking Multiagent systems completitud
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/65533
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-65533
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 Model checking Multiagent systems completitud
spellingShingle	Ciencias Informáticas lógica modal Model checking Multiagent systems completitud Ambrossio, Agustín Mendoza, Leandro Completitud e implementación de modalidades en MAS
topic_facet	Ciencias Informáticas lógica modal Model checking Multiagent systems completitud
description	En este trabajo de grado realizamos un estudio sobre lógicas modales y combinaciones de ellas, haciendo énfasis en operadores modales aplicables al desarrollo de sistemas multi-agentes. Algunos de estos operadores son normales y otros no-normales, como es habitual en esta clase de sistemas. Nos concentramos en la combinación de estos dos tipos de operadores, poniendo particular atención a la teoría de modelos y en su utilidad para demostrar completitud y/o decidibilidad de lógicas. Utilizamos dos tipos diferentes de técnicas de combinación: fibrado y unión. Para la técnica de fibrado probamos las propiedades de completitud y modelo finito para dar sustento a implementaciones computacionales para la lógica resultante y habilitar el diseño de algoritmos que computen satisfactibilidad de una fórmula dentro de un modelo; esto es: teniendo un modelo y una fórmula, podemos averiguar si la fórmula es verdadera en tal modelo. Sobre la base de estas propiedades definimos diferentes chequeadores de modelos. Logramos una implementación computacional en los lenguajes PROLOG y SPINdle partiendo de la definición de los chequeadores para el fibrado e investigamos la complejidad computacional de los algoritmos resultantes. Para la técnica de unión construimos un chequeador de modelos.
author2	Fernández, Alejandro
author_facet	Fernández, Alejandro Ambrossio, Agustín Mendoza, Leandro
format	Tesis Tesis de grado
author	Ambrossio, Agustín Mendoza, Leandro
author_sort	Ambrossio, Agustín
title	Completitud e implementación de modalidades en MAS
title_short	Completitud e implementación de modalidades en MAS
title_full	Completitud e implementación de modalidades en MAS
title_fullStr	Completitud e implementación de modalidades en MAS
title_full_unstemmed	Completitud e implementación de modalidades en MAS
title_sort	completitud e implementación de modalidades en mas
publishDate	2011
url	http://sedici.unlp.edu.ar/handle/10915/65533
work_keys_str_mv	AT ambrossioagustin completitudeimplementaciondemodalidadesenmas AT mendozaleandro completitudeimplementaciondemodalidadesenmas
bdutipo_str	Repositorios
_version_	1764820480155451392

Completitud e implementación de modalidades en MAS

Ejemplares similares