Lógica de primer orden.

Base de Conocimientos: Relaciones Familiares

Vx, y Sister(x,y) <-> x /= y ˄ Ep parent(p,x) ˄ parent(p,y) ˄ female(x)

Vx, y Brother(x,y) <-> x /= y ˄ Ep parent(p,x) ˄ parent(p,y) ˄ male(x)

Vx, y Cuñado(x,y) <-> male(x) ˄ Es sister(s,y) ˄  spouse(x,s)

Vx, y Cuñado(x,y) <-> male(x) ˄ Eb brother(b,x) ˄ spouse(y,b)

Vx, y Cuñada(x,y) <-> female(x) ˄ Ee brother(e,y) ˄ spouse(e,x)

Vx, y Cuñada(x,y) <-> female(x) ˄ Es sister(s,x) ˄ spouse(y,s)

Vx, y tio(x,y) <-> Ep parent(p,y) ˄ brother(x,p)

Vx ,y tia(x,y) <-> Ep parent(p,y) ˄ sister(x,p)

Vx, y grandmother(x,y) <-> female(x) ˄ Ep parent(g,p) ˄ parent(p,y)

Vx, y grandfather(x,y) <-> male(x) ˄ Ep parent(g,p) ˄ parent(p,y)

Vx, y Suegro(x,y) <-> male(x) ˄ Es son(s,x) ˄ spouse(s,y)

Vx, y Suegra(x,y) <-> female(x) ˄ Es son(s,x) ˄ spouse(s,y)

Vx, y Hijo(x,y) <-> male(x) ˄ parent(y,x)

Vx, y Hija(x,y) <-> female(x) ˄ parent(y,x)

Vx, y Yerno(x,y) <-> male(x) ˄ Es parent(s,y) ˄ spuouse(s,x)

Vx, y Nuera(x,y) <-> female(x) ˄ Es parent(s,y) ˄ spuouse(s,x)

Vx, y PrimoHermano(x,y) <-> male(x) ˄ Ep parent(p,x) ˄  tios(p,y)

Vx, y PrimaHermana(x,y) <-> female(x) ˄ Ep parent(p,x) ˄  tios(p,y)

Analizando el Test de Turing

Es muy extraño pensar en que una máquina puede tener alma, es, como dice Turing difícil de digerir, sin embargo, si hace miles de años se hubiera propuesto que existirían tecnologías como las de la actualidad, hubiera sido lo mismo para ellos, difícil de digerir.

La objeción teológica al igual que a Turing no nos parece muy relevante, en efecto creemos que las máquinas no pueden tener alma, pero a la vez que el hombre si, por lo tanto piensa y por lo tanto, a como van los avances puede ser capaz de desarrollar alguna tecnología capaz de imitar a un alma pensante y situarlo en un ser artificial.

En cuanto a la objeción matemática estamos de acuerdo en que se le exige demasiado a la capacidad de una máquina.
La objeción que nos parece más relevante y con más peso es el de la conciencia. Nos parece ilógico pensar que una máquina pueda ser capaz de tener conciencia de las cosas que hace, hará o hizo.

En un debate acerca de las diferencias entre los animales y los humanos, los alumnos discutíamos con el profesor acerca de mil situaciones como: el hombre puede hablar, escribir, hacer, deshacer, etc. Y el profesor nos respondía cosas como: En china hubo un animal que esto y que el otro, por decir algo. Al final la única cosa que pudo convencerlo fue que los humanos tienen conciencia, porque si, puedes entrenar a un animal a que haga ciertas cosas, pero el animal no estaría consciente de lo que en realidad está haciendo y nos parece que es la misma situación con las máquinas, puedes ponerla a hacer un millón de actividades y podría realizarlas igual o mejor que un humano, sin embargo esta máquina no estaría consciente de lo que acaba de hacer.

Así mismo nos parece importante la objeción de las incapacidades, sin embargo, no se necesita que una maquina realice estas actividades, para eso estamos los humanos, no podemos esperar crear un ser que sea tan similar al humano porque sería como querer ser como Dios. Podemos crear una máquina que nos sea sumamente útil pero estamos de acuerdo en que jamás podrá ser como un humano.