Implementación de chequeadores de modelos para MAS

Autores
Fournier, Gastón Francisco; Otonelo, Leonardo Victor
Año de publicación
2012
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
En este trabajo analizamos la combinación de lógicas modales por medio del fibrado e implementamos un chequeador de modelos para el fibrado N(Does) usando conceptos de programación orientada a objetos y definiendo las estructuras necesarias para la representación de las fórmulas modales y del frame para el fibrado. Analizamos su funcionamiento asumiendo que sólo es necesaria la semántica de mundos posibles para evaluar una fórmula en un frame, pero encontramos ejemplos en los que son necesarias realizar ciertas suposiciones muy fuertes sobre la forma del grafo de relaciones de accesibilidad del frame, que pueden ser muy costosas de analizar. Presentamos la estructura para el fibrado y una implementación del chequeador de modelos usando la semántica de mundos posibles para los operadores modales normales Bel, Int y Goal, además del operador no normal Does. Creamos un ejemplo con una instancia de frame y una fórmula modal que demuestra que no alcanza usar la semántica de mundos posibles si no hacemos ciertas suposiciones sobre la estructura del frame.
Sociedad Argentina de Informática e Investigación Operativa
Materia
Ciencias Informáticas
Chequeadores
Modelos
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/124925

id SEDICI_d833664c10e0f874fdd56710e1cc12d1
oai_identifier_str oai:sedici.unlp.edu.ar:10915/124925
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Implementación de chequeadores de modelos para MASFournier, Gastón FranciscoOtonelo, Leonardo VictorCiencias InformáticasChequeadoresModelosEn este trabajo analizamos la combinación de lógicas modales por medio del fibrado e implementamos un chequeador de modelos para el fibrado N(Does) usando conceptos de programación orientada a objetos y definiendo las estructuras necesarias para la representación de las fórmulas modales y del frame para el fibrado. Analizamos su funcionamiento asumiendo que sólo es necesaria la semántica de mundos posibles para evaluar una fórmula en un frame, pero encontramos ejemplos en los que son necesarias realizar ciertas suposiciones muy fuertes sobre la forma del grafo de relaciones de accesibilidad del frame, que pueden ser muy costosas de analizar. Presentamos la estructura para el fibrado y una implementación del chequeador de modelos usando la semántica de mundos posibles para los operadores modales normales Bel, Int y Goal, además del operador no normal Does. Creamos un ejemplo con una instancia de frame y una fórmula modal que demuestra que no alcanza usar la semántica de mundos posibles si no hacemos ciertas suposiciones sobre la estructura del frame.Sociedad Argentina de Informática e Investigación Operativa2012info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf294-312http://sedici.unlp.edu.ar/handle/10915/124925spainfo:eu-repo/semantics/altIdentifier/issn/1850-2946info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:30:04Zoai:sedici.unlp.edu.ar:10915/124925Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:30:04.495SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Implementación de chequeadores de modelos para MAS
title Implementación de chequeadores de modelos para MAS
spellingShingle Implementación de chequeadores de modelos para MAS
Fournier, Gastón Francisco
Ciencias Informáticas
Chequeadores
Modelos
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
dc.creator.none.fl_str_mv Fournier, Gastón Francisco
Otonelo, Leonardo Victor
author Fournier, Gastón Francisco
author_facet Fournier, Gastón Francisco
Otonelo, Leonardo Victor
author_role author
author2 Otonelo, Leonardo Victor
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Chequeadores
Modelos
topic Ciencias Informáticas
Chequeadores
Modelos
dc.description.none.fl_txt_mv En este trabajo analizamos la combinación de lógicas modales por medio del fibrado e implementamos un chequeador de modelos para el fibrado N(Does) usando conceptos de programación orientada a objetos y definiendo las estructuras necesarias para la representación de las fórmulas modales y del frame para el fibrado. Analizamos su funcionamiento asumiendo que sólo es necesaria la semántica de mundos posibles para evaluar una fórmula en un frame, pero encontramos ejemplos en los que son necesarias realizar ciertas suposiciones muy fuertes sobre la forma del grafo de relaciones de accesibilidad del frame, que pueden ser muy costosas de analizar. Presentamos la estructura para el fibrado y una implementación del chequeador de modelos usando la semántica de mundos posibles para los operadores modales normales Bel, Int y Goal, además del operador no normal Does. Creamos un ejemplo con una instancia de frame y una fórmula modal que demuestra que no alcanza usar la semántica de mundos posibles si no hacemos ciertas suposiciones sobre la estructura del frame.
Sociedad Argentina de Informática e Investigación Operativa
description En este trabajo analizamos la combinación de lógicas modales por medio del fibrado e implementamos un chequeador de modelos para el fibrado N(Does) usando conceptos de programación orientada a objetos y definiendo las estructuras necesarias para la representación de las fórmulas modales y del frame para el fibrado. Analizamos su funcionamiento asumiendo que sólo es necesaria la semántica de mundos posibles para evaluar una fórmula en un frame, pero encontramos ejemplos en los que son necesarias realizar ciertas suposiciones muy fuertes sobre la forma del grafo de relaciones de accesibilidad del frame, que pueden ser muy costosas de analizar. Presentamos la estructura para el fibrado y una implementación del chequeador de modelos usando la semántica de mundos posibles para los operadores modales normales Bel, Int y Goal, además del operador no normal Does. Creamos un ejemplo con una instancia de frame y una fórmula modal que demuestra que no alcanza usar la semántica de mundos posibles si no hacemos ciertas suposiciones sobre la estructura del frame.
publishDate 2012
dc.date.none.fl_str_mv 2012
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/124925
url http://sedici.unlp.edu.ar/handle/10915/124925
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/issn/1850-2946
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
294-312
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_ 1844616180346650624
score 13.070432