Você está na página 1de 3

Gu a Sem antica de Programas Denitivos BDD y PL

Profesora: M onica Caniup an 13 de octubre de 2011

1.

Sem antica Declarativa y Sem antica de Punto Fijo

Para los siguientes programas obtener: 1. El universo y base de Herbrand. 2. Al menos 2 modelos del programa y una interpretaci on que no es modelo. 3. Usando el operador del punto jo computar el modelo minimal del programa. 4. Dos consecuencias l ogicas del programa e informaci on negativa que sea verdad/falsa en el programa. 5. Usar DLV para vericar sus respuestas. DLV es un proyecto para Bases de Datos Deductivas cuya direcci on es: http://www.dbai.tuwien.ac.at/proj/dlv/ 1. : p(x, z ) p(x, y ), p(y, z ) p(x, y ) p(y, x) p(a, b) p(c, b) 2. : p(X, Y ) q (X, Y ), r(Y ). s(X ) q (X, Y ), t(X ). q (a, a) q (b, a) r(a) t(b) 3. : empleado (X ) mujer (X ) empleado (X ) varon (X ) amigos (X , Y ) varon (X ), mujer (Y ), trabajaEn (X , Z ), trabajaEn (Y , Z ) trabajaEn (luis , proyecto1 ) trabajaEn (juana , proyecto1 ) mujer (juana ) varon (luis ) varon (jose ) 4. : ancestro (X , Y ) padre (X , Y ) ancestro (X , Y ) padre (X , Z ), ancestro (Z , Y ) 1

hijo (X , Y ) padre (Y , X ) hermano (X , Y ) padre (Z , X ), padre (Z , Y ) padre (pedro , juan ) padre (juan , luis ) padre (juan , esteban )

2.

Sem antica Procedural

Mediante resoluci on SLD compute las consultas a los siguientes programas denitivos. Utilice diferentes estrategias de selecci on de atomos en las metas en cada ejercicio (el atomo de m as a la izquierda/derecha de la meta). 1. : Superior(X, Y ) Jef e(X, Z ), Superior(Z, Y ) Subordinado(X, Y ) Superior(Y, X ). Jef e(alberto, jose) Jef e(aurora, f ernando) Jef e(alberto, aurora) Jef e(eduardo, alberto) Superior(X, Y ) Jef e(X, Y ) Consultas: a ) Jefe(aurora, fernando) b ) Jefe(alberto, X). c ) Superior(eduardo, aurora). 2. : camino(X, Y ) arco(X, Y ) camino(X, Y ) arco(X, Z ), camino(Z, Y ) arco(a, b) arco(b, c) arco(c, b) Consultas: a ) camino(a, c). b ) camino(b, c). 3. : ancestro (X , Y ) padre (X , Y ) ancestro (X , Y ) padre (X , Z ), ancestro (Z , Y ) padre (pedro , juan ) padre (juan , tomas ) padre (juan , esteban ) padre (esteban , enrique ) Consultas: c ) camino(c, a) d ) camino(a, X ). d ) Superior(eduardo,Y). e ) Subordinado(fernando, aurora).

a ) ancestro (juan , X ) b ) ancestro (X, Y ) 4. : p(x, y ) q (x, y ) p(x, y ) t(y, x), s(y ) q (x, y ) t(x, y ), s(x) t(x, y ) s(x), r(x, y ) s(b) r(b, a) Para este programa responda: a ) Genere el modelo minimal con el operador T .

c ) ancestro (X, enrique ) d ) ancestro (esteban , X )

b ) Es q (b, a) p(a, b) consecuencia l ogica del programa? c ) Es t(a, a) s(b) verdadero o falso en el programa? d ) Agregue la consulta Ans(X ) p(X, Y ) al programa y con el operador de punto jo compute las extensiones del predicado Ans (respuestas a la consulta). e ) Muestre el arbol de resoluci on SLD para la consulta p(a, b). Considere para la resoluci on la elecci on del atomo de m as a la izquierda de cada meta. f ) Explique la relaci on que existe entre las tres sem anticas (declarativa, procedural y de punto jo) respecto del atomo p(a, b).