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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/124925
Ver los metadatos del registro completo
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 |