1.- Considere el siguiente conocimiento:

Los deportistas tienen buena salud
Nadie que no viva muchos años es deportista
Ninguna persona que no viva muchos años ha recibido buena alimentación
No existe nadie que al mismo tiempo no sea deportista y no se alimente bien
Algunas personas tienen buena salud.

Se pide representar el conocimiento anterior mediante la lógica de predicados de primer orden, dando previamente una definición

deportistax=x es depostista buenax,y=x con buena y personax=x es persona vivex, muchos, años=x vive muchos años

∀x, deportistax∧buenax, salud
∃x, personax∧¬vivex,muchos, años→¬depostistax
∀x,personax∧¬vivex,muchos, años→¬buenax,alimentación
∃x,¬deportistax∧¬buena(x,alimentación)
∀x, …ver más…

3.- a) Desarrollar el árbol de búsqueda que genera el algoritmo A*. Indique el orden en que se expanden los nodos. ¿Cuál de los nodos meta se encuentra primero?

1.- Se expande el estado A a los estados B y C

2.- Se expande el estado C, que tiene un menor valor de la función de evaluación f, que el valor del nodo B

3.- Se expande el estado B, que tiene el menor valor de la función de evaluación f que el valor del estado D, y se llega al estado meta F

El estado F corresponde el estado meta, cuyo costo es 11. El costo del estado meta E es de 10, y por lo tanto en este caso A* no es óptimo

b) ¿La función heurística es consistente y/u optimista? Argumente su respuesta.

La función heurística h no es consistente, porque no subestima el costo real del operador que lleva del estado D al estado E:

h(D) – h(E) = 5 – 0 = 5 > c(D,E) = 3

Además no es optimista (o admisible) porque no subestima el costo real para llegar desde el estado D al estado meta E:

h(D) = 5 > h*(D) = 3

c) Asigne los valores del costo real de los operadores y de la función heurística h, de modo que ésta resulte ser optimista (admisible) y no consistente.

Una posible solución sería asignar como costos reales los mismos costos que en la red dada

y como función heurística h , la siguiente

Con estos valores se cumple que la función heurística h es optimista (admisible), ya que

h(n) h*(n) n
Pero no es consistente, ya