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:
  • 1 votos - 5 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
Ejercicios Deducción Automática
Autor Mensaje
Lean Sin conexión
Secretario de la SAE
Sin estado :(
******

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 404
Agradecimientos dados: 1
Agradecimientos: 11 en 5 posts
Registro en: Mar 2010
Mensaje: #1
Ejercicios Deducción Automática Ejercicios Inteligencia Artificial
Hola!

Quería saber si alguien hizo los ejercicios de deducción automática, como no tienen resueltos no me queda otra que comparar resultados.

Adjunto la guía de deducción automática.

Los dos primeros ejercicios me dieron:

1) ¬(Hc v Ry) v [Rf(y) ^ (¬Rw v Rt)]

2) ¬(Bc ^ Dc) v [¬(Rz^¬Tf(z) v (¬Cg(z) v Dh(z)) ]

Ambos en forma normal luego de aplicar prenex y skolem.

Saludos!


Archivo(s) adjuntos
.pdf  Ejercicios_Deduccion_Automatica.pdf (Tamaño: 36,11 KB / Descargas: 506)

62.9 requests/sec - 371.1 kB/second - 5.9 kB/request
78 requests currently being processed, 0 idle workers
(Este mensaje fue modificado por última vez en: 04-06-2014 00:15 por Lean.)
04-06-2014 00:14
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] Lean recibio 2 Gracias por este post
elcumpa (14-02-2015), Mire Ya (14-02-2016)
alterpeke Sin conexión
Campeon del cubo Rubik
Being Engineer
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 179
Agradecimientos dados: 43
Agradecimientos: 70 en 19 posts
Registro en: May 2008
Mensaje: #2
RE: Ejercicios Deducción Automática
El primero me quedo igual salvo que H tiene la funcion f(y,w,t) y R tambien (no me queda la f(y) porque acordate que se le agregan todas las constantes evaluadas en los "para todos" que tenes a la izquierda de los "existe" segun Skolem.

Hago el segundo y lo paso.

Saludos

Mucha gente se siente confundida cuando ven una frase que no termina como ellos salchicha.
15-07-2014 16:10
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
alterpeke Sin conexión
Campeon del cubo Rubik
Being Engineer
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 179
Agradecimientos dados: 43
Agradecimientos: 70 en 19 posts
Registro en: May 2008
Mensaje: #3
RE: Ejercicios Deducción Automática
En el segundo punto me queda igual desde el punto de vista de las operaciones de forma normal.
Pero todas las variables mayusculas usando el f(z) excepto R que usa z.

Me agarro la duda.

Saludos

Mucha gente se siente confundida cuando ven una frase que no termina como ellos salchicha.
15-07-2014 18:10
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
elcumpa Sin conexión
Campeon del cubo Rubik
Sin estado :(
****

Otra
Facultad Regional Buenos Aires

Mensajes: 188
Agradecimientos dados: 1
Agradecimientos: 0 en 0 posts
Registro en: May 2010
Mensaje: #4
RE: Ejercicios Deducción Automática
(15-07-2014 16:10)alterpeke escribió:  El primero me quedo igual salvo que H tiene la funcion f(y,w,t) y R tambien (no me queda la f(y) porque acordate que se le agregan todas las constantes evaluadas en los "para todos" que tenes a la izquierda de los "existe" segun Skolem.

Hago el segundo y lo paso.

Saludos

No, la función de R es f(y) ya que tenes un solo "Para todo" delante del "Existe". Los para todos restantes pueden ser eliminados directamente.
El primer "existe" se cambia por una cte y se elimina, porque no tiene ningún "Para todo" a su izq, por eso la función de H es una cte.

No saben donde se pueden conseguir ejercicios de este tipo?, me dijeron que en le web campus, pero la curse hace unos años y no estoy matriculado.
(Este mensaje fue modificado por última vez en: 14-02-2015 03:14 por elcumpa.)
14-02-2015 03:06
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
elcumpa Sin conexión
Campeon del cubo Rubik
Sin estado :(
****

Otra
Facultad Regional Buenos Aires

Mensajes: 188
Agradecimientos dados: 1
Agradecimientos: 0 en 0 posts
Registro en: May 2010
Mensaje: #5
RE: Ejercicios Deducción Automática
El ejercicio 1 y el 2, me dieron igual que vos Lean.
Saludos
14-02-2015 14:47
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
elcumpa Sin conexión
Campeon del cubo Rubik
Sin estado :(
****

Otra
Facultad Regional Buenos Aires

Mensajes: 188
Agradecimientos dados: 1
Agradecimientos: 0 en 0 posts
Registro en: May 2010
Mensaje: #6
RE: Ejercicios Deducción Automática
Les paso lo que me dio el ejercicio 3)

3) ¬(Bx v Cz) ^ (Df(x,z) ^ Fw ) v (¬Cj) ^ By
14-02-2015 16:32
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
juliahn Sin conexión
Campeon del cubo Rubik
Inshenier
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 125
Agradecimientos dados: 63
Agradecimientos: 347 en 24 posts
Registro en: Apr 2009
Facebook LinkedIn Twitter YouTube
Mensaje: #7
RE: Ejercicios Deducción Automática
(14-02-2015 16:32)elcumpa escribió:  Les paso lo que me dio el ejercicio 3)

3) ¬(Bx v Cz) ^ (Df(x,z) ^ Fw ) v (¬Cj) ^ By

Me quedó igual.

Les dejo el 4:

(¬Aa v Tt) v (Jf(t) ^ Pq) v ¬Qf(t)
03-12-2015 14:36
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] juliahn recibio 1 Gracias por este post
holautn (03-12-2015)
eridal Sin conexión
Militante
con estado :)
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 56
Agradecimientos dados: 22
Agradecimientos: 13 en 7 posts
Registro en: Jun 2008
Mensaje: #8
RE: Ejercicios Deducción Automática
De donde estan estudiando?
03-12-2015 23:40
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
juliahn Sin conexión
Campeon del cubo Rubik
Inshenier
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 125
Agradecimientos dados: 63
Agradecimientos: 347 en 24 posts
Registro en: Apr 2009
Facebook LinkedIn Twitter YouTube
Mensaje: #9
RE: Ejercicios Deducción Automática
(03-12-2015 23:40)eridal escribió:  De donde estan estudiando?

