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
[Aporte] Resueltos Deducción Natural y Deducción Automática
Autor Mensaje
Capitán Zoquete Sin conexión
Empleado del buffet
prodrome
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 17
Agradecimientos dados: 1
Agradecimientos: 56 en 12 posts
Registro en: Jul 2012
Mensaje: #1
[Aporte] Resueltos Deducción Natural y Deducción Automática Ejercicios Inteligencia Artificial
Espero que a alguno le sirvan.
Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand.
Deduccion natural son los 9 del K5HT2 (página 41/42).


Archivo(s) adjuntos
.pdf  Resueltos Ejercicios Deduccion Natural.pdf (Tamaño: 434,42 KB / Descargas: 1060)
.pdf  Resueltos Ejercicios Deducción Automática.pdf (Tamaño: 542,99 KB / Descargas: 1179)
Otros adjuntos en este tema
.png  skolem_a_normal.png ( 57,19 KB / 1624) por DarkCrazy
.png  solucion2.png ( 26,67 KB / 1597) por DarkCrazy
(Este mensaje fue modificado por última vez en: 26-02-2016 13:04 por Capitán Zoquete.)
23-02-2016 20:58
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] Capitán Zoquete recibio 29 Gracias por este post
luciano32 (24-02-2016), Chocolito (24-02-2016), Jaraf (11-03-2016), CarooLina (16-03-2016), cariddi (19-03-2016), ToLi1322 (22-03-2016), sebbab (01-06-2016), Jarry (12-06-2016), Gianluk (12-06-2016), GustavoPerrotta (13-06-2016), gonzalo.gobea (30-10-2016), DarkCrazy (14-12-2016), Ledcesar (15-01-2017), pablosreitano (17-01-2017), gnlaredo (10-02-2017), Danlco (22-05-2017), pamgra (14-06-2017), makifi (24-06-2017), xtian89 (26-07-2017), Milu (26-09-2017), guilletala (04-06-2018), chrisgel15 (06-06-2018), Camper (28-10-2018), dalepapa (02-11-2018), jmalfonso93 (11-11-2018), gonnza (16-02-2019), faver (10-09-2019), Smitten1994 (06-09-2020), nanohueso (08-10-2022)
Gianluk Sin conexión
Militante
Creciendo
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 57
Agradecimientos dados: 22
Agradecimientos: 13 en 5 posts
Registro en: Oct 2010
Facebook LinkedIn
Mensaje: #2
RE: [Aporte] Resueltos Deducción Natural y Deducción Automática
Gracias capoooo
12-06-2016 18:09
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
DarkCrazy Sin conexión
Profesor del Modulo A
Howdy ho!
*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 394
Agradecimientos dados: 461
Agradecimientos: 255 en 78 posts
Registro en: Mar 2011
Mensaje: #3
RE: [Aporte] Resueltos Deducción Natural y Deducción Automática
Consulta, vi que se tomó pasar a forma Skolem y Prenex en un par de finales, pero todo el resto de Deducción Automática se toma en los finales? Lo de pasar a formar normal, lo de probar los teoremas y lo Herbrand? Me refiero a si se toma como prática/ejercicios.

