Pyticli: satisfactibilidad deproposiciones en l´ogica temporal deintervalos por medio de lenguajes deconsulta sobre grafos.
Javier de la Rosa,
versae@gmail.com
M´aster en L´ogica, Computaci´on e Inteligencia Artificial
Universidad de Sevilla
26 de agosto de 2011
Resumen
El presente documento es el trabajo final del M´aster en L´ogica,Computabilidad e Inteligencia Artificial impartido por la Universidadde Sevilla en el curso acad´emico 2010–2011.Presenta el lenguaje Pyticli, un sub-lenguaje del lenguaje de pro-gramaci´on Python, construido para traducir proposiciones de l´ogicatemporal de intervalos a consultas en lenguajes dise˜nados para ata-car bases de datos en grafo. Para ello hace uso del generador internode ´arboles de sintaxis abstrata de Python, a lo que posteriormenteaplica un mecanismo de reducci´on para construir una representaci´onabstracta de la consulta que pueda ser convertida a cualquier lenguajede consulta para bases de datos en grafo.
Keywords
Bases de Datos en Grafo, L´ogica Temporal, Lenguajes de Con-sulta.
Director
Andr´es Cord´on Franco,
acordon@us.es
.1
((
Ay, Piticli, bonico, Piticli, ay, Piticli
))
.
Agradecimientos.
Este trabajo no ser´ıa posible sin la paciencia y compresi´on del profesoradodel M´aster en L´ogica, Computaci´on e Inteligencia Artificial, que han mostra-
do su car´acter m´as humano permiti´endome no s´olo ser evaluado a distancia,
sino adem´as componer un jurado para el presente documento aun en periodovacacional. En especial quisiera dar las gracias a Andr´es Cord´on, directordel trabajo, por todos sus comentarios y correcciones
in extremis
; a Joaqu´ınBorrego por implicarse en que este documento sea posible y adem´as est´e en-tregado a tiempo; y a Fernando Sancho que siempre ha tenido un hueco paracalmarme y llevarme por el buen camino, y sin el que mi futuro y mi presenteser´ıan bien distintos.No quiero tampoco olvidar la labor de Juan Luis Su´arez, profesor de laUniversity of Western-Ontario, qui´en en m´as de una ocasi´on me ha permitidousar el tiempo y los recursos del laboratorio que dirige –y para el que trabajo–para mi uso personal en la elaboraci´on de este proyecto.Por ´ultimo quisiera dar las gracias a todos los que me han apoyado desdeEspa˜na, Reino Unido y Canad´a, quienes parecen tener m´as fe en m´ı que yo
mismo. Y por supuesto a mi pareja, Esperanza Ruiz-Pe˜na, sin cuyo apoyo yconfianza diarias no podr´ıa haber aguantado hasta el final. Gracias.Como se suele decir,
menos da una piedra
.
1
Enjuto Mojamuto – La Mascota:
2
´INDICE ´INDICE
´Indice
1.1. Model Checking.. . . . . . . . . . . . . . . . . . . . . . . . . 71.2. Estructura.. . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.1. Sintaxis.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113.2. Modelos.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123.3. Satisfactibilidad.. . . . . . . . . . . . . . . . . . . . . . . . . 123.4. Interpretaci´on.. . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4.1. Programaci´on en l´ogica temporal.. . . . . . . . . . . . . . . . 18
4.1.1. Chronolog.. . . . . . . . . . . . . . . . . . . . . . . . . 184.1.2. Templog.. . . . . . . . . . . . . . . . . . . . . . . . . . 184.1.3. Temporal Prolog de Gabbay.. . . . . . . . . . . . . . . 194.1.4. Temporal Prolog de Sakuragawa.. . . . . . . . . . . . 204.2. Programaci´on en l´ogica de intervalos.. . . . . . . . . . . . . . 20
4.2.1. Tempura.. . . . . . . . . . . . . . . . . . . . . . . . . 204.2.2. Tokio.. . . . . . . . . . . . . . . . . . . . . . . . . . . 214.3. Programaci´on en l´ogica reificada.. . . . . . . . . . . . . . . . 22
4.3.1. Temporal Prolog de Hrycej.. . . . . . . . . . . . . . . 224.3.2. Starlog.. . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.1. Sistemas de transici´on etiquetados.. . . . . . . . . . . . . . . 245.2. Estructuras de Kripke.. . . . . . . . . . . . . . . . . . . . . . 255.3. Consideraciones.. . . . . . . . . . . . . . . . . . . . . . . . . . 27
6.1. Bases de datos.. . . . . . . . . . . . . . . . . . . . . . . . . . 296.1.1. DEX.. . . . . . . . . . . . . . . . . . . . . . . . . . . 306.1.2. FlockDB.. . . . . . . . . . . . . . . . . . . . . . . . . 306.1.3. HyperGraphDB.. . . . . . . . . . . . . . . . . . . . . 303
Search History:
Result 00 of 00
00 results for result for
p.
7.2. L´ogica temporal sobre lenguaje de consultas para for Pyticli: satisfactibilidad de proposiciones en lógica temporal deintervalos por medio de lenguajes deconsulta sobre grafos
El presente documento es el trabajo final del Máster en Lógica, Computabilidad e Inteligencia Artificial impartido por la Universidadde Sevilla en el curso académico 2010–2011.Presenta el lenguaje Pyticli, un sub-lenguaje del lenguaje de programación Python, construido…
(More)
4.1K
Reads
7
Readcasts
2
Embed Views
Recommended
Notes
Load more