eridal fijate el resumen que anda dando vueltas, es bastante complejo. Ahi tenes cómo pasar a prenex, skolem y normal. Suerte!
04-12-2015 11:27
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
eridal Sin conexión
Militante
con estado :)
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 56
Agradecimientos dados: 22
Agradecimientos: 13 en 7 posts
Registro en: Jun 2008
Mensaje: #10
RE: Ejercicios Deducción Automática
Si, preguntaba por que quizas hay algo mas didactico dando vueltas.
04-12-2015 14:13
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Aivan Sin conexión
Helper
La UES UTN BA
*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 327
Agradecimientos dados: 36
Agradecimientos: 44 en 21 posts
Registro en: May 2008
Facebook LinkedIn
Mensaje: #11
RE: Ejercicios Deducción Automática
eridal

Con el resúmen va bárbaro... Si tenés alguna duda con algún ejercicio, postealo, chifla (taggeame si querés) y lo vemos.

Saludos,

Iván

"En una época donde hay especialistas de cada superficie o eres un experto en polvo de ladrillo, un experto en césped, un experto en canchas duras, un experto en moqueta o eres simplemente Roger Federer" - Jimmy Connors
05-12-2015 20:54
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
eridal Sin conexión
Militante
con estado :)
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 56
Agradecimientos dados: 22
Agradecimientos: 13 en 7 posts
Registro en: Jun 2008
Mensaje: #12
RE: Ejercicios Deducción Automática
Me dieron muy parecido los primeros 2, solo que las lleve a Forma Normal .. ustedes las dejaron en Skolem

1) [¬Ha ^ ¬Ry] v [Rf(y) ^ ¬Rw] v [Rf(y) ^ Rt]

2) ¬Ba v ¬Da v ¬Rz v Tf(z) v ¬Cg(z) v Dh(z)

El 3 me dio igual, pero no puedo llevarlo a Forma Normal .. me queda un OR que no se como pasarlo a AND

3) (¬Bx v Cz) ^ Df(x,z) ^ Fw v ¬Cj ^ By

El 4 me da parecido, tengo diferente la funcion en "Q"

4) ¬Aa v Tt v [Jf(t) ^ Pq] v ¬Qg(t, q)


