Você está na página 1de 2

Gu a Negaci on en BDDs

Profesora: M onica Caniup an 27 de octubre de 2011

1.

Programas Seguros

1. Considere el siguiente programa : p(X ) r(X ), not q (X, Y, Z ). q (X, Y, Z ) t(X, Y, Z ). t(b, b, a). r(a). a ) Muestre que no es seguro con respecto a negaci on. b ) Modique el programa de tal manera de solucionar el problema anterior.

2.

Programas Estraticados

Muestre que los siguientes programas normales son estraticados y compute el correspondiente modelo est andar. Analice consultas conjuntivas con y sin negaci on evaluadas en cada uno de los programas. 1. : p(X, Y ) q (Y, X ), r(Y ) q (X, Y ) p(X, Y ), not h(X ) q (a, b) r(a) h(a) 2. : p(X ) r(X ), not s(X ) r(X ) q (X ) q (a) q (b) s(b) 3. : q (X, Y ) p(X, Y ), not p(Y, X ) p(a, b) p(b, a) p(c, b)

3.

Programas no Estraticados

Para cada uno de los siguientes programas: (a) Muestre que no son estraticados. (b) Compute o verique los modelos estables. (c) Muestre una interpretaci on que no es modelo estable para cada programa. (d) Analice consultas sobre los programas considerando la sem antica cautelosa y riesgosa. Considere consultas conjuntivas con y sin negaci on, con y sin variables libres. 1. : p(X ) q (X ), not r(X ), not m(X ) r(X ) s(X ), not n(X ) n(X ) q (X ), not r(X ) m(a) q (a) q (b) s(a) Modelos estables: a ) {q (a), q (b), m(a), s(a), p(b), r(a), n(b)} b ) {q (a), q (b), m(a), s(a), p(b), n(a), n(b)} 2. : s(X, Y ) p(Y, X ), q (Y ), not v (Y ) v (X ) p(X, Y ), not q (Y ), not s(Y, X ) p(a, b) p(c, b) q (c) q (a) Modelos estables: a ) {p(a, b), p(c, b), q (a), q (c), s(b, a), s(b, c)} b ) {p(a, b), p(c, b), q (a), q (c), v (a), s(b, c)} c ) {p(a, b), p(c, b), q (a), q (c), s(b, a), v (c)} d ) {p(a, b), p(c, b), q (a), q (c), v (a), v (c)} 3. : p(x, y ) r(x, y ), s(x), not q (x, y ). q (x, y ) t(x, y ), not p(x, y ). t(a, b) t(b, b) r(a, b) s(a) 4. : p(X ) r(X, Y ), not q (X ), not q (Y ). q (X ) t(X, Y ), not p(X ). t(b, b). r(a, b). r(b, b).