Implementación de chequeadores de modelos para MAS (Record no. 56202)
[ view plain ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 02316nam a2200265 a 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
campo de control | AR-LpUFIB |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
campo de control | 20250311170431.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 230201s2014 ag a rm 000 0 spa d |
024 8# - Otro identificador estandar | |
Número estándar o código | DIF-M7039 |
-- | 7217 |
-- | DIF006422 |
040 ## - FUENTE DE LA CATALOGACIÓN | |
Centro catalogador/agencia de origen | AR-LpUFIB |
Lengua de catalogación | spa |
Centro/agencia transcriptor | AR-LpUFIB |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
Nombre de persona | Fournier, Gastón |
245 10 - MENCIÓN DE TÍTULO | |
Título | Implementación de chequeadores de modelos para MAS |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
Fecha de publicación, distribución, etc. | 2014 |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | 79 p. : |
Otras características físicas | il. |
502 ## - NOTA DE TESIS | |
Nota de tesis | Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2014. |
505 0# - NOTA DE CONTENIDO CON FORMATO | |
Nota de contenido con formato | 1. Introducción -- 2. Lógicas modales -- 2.1 Lógica modal -- 2.2 Semántica relacional (o de Kripke) -- 2.2.1 Semántica de Scott-Montague -- 2.3 Chequeador de modelos -- 3.Combinación de lógicas normales y no normales -- 3.1 Una lógica multi-modal para MAS -- 3.2 Modelo multi-relacional -- 3.3 Fibrado de lógicas -- 3.4 Fibrado: Sintaxis y semántica -- 3.5 Correctitud y completitud de la lógica base -- 4. Implementación de un chequeador de modelos para N (Does) -- 4.1 Definiciones previas -- 4.2 Programación orientada a objetos -- 4.3 Definiciones básicas sobre Java -- 4.4 Principales dificultades -- 4.5 Representación del fibrado -- 4.5.1 Representación de frames y modelos -- 4.5.2 Representación de fórmulas -- 4.6 Evaluación de fórmulas -- 4.7 Implementación de Java -- 4.8 Consideraciones sobre la implementación -- 4.8.1 Validación de las relaciones de accesibilidad -- 4.9 Ejemplo de aplicación -- 5. Análisis de tiempos de ejecución -- 5.1 Análisis de ejecución del chequeador -- 5.1.1 Orden de ejecución de eval para fórmulas booleanas -- 5.1.2 Orden de ejecución de eval para fórmulas modales -- 5.2 Propuestas de mejoras -- 6. Estado del arte en chequeadores de modelos para MAS -- 6.1 MCK -- 6.2 MCMAS -- 6.3 Mocha -- 6.4 NuSMV -- 6.5 PRISM -- 6.6 VerICS -- 6.7 Otras herramientas para MAS -- 6.7.1 LoTREC -- 6.7.2 MAELIA -- 6.7.3 G A M A -- 7. Conclusiones y trabajo futuro -- A. Apéndice: Ejemplos de uso del chequeador de modelos |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | SISTEMAS MULTIAGENTES |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | AGENTES INTELIGENTES |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | LÓGICA MODAL |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | MODELOS |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | chequeador |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Otonelo, Leonardo |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Smith, Clara Patricia , |
-- | Director/a |
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
Tipo de ítem Koha | Tesis de posgrado |
Estado de retiro | Estado de pérdida | Estado dañado | Disponibilidad | Biblioteca permanente | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Fecha visto por última vez | Precio válido a partir de | Tipo de ítem Koha |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Consulta en Sala | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 11/03/2025 | DIF-04411 | TES 14/23 | DIF-04411 | 11/03/2025 | 11/03/2025 | Tesis de posgrado |