37694233 separata ia

En el ejemplo, se puede especificar que las aserciones serán examinadas en el orden en que aparecen y que la búsqueda se realizará primero en profundidad, lo cual quiere decir que si se establece un nuevo subobjetivo, se convertirá en el objetivo prioritario inmediato, mientras que otros caminos serán examinados si el nuevo objetivo falla. Al hacer esto, las aserciones que se dieron en el ejemplo darán como respuesta: y = Cleopatra Si queremos determinar las diferencia entre las representaciones declarativas y procedimentales, considérense las siguientes aserciones: hombre(MarcoAntonio) hombre(César) ∀x: hombre(x) → persona(x) persona(x) Si observamos desde un punto de vista declarativo, forman la misma base de conocimientos que sé tenia en el ejemplo anterior.

El sistema da las mismas respuestas y ninguna se selecciona explícitamente. Pero si consideramos procedimentalmente, y utilizando el modelo de control que se utilizo para obtener Cleopatra como respuesta, podremos observar que está es una BC. diferente, ya que ahora la respuesta que se obtiene a la pregunta es: MarcoAntonio. Esto ocurre porque la primera afirmación que se alcanza con el objetivo persona, es la regla inferencia: ∀x: hombre(x) → persona(x) Esta regla establece un subobjetivo que consiste en encontrar un hombre. De nuevo, las afirmaciones son examinadas desde el principio, pero ahora MarcoAntonio, satisface el subobjetivo, y por tanto también el objetivo principal. Así que Marco Antonio será la respuesta emitida.