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...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2012
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/124925 |
| Aporte de: |
| Sumario: | 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. |
|---|