Introduccion a la inteligencia artificial

2010

INSTITUTO POLITECNICO NACIONAL
Unidad Profesional Interdisciplinaria de Ingeniería y Ciencias Sociales y Administrativas

Nombre: Gerardo Coronilla Herrera.

Secuencia: 5NV1

Prof.:Juan Alvarado y Alvarado.

Ingeniería Informática.

[TAREA 1.4 CLUB ALPINO RESOLUCION]
Resolución a la pregunta ¿Quién es un miembro del club que es alpinista y no es esquiador? Para el texto delclub alpino en la clase de Introducción a la inteligencia artificial.

Utilizar resolución para dar una respuesta a la pregunta ¿Quién es un miembro del club que es alpinista y no es esquiador?Representación en forma de lógica de predicados
1) miembro_club(Toño) ʌ miembro_club(Miguel) ʌ miembro_club(Juan) 2) 3) x: miembro_club(x)  esquiador(x) v alpinista(x) x: alpinista(x)  ~le_gusta(x,Llueva) ʌ y: esquiador(y)  le_gusta(y, Neve)

4) [ x: le_gusta(Toño, x)  ~le_gusta(Miguel, x)] ʌ [ y: ~le_gusta(Toño, y)  le_gusta(Miguel, y)] 5) le_gusta(Toño, Llueva) ʌ le_gusta(Toño, Neve)¿Quién es un miembro del club que es alpinista y no es esquiador?
alpinista(Miguel) ʌ ~esquiador(Miguel)
Formas Clausules 1) miembro_club(Toño) ʌ miembro_club(Miguel) ʌ miembro_club(Juan) 1a)miembro_club(Toño) 1b) miembro_club(Miguel) 1c) miembro_club(Juan)

2)

x: miembro_club(x)  esquiador(x) v alpinista(x) x: ~[miembro_club(x)]  esquiador(x) v alpinista(x) x: ~miembro_club(x) esquiador(x) v alpinista(x)

1) 2)

6) ~miembro_club(x) v esquiador(x) v alpinista(x) 2a) ~miembro_club(x) v esquiador(x) 2b) ~miembro_club(x) v alpinista(x)

3)

x: alpinista(x)  ~le_gusta(x, Llueva) ʌy: esquiador(y)  le_gusta(y, Neve)

x: ~[alpinista(x)] v ~le_gusta(x, Llueva) ʌ y: ~esquiador(y) v le_gusta(y, Neve) 2) x: ~alpinista(x) v ~le_gusta(x, Llueva) ʌ y: ~esquiador(y) v le_gusta(y,Neve) 4) x: y: ~alpinista(x) v ~le_gusta(x, Llueva) ʌ ~esquiador(y) v le_gusta(y, Neve) 6) ~alpinista(x) v ~le_gusta(x, Llueva) ʌ ~esquiador(y) v le_gusta(y, Neve)
1)

8a) ~alpinista(x) v...