Seguimos buscando a Arshak. Ayudanos compartiendo!
Encuesta no oficial de docentes
Resultados de la encuesta no oficial de docentes
Probaste el SIGA Helper?

Donar $100 Donar $200 Donar $500 Donar mensualmente


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
Duda final IA - Logica
Autor Mensaje
cuchodelosdecadentes Sin conexión
Campeon del cubo Rubik
soooomos los piratas ...
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 195
Agradecimientos dados: 88
Agradecimientos: 6 en 6 posts
Registro en: Dec 2011
Mensaje: #1
Duda final IA - Logica Ejercicios Inteligencia Artificial
Hola, como va.
Preparando el final para IA me encuentro con este ej. Aparentemente es una de las dos opciones que estan ahi pero no puedo llegar a la tesis.
   
Es la implicacion que empieza con una disyuncion pero no puedo llegar a la tesis.

Si alguno me puede dar una mano ....
Gracias!
05-02-2020 21:09
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
manoooooh Sin conexión
Secretario de la SAE

******

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 439
Agradecimientos dados: 0
Agradecimientos: 330 en 171 posts
Registro en: Feb 2017
Mensaje: #2
RE: Duda final IA - Lógica
Hola

Por favor usá LaTeX para escribir las expresiones matemáticas. Transcribo el enunciado:

Enunciado escribió:Dadas:

H1: \(\forall x(Ax\wedge Cx\to Px\vee Fx)\)
H2: \(\forall x(Cx\to Ax\wedge Bx)\)
H3: \(\forall x(Cx\wedge Jx\wedge Kx)\)
H4: \(\exists x(Fx\wedge Kx\to Dx\vee Px)\)
Tesis: \(\exists x(Dx\wedge Bx)\)

¿Cuál es la hipótesis faltante?:
1) \(\forall x(Px\wedge Rx\to Dx\vee Bx)\)
2) \(\forall x(Px\vee Rx\to Dx\vee Bx)\)

(05-02-2020 21:09)cuchodelosdecadentes escribió:  Es la implicación que empieza con una disyunción pero no puedo llegar a la tesis.

Es que no aporta nada nuevo esa hipótesis. Mirá:

De H3 para todo \(x\), \(Cx,Jx\) y \(Kx\) son verdaderas.
Entonces de H2, también para todo \(x\), \(Ax,Bx\) son verdaderas.
Ahora de H1, para todo \(x\), \(Px\) o \(Fx\) es verdadera.

Finalmente de H4, existe un \(x\) para el cual si queremos garantizar que \(Dx\) sea cierta necesariamente \(Fx\) tiene que ser cierta y \(Px\) falsa. Por H1 para garantizar esto basta que \(Px\) sea falsa.

Pero hemos visto con las hipótesis que tenemos que para todo \(x\), \(Bx\) es cierta; por tanto cualquiera de las dos hipótesis agregadas es siempre cierta. No aportan nada nuevo.

Revisá el enunciado.

Saludos.
(Este mensaje fue modificado por última vez en: 06-02-2020 22:55 por manoooooh.)
06-02-2020 22:53
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] manoooooh recibio 1 Gracias por este post
cuchodelosdecadentes (07-02-2020)
cuchodelosdecadentes Sin conexión
Campeon del cubo Rubik
soooomos los piratas ...
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 195
Agradecimientos dados: 88
Agradecimientos: 6 en 6 posts
Registro en: Dec 2011
Mensaje: #3
RE: Duda final IA - Logica
Ok, el enunciado lo pase tal cual lo tenia. Se ve entonces que es alguna de las otras dos que no pusieron.
Gracias.
07-02-2020 13:11
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
manoooooh Sin conexión
Secretario de la SAE

******

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 439
Agradecimientos dados: 0
Agradecimientos: 330 en 171 posts
Registro en: Feb 2017
Mensaje: #4
RE: Duda final IA - Lógica
Hola

Podría ser así: \[\forall x(Px\vee Rx\to Dx\wedge Bx).\] En ese caso, para ese \(x\) cuya existencia garantiza H4,
  • Si \(Px\) es verdadera ya se cumple directamente por esa hipótesis añadida \(Dx\), que es lo que queríamos.
  • Si \(Px\) es falsa, se cumple \(Dx\) por lo que habíamos razonado antes.
Saludos.
07-02-2020 13:26
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] manoooooh recibio 1 Gracias por este post
cuchodelosdecadentes (07-02-2020)
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)



    This forum uses Lukasz Tkacz MyBB addons.