Relación 1 - Historial de revisiones

Xinwu2 en 16:31 14 nov 2019

2019-11-14T16:31:57Z

Xinwu2 en 16:30 14 nov 2019

2019-11-14T16:30:21Z

Xinwu2 en 10:56 12 nov 2019

2019-11-12T10:56:51Z

Xinwu2 en 10:20 12 nov 2019

2019-11-12T10:20:38Z

Xinwu2 en 10:08 12 nov 2019

2019-11-12T10:08:07Z

Anabermar1 en 09:54 11 nov 2019

2019-11-11T09:54:42Z

Gemtermej en 09:51 11 nov 2019

2019-11-11T09:51:20Z

Anabermar1 en 09:37 11 nov 2019

2019-11-11T09:37:02Z

Anabermar1 en 09:35 11 nov 2019

2019-11-11T09:35:30Z

Gemtermej en 09:25 11 nov 2019

2019-11-11T09:25:09Z

@@ Línea 25: / Línea 25: @@
 %para la regla1, sií cogemos p, este respuesta {p, -p} no satisface consistencia.
 %por eso,tenemos dos respuestas: S_1={q, -p} y S_2={r, -p}
-%consulta p:no es la consulta,no puede satisfacer S_2 y S_3.
+%consulta p: no es la consulta,no puede satisfacer S_2 y S_3.
-%consulta q:desconocido.
+%consulta q: desconocido.
 %anabermar1 y gemtermej.

@@ Línea 22: / Línea 22: @@
 %xinwu2
-%S_1={p, s},Si escogemos p, después tenemos que escogemos s,como consulta S={p, s}.
+%como no hay ningún s pertenece este conjunto,por eso -p tiene que pertenecer este conjunto para la regla2.
-%S_2={q, -p},por condición 1, tenemos que elegir q o r, y después para satisfacer condición 2, hemos satisfacido el cuerpo, tenemos que satisfacer la cabeza con -p.
+%para la regla1, sií cogemos p, este respuesta {p, -p} no satisface consistencia.
-%S_3={r, -p},es igual con S_1.
+%por eso,tenemos dos respuestas: S_1={q, -p} y S_2={r, -p}
 %consulta p:no es la consulta,no puede satisfacer S_2 y S_3.
 %consulta q:desconocido.
@@ Línea 70: / Línea 68: @@
 %xinwu2
-%S_1={p, r} desde el última regla hasta arriba,podemos satisfacer la regla 5 sin elegir q,y sobre regla 1,tenemos que escoger p, y regla 2 ya satisfacida,sobre regla 3 y 4, podemos elegir la cabeza para satisfacer.
+%como regla5, tenemos tres elegidos, podemos coger -s, o podemos coger q y -s, o no cogemos -s u q.
-%La misma razón como S_3 por S={p, s},tenemos que coger -s para la regla 5, no satisface consistencia, o solo S={p, s}
+%si S_1 solo con -s, q no pertenece este respuesta, tenemos coger p para las regla 1 y 2, y s no puede pertenece este respuesta, final S_1={-s, p, r}
-%Si escogemos -s(la cabeza), elegimos r para regla 4 y también satisface regla 3, y para regla primera y segunda, podemos elegir la cabeza también para satisfacer los dos,{-s, r, q},tampoco {-s, r, p} no satisface principal minimal.
+%si S_2 contiene -s y q, no hace falta coger p, final S_2={-s, q, r}
+%si S_3 no contiene -s u q, tenemos que coger p para las reglas 1 y 2,y con r o s.

@@ Línea 29: / Línea 29: @@
 %consulta p:no es la consulta,no puede satisfacer S_2 y S_3.
 %consulta q:desconocido.
 %anabermar1 y gemtermej.
@@ Línea 69: / Línea 71: @@
 %xinwu2
 %S_1={p, r} desde el última regla hasta arriba,podemos satisfacer la regla 5 sin elegir q,y sobre regla 1,tenemos que escoger p, y regla 2 ya satisfacida,sobre regla 3 y 4, podemos elegir la cabeza para satisfacer.
-%S_2={p, s}, la misma razón como S_3.
+%La misma razón como S_3 por S={p, s},tenemos que coger -s para la regla 5, no satisface consistencia, o solo S={p, s}
 %Si escogemos -s(la cabeza), elegimos r para regla 4 y también satisface regla 3, y para regla primera y segunda, podemos elegir la cabeza también para satisfacer los dos,{-s, r, q},tampoco {-s, r, p} no satisface principal minimal.

@@ Línea 347: / Línea 347: @@
 % c = los hijos de Juan escriben sus cartas a los Reyes
 %por eso, podemos simplificar este frase a la programa p abajo:
-%¬b :- not a
+%-p(b) :- not q(a)
-%b :- not c, not a
+%p(b) :- not r(c), not q(a)
-%si elegimos a, puedo elegir b para la regla 2. O puedo elegir c para la regla 2.
+%si elegimos q(a), puedo elegir p(b) para la regla 2, este no satisface consiente. O puedo elegir r(c) para la regla 2.
-%las resultas son: S_1={p(a), p(b)} y S_2={p(a), p(c)}.
+%la resulta es S_1={q(a), r(c)}.

@@ Línea 102: / Línea 102: @@
 %xinwu2
-%si añadimos S={p(c)}, tenemos que elegir p(c) para satisfacerlo, después sadisface
+%sobre el programa P^S, porque S = {p(c)}, tenemos que quitar la regla 2, y también tenemos que quitar not p(b) o not p(a).
-% las reglas 2 y 3,final podemos elegir p(a) o -p(b) para la regla 1,obtenemos
+%el programa P^S es
-% S_1={p(a),p(c)} o S_2={p(c), -p(b)}
+%p(a)
-%Y S={p(c)} no puede satisface la regla 1, no es un conjunto de respuesta.
+%p(c)
 %anabermar1 y gemtermej.

