Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
6Activity

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
Pyticli: satisfactibilidad de proposiciones en lógica temporal deintervalos por medio de lenguajes deconsulta sobre grafos

Pyticli: satisfactibilidad de proposiciones en lógica temporal deintervalos por medio de lenguajes deconsulta sobre grafos

Ratings: (0)|Views: 575 |Likes:
Published by Javier de la Rosa
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 para traducir proposiciones de lógica temporal de intervalos a consultas en lenguajes diseñados para atacar bases de datos en grafo. Para ello hace uso del generador interno de árboles de sintaxis abstrata de Python, a lo que posteriormente aplica un mecanismo de reducción para construir una representación abstracta de la consulta que pueda ser convertida a cualquier lenguajede consulta para bases de datos en grafo.
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 para traducir proposiciones de lógica temporal de intervalos a consultas en lenguajes diseñados para atacar bases de datos en grafo. Para ello hace uso del generador interno de árboles de sintaxis abstrata de Python, a lo que posteriormente aplica un mecanismo de reducción para construir una representación abstracta de la consulta que pueda ser convertida a cualquier lenguajede consulta para bases de datos en grafo.

More info:

Published by: Javier de la Rosa on Jul 22, 2011
Copyright:Attribution Share Alike

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

12/06/2012

pdf

text

original

 
Pyticli: satisfactibilidad deproposiciones en l´ogica temporal deintervalos por medio de lenguajes deconsulta sobre grafos.
Javier de la Rosa,
versae@gmail.com
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
))
1
.
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 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 ese 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 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
2.1. ogica Temporal.. . . . . . . . . . . . . . . . . . . . . . . . . 10
3.1. Sintaxis.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113.2. Modelos.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123.3. Satisfactibilidad.. . . . . . . . . . . . . . . . . . . . . . . . . 123.4. Interpretaci´on.. . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4.1. Programacon 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. Programacon en l´ogica de intervalos.. . . . . . . . . . . . . . 20 4.2.1. Tempura.. . . . . . . . . . . . . . . . . . . . . . . . . 204.2.2. Tokio.. . . . . . . . . . . . . . . . . . . . . . . . . . . 214.3. Programacon 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

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->