Base de hechos

H1 h_estudioT(Maria,5)
H2 h_estudioT(Pedro,3)
H3 h_estudioD(Juan,1)
H4 h_estudioD(Oriol,5)
H5 h_estudioT(Ana,5)
H6 compaero(Pedro,Oriol)
H7 compaero(Juan,Oriol)
H8 compaero(Ana,Juan)
H9 tele(Ana,3)
H10 tele(Oriol,4)
H11 tele(Pedro,4)
H12 tele(Maria,2)
H13 tele(Juan,6)

Base de reglas
R1 compaero(x,y) -> compaero(y,x)
R2 compaero(x,y) ^ compaero(z,y) ->
compaero(x,z)
R3 (h_estudioT(x,y) ^ (y<5)) v
(h_estudioD(x,y) ^ (y<2)) -> vago(x)
R4 tele(x,y) ^ (y>3) -> vago(x)
R5 vago(x) ^ vago(y) ^ compaero(x,y) ->
separar (x,y)
R6 compaero(x,y) ^ -(vago(x)) -> pemio(x)
^ premio(y)
R7 (vago(x)) -> premio(x)


Usando razonamiento hacia adelante con una estrategia de resolucin de conflictos a) la regla ms
especfica (con ms condiciones) b) la primera regla en orden secuencial. Deducir para quien de los
cinco estudiantes tendr premio

Base de hechos
H1 h_estudioT(Maria,5)
H2 h_estudioT(Pedro,3)
H3 h_estudioD(Juan,1)
H4 h_estudioD(Oriol,5)
H5 h_estudioT(Ana,5)
H6 compaero(Pedro,Oriol)
H7 compaero(Juan,Oriol)
H8 compaero(Ana,Juan)
H9 tele(Ana,3)
H10 tele(Oriol,4)
H11 tele(Pedro,4)
H12 tele(Maria,2)
H13 tele(Juan,6)

Base de reglas
R1 compaero(x,y) -> compaero(y,x)
R2 compaero(x,y) ^ compaero(z,y) ->
compaero(x,z)
R3 (h_estudioT(x,y) ^ (y<5)) v
(h_estudioD(x,y) ^ (y<2)) -> vago(x)
R4 tele(x,y) ^ (y>3) -> vago(x)
R5 vago(x) ^ vago(y) ^ compaero(x,y) ->
separar (x,y)
R6 compaero(x,y) ^ -(vago(x)) -> pemio(x)
^ premio(y)
R7 (vago(x)) -> premio(x)


Usando razonamiento hacia adelante con una estrategia de resolucin de conflictos a) la regla ms
especfica (con ms condiciones) b) la primera regla en orden secuencial. Deducir para quien de los
cinco estudiantes tendr premio.