Completitud e implementación de modalidades en MAS

Autores
Ambrossio, Agustín; Mendoza, Leandro
Año de publicación
2011
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión aceptada
Colaborador/a o director/a de tesis
Fernández, Alejandro
Smith, Clara Patricia
Descripción
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.
Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática.
Licenciado en Informática
Universidad Nacional de La Plata
Facultad de Informática
Materia
Ciencias Informáticas
lógica modal
Model checking
Multiagent systems
completitud
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/65533
Acceder
id SEDICI_cf711b7d11c0ae8a9ea9bd5bee96d422
oai_identifier_str oai:sedici.unlp.edu.ar:10915/65533
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Completitud e implementación de modalidades en MASAmbrossio, AgustínMendoza, LeandroCiencias Informáticaslógica modalModel checkingMultiagent systemscompletitudEn 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.Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática.Licenciado en InformáticaUniversidad Nacional de La PlataFacultad de InformáticaFernández, AlejandroSmith, Clara Patricia2011-10info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionTesis de gradohttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/65533spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/Creative Commons Attribution 4.0 International (CC BY 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:41:37Zoai:sedici.unlp.edu.ar:10915/65533Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:41:37.729SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Completitud e implementación de modalidades en MAS
title Completitud e implementación de modalidades en MAS
spellingShingle Completitud e implementación de modalidades en MAS
Ambrossio, Agustín
Ciencias Informáticas
lógica modal
Model checking
Multiagent systems
completitud
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
dc.creator.none.fl_str_mv Ambrossio, Agustín
Mendoza, Leandro
author Ambrossio, Agustín
author_facet Ambrossio, Agustín
Mendoza, Leandro
author_role author
author2 Mendoza, Leandro
author2_role author
dc.contributor.none.fl_str_mv Fernández, Alejandro
Smith, Clara Patricia
dc.subject.none.fl_str_mv Ciencias Informáticas
lógica modal
Model checking
Multiagent systems
completitud
topic Ciencias Informáticas
lógica modal
Model checking
Multiagent systems
completitud
dc.description.none.fl_txt_mv 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.
Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática.
Licenciado en Informática
Universidad Nacional de La Plata
Facultad de Informática
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.
publishDate 2011
dc.date.none.fl_str_mv 2011-10
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/acceptedVersion
Tesis de grado
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/65533
url http://sedici.unlp.edu.ar/handle/10915/65533
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260283495546880
score 13.13397

Publicaciones similares