Implementación de chequeadores de modelos para MAS

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Fournier, Gastón Francisco, Otonelo, Leonardo Victor
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2012
Materias:
Ciencias Informáticas
Chequeadores
Modelos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/124925
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-124925
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
Chequeadores
Modelos
spellingShingle Ciencias Informáticas
Chequeadores
Modelos
Fournier, Gastón Francisco
Otonelo, Leonardo Victor
Implementación de chequeadores de modelos para MAS
topic_facet Ciencias Informáticas
Chequeadores
Modelos
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.
format Objeto de conferencia
Objeto de conferencia
author Fournier, Gastón Francisco
Otonelo, Leonardo Victor
author_facet Fournier, Gastón Francisco
Otonelo, Leonardo Victor
author_sort Fournier, Gastón Francisco
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 2012
url http://sedici.unlp.edu.ar/handle/10915/124925
work_keys_str_mv AT fourniergastonfrancisco implementaciondechequeadoresdemodelosparamas
AT otoneloleonardovictor implementaciondechequeadoresdemodelosparamas
bdutipo_str Repositorios
_version_ 1764820451305979905

Ejemplares similares