Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP) [Recurso Electrónico] / Miguel Ángel Romero González
Tipo de material: Archivo de ordenadorEditor: Bogotá (Colombia) : Escuela Colombiana de Ingeniería Julio Garavito, 2017Descripción: 45 p. : il., gráficasTema(s): LENGUAJE DE PROGRAMACIÓN | PROGRAMACIÓN LOGICAClasificación CDD: 006 Recursos en línea: Haga clic para acceso en línea Nota de disertación: Tesis (Ingeniería de Sistemas) Resumen: Este documento presenta una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (del, inglés, Spatial Concurrent Constraint Programming, abreviado SCCP). SCCP es un modelo computacional utilizado para razonar acerca de información espacial y conocimiento distribuido entre los procesos de un sistema. En SCCP, los procesos simulan declaración de conocimiento común y consulta de información global, a su vez, cada agente en SCCP tiene su propio espacio de información, y entidades epistémicas tal como conocimiento o creencias son representadas en un sistema de restricciones paramétricas. La semántica ejecutable de SCCP se hace disponible a los usuarios y programadores a través de una herramienta que integra un lenguaje de programación y la especificación en Maude. Desde esta herramienta, además de simular programas en este lenguaje, también es posible verificar propiedades especificadas en lógica lineal temporal.Tipo de ítem | Ubicación actual | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
TRABAJOS DE GRADO | Biblioteca Jorge Álvarez Lleras Fondo general | 006 R763s TS (Navegar estantería) | Ej. 1 | 1 | Disponible | D000980 |
Tesis (Ingeniería de Sistemas)
Incluye Bibliografía
Este documento presenta una semántica ejecutable en lógica de reescritura
para programación espacial concurrente por restricciones (del,
inglés, Spatial Concurrent Constraint Programming, abreviado SCCP).
SCCP es un modelo computacional utilizado para razonar acerca de
información espacial y conocimiento distribuido entre los procesos de un sistema. En SCCP, los procesos simulan declaración de conocimiento común y consulta de información global, a su vez, cada agente en SCCP tiene su propio espacio de información, y entidades epistémicas tal como conocimiento o creencias son representadas en un sistema de restricciones paramétricas. La semántica ejecutable de SCCP se hace disponible a los usuarios y programadores a través de una herramienta que integra un lenguaje de programación y la especificación en Maude.
Desde esta herramienta, además de simular programas en este lenguaje, también es posible verificar propiedades especificadas en lógica lineal temporal.
No hay comentarios en este titulo.