Ademas me fije en el campus, pero no hay mas ejercicios de este tipo.
(Este mensaje fue modificado por última vez en: 09-12-2015 01:26 por eridal.)
09-12-2015 01:26
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
eridal Sin conexión
Militante
con estado :)
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 56
Agradecimientos dados: 22
Agradecimientos: 13 en 7 posts
Registro en: Jun 2008
Mensaje: #13
RE: Ejercicios Deducción Automática
Encontre esta propiedad, distributiva de los OR con respecto al AND

- A v B ^ C = A v (B ^ C) = (A ^ B) v (A ^ C)
- A ^ B v C = (A ^ B) v C = (A ^ C) v (B ^ C)

.. aplicarla en el ejercicio 3 .. seria

A ^ B ^ C v D ^ E = (A ^ B ^ C) v (D ^ E) = (A ^ D) v (A ^ E) v (B ^ D) v (B ^ E) v (C ^ D) v (C ^ E)

lo que me lleva a pensar que ese "v" debe ser un "^" no tener que hacer semejante reemplazo

3) (¬Bx v Cz) ^ Df(x,z) ^ Fw ^ ¬Cj ^ By

https://en.wikipedia.org/wiki/Distributi...eplacement
(Este mensaje fue modificado por última vez en: 10-12-2015 01:28 por eridal.)
10-12-2015 01:27
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Fly Sin conexión
Secretario de la SAE
estado sólido
******

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 578
Agradecimientos dados: 119
Agradecimientos: 213 en 67 posts
Registro en: May 2011
Mensaje: #14
RE: Ejercicios Deducción Automática
(09-12-2015 01:26)eridal escribió:  Me dieron muy parecido los primeros 2, solo que las lleve a Forma Normal .. ustedes las dejaron en Skolem

1) [¬Ha ^ ¬Ry] v [Rf(y) ^ ¬Rw] v [Rf(y) ^ Rt]

2) ¬Ba v ¬Da v ¬Rz v Tf(z) v ¬Cg(z) v Dh(z)

En realidad de ambas formas es "forma Normal". Resumiendo la teoría:
- Prenex: "Una fórmula se encuentra en Forma Prenex cuando todos sus cuantificadores se encuentran al comienzo de la misma". O sea que tomás cualquier fórmula en lógica de 1er órden (o sea, cualquier fórmula que tenga cuantificadores en algún lado) y mediante el uso de las propiedades hacés que queden delante de todo. La forma Prenex sigue siendo lógica de primer órden.

- Skolem: "Una fórmula se encuentra en Forma Skolem una vez que se han eliminado todos sus cuantificadores". O sea, que pasás de lógica de primer órden a lógica proposicional .

- Forma Normal: Una vez que estamos en lógica proposicional, sacamos los "implica" para que quede en forma normal. La forma normal es la manera de expresar proposiciones usando sólo tres operadores: v, ^, ¬

Vos lo que hiciste ahí fue distribuir los operadores. Eso no es necesario para que esté bien el ejercicio.
BTW, el ejercicio 4 me dió igual que a vos.


CONSULTA.... ¿qué hay que hacer en los últimos dos ejercicios de la guía? (deducción)
(Este mensaje fue modificado por última vez en: 10-12-2015 13:19 por Fly.)
10-12-2015 12:04
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
eridal Sin conexión
Militante
con estado :)
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 56
Agradecimientos dados: 22
Agradecimientos: 13 en 7 posts
Registro en: Jun 2008
Mensaje: #15
RE: Ejercicios Deducción Automática
¿para que quede en forma normal no se tiene que llevar a FNC o FND? .. supongo que el ejercicio solo pide llevarla a FN

En cuanto a los otros ejercicios hay que aplicar Herbrand

1. Llevar todas las HIP y TESIS a forma normal
2. Conjugar todas las HIP + la negacion de la TESIS
3. Buscar el modelo de Herbrand

La teoria de la completitud dice q ..

H1 ^ H2 ^ .. ^ Hn |-- T <=> H1 ^ H2 ^ .. ^ Hn ^ ¬T = Falso

Herbrand demostró que si encontras un modelo que cumpla con la segunda parte (HIPS ^ ¬T), entonces no es válida la deducción .. y las HIP no llevan a la TESIS

https://en.wikipedia.org/wiki/Herbrand's_theorem
(Este mensaje fue modificado por última vez en: 10-12-2015 13:25 por eridal.)
10-12-2015 13:22
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




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