https://www.glc.us.es/~jalonso/LCyTM2018/index.php?action=history&feed=atom&title=R1 2026-07-23T16:40:08Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=R1&diff=182&oldid=prev 2019-10-29T18:24:22Z

<p>Protegió «<a href="/~jalonso/LCyTM2018/index.php/R1" title="R1">R1</a>» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))</p> <table class="diff diff-contentalign-left" data-mw="interface"> <tr class="diff-title" lang="es"> <td colspan="1" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="1" style="background-color: #fff; color: #222; text-align: center;">Revisión del 18:24 29 oct 2019</td> </tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div> </td></tr></table>

Mjoseh https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=R1&diff=180&oldid=prev 2019-10-29T18:21:53Z

<p>Página creada con «&lt;source lang = &quot;prolog&quot;&gt; % Ejercicio 1. Calcular los conjuntos de respuesta del siguiente % programa P y responder a las consultas siguientes: ¿p?, ¿q? p, q, r. ¬p :-…»</p> <p><b>Página nueva</b></p><div>&lt;source lang = &quot;prolog&quot;&gt;<br /> <br /> % Ejercicio 1. Calcular los conjuntos de respuesta del siguiente<br /> % programa P y responder a las consultas siguientes: ¿p?, ¿q? <br /> <br /> p, q, r.<br /> ¬p :- not s.<br /> <br /> <br /> % Solución:<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> <br /> % Ejercicio 2: Calcular los conjuntos de respuesta del siguiente<br /> % programa:<br /> <br /> p :- not q.<br /> q :- not p.<br /> r :- not s.<br /> s :- not r.<br /> -s :- q.<br /> <br /> % Solución:<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> <br /> % Ejercicio 3: Dado el programa /P/ y el conjunto S = {p(c)}, obtener el<br /> % programa /P^S/ y decidir si S es un conjunto de respuesta de /P/.<br /> <br /> p(a) :- not p(b).<br /> p(b) :- not p(c).<br /> p(c) :- not p(a).<br /> <br /> % Solución:<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> <br /> % Ejercicio 4: Calcular los conjuntos de respuesta del siguiente<br /> % programa /P/ y responder a las consultas siguientes: ¿s(a)?, ¿r(a)?,<br /> % ¿s(b)?, ¿q(b)?<br /> <br /> <br /> -s(a).<br /> p(X) :- not q(X), -s(X).<br /> q(X) :- not p(X).<br /> r(X) :- p(X).<br /> r(X) :- q(X).<br /> <br /> % Solución:<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> <br /> % Ejercicio 5:Calcular los conjuntos de respuesta del siguiente<br /> % programa /P/ y responder a las consultas siguientes: ¿q(a)?, ¿r(a)?,<br /> % ¿q(b)?, ¿r(b)?<br /> <br /> p(a), -p(b).<br /> q(X) :- -p(X).<br /> -q(X) :- not q(X).<br /> r(X) :- not p(X).<br /> <br /> % Solución:<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> <br /> % Ejercicio 6: Calcular los conjuntos de respuesta del siguiente<br /> % programa /P/ y responder a las consultas siguientes: ¿p(b)?,¿q(b)?, ¿r(b)?<br /> <br /> <br /> p(X),q(X) :- not r(X).<br /> -p(X) :- h(X), not r(X).<br /> h(a).<br /> h(b).<br /> r(a).<br /> <br /> % Solución<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> <br /> % Ejercicio 7: Consideremos la siguiente situación: &quot;Si Juan no compra<br /> % juguetes para sus hijos, los niños de Juan no recibirán juguetes por<br /> % Reyes. Si los hijos de Juan no escriben sus cartas a los Reyes, Juan<br /> % no les comprará juguetes. Los niños de Juan reciben juguetes por<br /> % Reyes&quot;. Supongamos que la interpretación de esta historia implica que<br /> % los hijos de Jim escribieron las cartas a los Reyes. <br /> % + Modelizar esta historia como un programa ASP y calcular los<br /> % conjuntos de respuesta, usando la disyunción para representar la ley<br /> % del tercio excluso.<br /> % + Modelizar esta historia en un programa ASP y calcular los conjuntos<br /> % de respuesta esta vez haciendo explícito el contrapositivo para cada<br /> % afirmación.<br /> <br /> % Solución:<br /> &lt;/source&gt;</div>

Mjoseh