Saludos!
14-12-2016 17:24
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Ledcesar Sin conexión
Empleado del buffet
Sin estado :(
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 1
Agradecimientos dados: 6
Agradecimientos: 0 en 0 posts
Registro en: Jun 2009
Mensaje: #4
RE: [Aporte] Resueltos Deducción Natural y Deducción Automática
(14-12-2016 17:24)DarkCrazy escribió:  Consulta, vi que se tomó pasar a forma Skolem y Prenex en un par de finales, pero todo el resto de Deducción Automática se toma en los finales? Lo de pasar a formar normal, lo de probar los teoremas y lo Herbrand? Me refiero a si se toma como prática/ejercicios.

Saludos!

Yo tengo entendido que para el final entra todo lo de Deducción Automática.
15-01-2017 18:50
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
DarkCrazy Sin conexión
Profesor del Modulo A
Howdy ho!
*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 394
Agradecimientos dados: 461
Agradecimientos: 255 en 78 posts
Registro en: Mar 2011
Mensaje: #5
RE: [Aporte] Resueltos Deducción Natural y Deducción Automática
Yo nuevamente. Muchas gracias por el aporte! La verdad me viene super bárbaro.
Quería aprovechar este espacio para ver si me pueden ayudar con algunas dudas básicas que me surgieron sobre lógica.

Veo que cuando se pasa a forma normal, llega un punto en el que se quitan las {}, los [] e incluso los () a veces. Mi consulta es, cómo sé cuando y cómo puedo sacar estos símbolos y que la proposición mantenga el mismo valor de verdad? O sea, que al sacarlos seguir teniendo una proposición equivalente.

Voy a ir a un ejemplo específico.
En el ejercicio 2 de Deducción Automática, de "Preparación de las fórmulas",

Spoiler: Mostrar
   

Cómo sé que de la expresión 1 a la 2 puedo sacar los corchetes sin más...
Y cómo sé que de la expresión 2 a la 3 puedo sacar todos los paréntesis? (entiendo que antes de hacerse esto se aplico distributiva con el operador de negación)

Espero que se entienda mi duda y sepan responderme.
Desde ya muchas gracias por su tiempo y atención!!

EDIT:
En la resolución del ejercicio N°2 de la segunda parte, me parece que hay un pequeño error.
En la primer hipótesis, al pasarla de la forma Skolem a la forma normal, el operador v (or) debería seguir siendo v (or) sin embargo se lo pasa a ^ (and).
Adjunto imagen para que se vea mejor.
Spoiler: Mostrar
   

Por favor si estoy equivocado y no es un error, corrijanme!
(Este mensaje fue modificado por última vez en: 12-02-2017 02:12 por DarkCrazy.)
11-02-2017 22:58
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Capitán Zoquete Sin conexión
Empleado del buffet
prodrome
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 17
Agradecimientos dados: 1
Agradecimientos: 56 en 12 posts
Registro en: Jul 2012
Mensaje: #6
RE: [Aporte] Resueltos Deducción Natural y Deducción Automática
(11-02-2017 22:58)DarkCrazy escribió:  Veo que cuando se pasa a forma normal, llega un punto en el que se quitan las {}, los [] e incluso los () a veces. Mi consulta es, cómo sé cuando y cómo puedo sacar estos símbolos y que la proposición mantenga el mismo valor de verdad? O sea, que al sacarlos seguir teniendo una proposición equivalente.

Voy a ir a un ejemplo específico.
En el ejercicio 2 de Deducción Automática, de "Preparación de las fórmulas",

Spoiler: Mostrar

Cómo sé que de la expresión 1 a la 2 puedo sacar los corchetes sin más...
Y cómo sé que de la expresión 2 a la 3 puedo sacar todos los paréntesis? (entiendo que antes de hacerse esto se aplico distributiva con el operador de negación)
Los corchetes los podes sacar de 1 a 2 porque los operadores que separan a los grupos de expresiones son del mismo tipo ( OR ), entonces no tiene entido tener los corchetes.
\[\left (A \right ) \vee \left [ \left (B \right ) \vee \left (C \right ) \right ] \equiv \left (A \right ) \vee \left (B \right ) \vee \left (C \right )\]
Si entre los grupos de expresiones entre paréntesis hubiese alguna que no es del mismo tipo no se podría hacer, en ese caso ya cambia el significado.

Para los paréntesis entre 2 y 3 es lo mismo. Los grupos de expresiones esta de nuevo separados por el mismo operador ( OR ).
Hay un par de ( AND ) dentro de los grupos de parentesis, pero como estan negados se pueden convertir en OR usando la propiedad:
\[\neg \left (A\wedge B \right ) \equiv \neg A \vee \neg B\])
Los parentesis en ese caso los removes por el mismo criterio que en el primer punto, te quedan todos el mismo operador por lo que no tiene sentido mantenerlos.


(11-02-2017 22:58)DarkCrazy escribió:  En la resolución del ejercicio N°2 de la segunda parte, me parece que hay un pequeño error.
En la primer hipótesis, al pasarla de la forma Skolem a la forma normal, el operador v (or) debería seguir siendo v (or) sin embargo se lo pasa a ^ (and).
Adjunto imagen para que se vea mejor.
Spoiler: Mostrar
Entonces debe ser un error che...
14-02-2017 19:03
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] Capitán Zoquete recibio 1 Gracias por este post
DarkCrazy (15-02-2017)
Buscar en el tema
Enviar respuesta 




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