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

|Views: 581|Likes:
Publicado porJavier 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

grafos.

Como segundo paso antes de construir un algoritmo para conversi´on,

necesitamos establecer las equivalencias entre la sintaxis, los modelos, las

interpretaciones y la satisfactibilidad de la l´ogica temporal de intervalos y

en lenguaje de consultas escogido. Sea entonces v el nodo de referencia de la

base de datos, que ser´ıa expresado como v = g.v(0) en Gremlin.

Definimos adem´as un dominioDen el que sea posible operar no s´olo con los

valores de verdad true (verdadero) y false (falso), sino con todo el abanico de

operaciones aritm´eticas. De esta manera, no basta con establecer un funci´on

simple esperando a que ´esta se eval´ue en 0,1, cada funci´on, para que sea

correcta en nuestra propuesta, debe constar al menos de un operador l´ogico

comparador, entendi´ense como tales la igualdad, la desigualdad, mayor que,

menor que, mayor o igual que y menor o igual que. La negaci´on, como veremos

m´as adelante, no ser´a tenida en cuenta y ser´a tarea del lector efectuar los

cambios necesarios para que su proposici´on siga siendo correcta.

You're Reading a Free Preview

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