Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

=== Relación 1 ===

----
'''Ejercicio 1.''' Calcular los conjuntos de respuesta del siguiente
programa P y responder a las consultas siguientes: ¿p?, ¿q? 

p, q, r.
¬p :- not s.



----

'''Solución:''' 


----
'''Ejercicio 2.''' 
----

'''Solución:''' 



----
'''Ejercicio 3.''' 
----

'''Solución:''' 



----
'''Ejercicio 4.''' 
----

'''Solución:''' 



----
'''Ejercicio 5.''' 
----

'''Solución:''' 



----
'''Ejercicio 6.''' 
----

'''Solución:''' 



----
'''Ejercicio 7.''' 
----

'''Solución:''' 



+ *Ejercicio 2:* Calcular los conjuntos de respuesta del siguiente programa:
#+BEGIN_SRC 
p :- not q.
q :- not p.
r :- not s.
s :- not r.
-s :- q.
#+END_SRC

+ *Ejercicio 3:* Dado el programa /P/ y el conjunto S = {p(c)}, obtener el programa
   /P^S/ y decidir si S es un conjunto de respuesta de /P/.

#+BEGIN_SRC 
p(a) :- not p(b).
p(b) :- not p(c).
p(c) :- not p(a).
#+END_SRC

+ *Ejercicio 4:* Calcular los conjuntos de respuesta del siguiente
  programa /P/ y responder a las consultas siguientes: ¿s(a)?, ¿r(a)?,
  ¿s(b)?, ¿q(b)?

#+BEGIN_SRC 
-s(a).
p(X) :- not q(X), -s(X).
q(X) :- not p(X).
r(X) :- p(X).
r(X) :- q(X).
#+END_SRC

+ *Ejercicio 5:* Calcular los conjuntos de respuesta del siguiente
  programa /P/ y responder a las consultas siguientes: ¿q(a)?, ¿r(a)?,
  ¿q(b)?, ¿r(b)?

#+BEGIN_SRC 
p(a), -p(b).
q(X) :- -p(X).
-q(X) :- not q(X).
r(X) :- not p(X).
#+END_SRC


+ *Ejercicio 6:* Calcular los conjuntos de respuesta del siguiente
  programa /P/ y responder a las consultas siguientes: ¿p(b)?,¿q(b)?, ¿r(b)?

#+BEGIN_SRC 
p(X),q(X) :- not r(X).
-p(X) :- h(X), not r(X).
h(a).
h(b).
r(a).
#+END_SRC

+ *Ejercicio 7:* Consideremos la siguiente situación: "Si Juan no compra
  juguetes para sus hijos, los niños de Juan no recibirán juguetes por
  Reyes. Si los hijos de Juan no escriben sus cartas a los Reyes, Juan
  no les comprará juguetes. Los niños de Juan reciben juguetes por
  Reyes". Supongamos que la interpretación de esta historia implica que
  los hijos de Jim escribieron las cartas a los Reyes. 
  + Modelizar esta historia como un programa ASP y calcular los
    conjuntos de respuesta, usando la disyunción para representar la ley
    del tercio excluso.
  + Modelizar esta historia en un programa ASP y calcular los conjuntos
    de respuesta esta vez haciendo explícito el contrapositivo para cada
    afirmación.