@@ Línea 309: / Línea 309: @@
 %S_1={h(a), h(b), r(a),-p(a)}, S_2={h(a), h(b), r(a), -p(b)}
 %r(b), p(b) o q(b) no son las consultas.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@@ Línea 75: / Línea 75: @@
 % anabermar1 y gemtermej
-%  Los candidatos a conjuntos de respuesta tienen que contener los hechos, en este caso no hay ningún hecho.
+% Los candidatos a conjuntos de respuesta tienen que contener los hechos, en este caso no hay ningún hecho.
 % Los posibles literales sustentados son: {p,q,r,s,-s}. Teniendo en cuenta estos literales, se tiene que s y -s no pueden pertenecer a la vez al conjunto de respuesta, ya que sería un conjunto inconsistente.
 % Atendiendo a la regla 1 y 2, se tiene que p y q no pueden pertenecer al conjunto de respuesta al mismo tiempo. Lo mismo ocurre con r y s, fijándonos en este caso en las reglas 3 y 4.
@@ Línea 179: / Línea 179: @@
 %s(b),no es la consulta.
 %q(b),desconocido, q(b) consiste en S_1,pero sin S_2 o S_3.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ Línea 207: / Línea 255: @@
 %finalmente, tenemos S_1={p(a), q(a)(o q(b))}, S_2={p(a), -q(a)(o -q(b))}
 %q(a) y q(b) son las consultas, y r(a) y r(b) no son las consultas.

@@ Línea 109: / Línea 109: @@
 %anabermar1 y gemtermej.
-Calculemos el reducto del programa P con respecto a S={p(c)}.
+%Calculemos el reducto del programa P con respecto a S={p(c)}.
 % De la primera regla eliminamos solo la premisa que contiene el not, pues p(b) no pertenece al conjunto S.
 % La segunda regla la eliminamos por completo ya que p(c) está en S.

@@ Línea 33: / Línea 33: @@
 % La primera regla es una disyunción por lo que tenemos como posibles conjuntos de respuestas:
-S_1={p,...}
+%S_1={p,...}
-S_2={q,...}
+%S_2={q,...}
-S_3={r,...}
+%S_3={r,...}
-La segunda regla nos dice que si no tenemos la certeza de creer s entonces -p, por lo que debemos añadir la cabeza de esta regla a los tres conjuntos posibles anteriores. Por tanto, los modelos posibles del programa P son:
+%La segunda regla nos dice que si no tenemos la certeza de creer s entonces -p, por lo que debemos añadir la cabeza de %esta regla a los tres conjuntos posibles anteriores. Por tanto, los modelos posibles del programa P son:
-S_1={p,-p}
+%S_1={p,-p}
-S_2={q,-p}
+%S_2={q,-p}
-S_3={r,-p}
+%S_3={r,-p}
-Veamos si estos conjuntos son respuesta del programa.
+%Veamos si estos conjuntos son respuesta del programa.
-S_1 NO es conjunto pues es inconsistente.
+%S_1 NO es conjunto pues es inconsistente.
-S_2 cumple ambas reglas, es consistente y es minimal (pues si quitamos algún literal dejaría de ser modelo). Por lo que es modelo del programa de P.
+%S_2 cumple ambas reglas, es consistente y es minimal (pues si quitamos algún literal dejaría de ser modelo). Por lo %que es modelo del programa de P.
-S_3 también verifica que es modelo de P.
+%S_3 también verifica que es modelo de P.
-En conclusión, tenemos dos conjuntos de respuestas S_2={q,-p}
+%En conclusión, tenemos dos conjuntos de respuestas S_2={q,-p}
-S_3={r,-p}.
+%S_3={r,-p}.
-Veamos las consultas:
+%Veamos las consultas:
-¿p?, No es consulta de P, pues -p pertenece a todo S_i, i=2,3, modelo del programa.
+%¿p?, No es consulta de P, pues -p pertenece a todo S_i, i=2,3, modelo del programa.
-¿q?, No se sabe, pues q no pertenece a todo S_i, i=2,3, modelo ni -q pertenece a todo S_i, i =2,3.
+%¿q?, No se sabe, pues q no pertenece a todo S_i, i=2,3, modelo ni -q pertenece a todo S_i, i =2,3.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ Línea 79: / Línea 79: @@
 % Atendiendo a la regla 1 y 2, se tiene que p y q no pueden pertenecer al conjunto de respuesta al mismo tiempo. Lo mismo ocurre con r y s, fijándonos en este caso en las reglas 3 y 4.
 % Por tanto, los conjuntos de respuesta que satisfacen todas las reglas son:
-S1= {p,r}
+%S1= {p,r}
-S2= {q,r,-s}
+%S2= {q,r,-s}
-S3 = {p,s}
+%S3 = {p,s}
@@ Línea 113: / Línea 113: @@
 % La segunda regla la eliminamos por completo ya que p(c) está en S.
 % De la tercera regla eliminamos solo la premisa que contiene not (p(a) no está en S.
-Por tanto el reducto es:
+%Por tanto el reducto es:
-p(a).
+%p(a).
-p(c).
+%p(c).
-S no es modelo de P^S (pues falta el hecho p(a)), entonces S no es modelo de P
+%S no es modelo de P^S (pues falta el hecho p(a)), entonces S no es modelo de P