Aunque he tardado en actualizar el blog…
Hace ya algun tiempo (algo menos de 1 mes) hice el examen de Inteligencia Artificial, una asignatura optativa de mi carrera y que me sorprendió con una pregunta, que yo la considero la pregunta detectora de frikis, supongo yo por la diferencia entre haber estudiado y no tener ni pajolera idea de lo que se pregunta (la opción A con varia eses y la opcion B):
Todos los hobbits unos ladrones son (∀X) (hobbit(X)->ladron(X)) . Frodo y Gollum hobbits son hobbit(gollum)&hobbit(frodo),y Gollum un ladron es ladron(gollum). ¿Podrias decir que es cierta la última sentencia aplicando refutación por resolución?
- Desde luego que no, Gollum se encontró el tesssoro en el fondo de la charca.
- Ligando gollum/X, Gollum es ladrón.
- No se puede determinar si Gollum o Frodo son ladrones porque []son hobbits.
- No podrias llegar a la clausula vacia