Técnicas de los Sistemas Inteligentes. Examen 1

Autor: Jesús Muñoz Velasco.

• Asignatura: Técnicas de los Sistemas Inteligentes
• Curso Académico: 2020-21.
• Grado: Grado en Informática
• Profesor: Antonio González Muñoz.
• Descripción: Convocatoria Ordinaria. El examen consta de más ejercicios, pero esta es la parte de preguntas TipoTest.

Las preguntas se encuentran en esta web.

Las explicaciones de cada pregunta se pueden encontrar en el archivo Markdown correspondiente, que se encuentra pinchando aquí.

1. Si comparamos el algoritmo Descenso Iterativo \(A^\ast\) con la Búsqueda Primero el Mejor Recursiva:

   • no se pueden comparar en términos de memoria
   • el segundo requiere almacenar menos nodos en memoria, pero podría necesitar regenerar más nodos
   • el primero requiere almacenar menos nodos en memoria, pero podría necesitar regenerar más nodos

2. ¿Cuál de las siguientes afirmaciones es cierta?

   • El algoritmo \(A^\ast\) no es un caso particular del algoritmo de búsqueda sobre agendas
   • El algoritmo \(A^\ast\) es un caso particular del algoritmo de búsqueda sobre agendas cuando no se considera el enlace al mejor padre
   • El algoritmo \(A^\ast\) es un caso particular del algoritmo de búsqueda sobre agendas cuando la combinación de las justificaciones se toma como el operador máximo sobre el coste del camino que llega al nodo
   • El algoritmo \(A^\ast\) es un caso particular del algoritmo de búsqueda sobre agendas cuando la combinación de las justificaciones se toma como el operador mínimo sobre el coste del camino que llega al nodo

3. Selecciona la etapa que sea válida del algoritmo Y/O*:

   • cuando se encuentra un nuevo camino a un nodo se actualiza la g del nodo si es necesario
   • traza el mejor camino actual desde el inicio
   • usa la lista de CERRADOS para almacenar los nodos explorados
   • selecciona el mejor nodo

4. ¿Cuál es el argumento principal usado en la demostración de que toda heurística obtenida por modelos simplificados es consistente?

   • que toda función consistente es admisible
   • que toda función consistente es monótona
   • que las funciones \(h^\ast\) son siempre admisibles
   • que las funciones \(h^\ast\) son siempre consistentes

5. El problema del marco está relacionado con:

   • simplificar la complejidad del proceso de búsqueda en planificación
   • determinar qué efectos debieran describirse en una acción en función del contexto
   • tratar con las precondiciones no explícitamente descritas en la acción cuando ésta falla
   • deducir de forma eficiente aquello que no cambia cuando se aplica una acción

6. ¿Cómo gestiona el algoritmo Y/O* los nodos irresolubles?

   • mediante un mecanismo de propagación de nodos irresolubles
   • mediante el uso de un valor constante mayor que cualquier valor de coste posible de una solución
   • no contempla nodos irresolubles ya que estos no aparecen en problemas descomponibles

7. La búsqueda por franjas:

   • está basada en el algoritmo de descenso iterativo \(A^\ast\) pero hace uso de una tabla de estados repetidos y una lista de nodos explorados en la iteración anterior para tenerlos en cuenta en la siguiente iteración
   • está basada en el algoritmo de descenso iterativo \(A^\ast\) pero hace uso de una tabla de estados repetidos y una lista de nodos con los que continuar la exploración en la siguiente iteración
   • está basada en el algoritmo \(A^\ast\) pero hace uso de una tabla de estados repetidos y una lista de nodos con los que continuar la exploración en la siguiente iteración

8. El modelo de representación de planes mediante tablas triangulares pretende:

   • mejorar la eficiencia en el proceso de obtención de planes
   • controlar inteligentemente la ejecución de un plan concreto
   • disponer de un modelo homogéneo para representar los planes obtenidos por diferentes planificadores

9. Cuando tenemos dos heurísticas para un mismo problema y definimos una nueva como el valor máximo de las dos en cada nodo:

   • la nueva heurística es peor que las otras dos, en cualquier caso
   • la nueva heurística es mejor que las otras dos bajo ciertas circunstancias
   • la nueva heurística es mejor que las otras dos, en cualquier caso

10. El algoritmo Theta* básico es una variación del algoritmo \(A^\ast\) que:

    • utiliza una estrategia retroactiva para almacenar menos nodos
    • cuando expande un nodo n considera más de un camino para determinar el mejor padre de n
    • utiliza un mecanismo de propagación de la heurística de los nodos hijos a los nodos padres

11. La Búsqueda Primero el Mejor Recursiva (BPMR) requiere de un mecanismo de propagación basado en el:

    • promedio
    • máximo
    • mínimo

12. Si \(h\) es admisible y decidimos usar como función heurística para un problema \(f(n) = g(n) + w\cdot h(n)\) en un algoritmo \(A^\ast\), entonces se obtiene la solución óptima para los siguientes valores del parámetro w:

    • w mayor que 1
    • w menor o igual que 1
    • w perteneciente al intervalo cerrado [0,1]
    • para cualquier valor del parámetro w

13. En el modelo de regla tipo STRIPS la lista de supresión es:

    • una lista de predicados con variables cuantificadas universalmente que se usa para construir el estado en el que se ha aplicado la regla
    • una lista de predicados con variables cuantificadas existencialmente que se usa para construir el estado en el que se ha aplicado la regla
    • una fórmula bien formada de la lógica para determinar cuando se puede aplicar una regla
    • una lista de predicados con variables libres que se usa para construir el estado en el que se ha aplicado la regla

14. En el modelo de regla tipo STRIPS la fórmula de precondición es:

    • una fórmula bien formada de la lógica en la que los predicados contienen tan solo variables cuantificadas existencialmente y que se usa para construir el estado en el que se ha aplicado la regla
    • una fórmula bien formada de la lógica en la que los predicados contienen tan solo variables libres y que se usa para construir el estado en el que se ha aplicado la regla
    • una fórmula bien formada de la lógica en la que los predicados contienen tan solo variables cuantificadas universalmente y que se usa para construir el estado en el que se ha aplicado la regla
    • una fórmula bien formada de la lógica en la que los predicados contienen tan solo variables cuantificadas existencialmente y que se usa para determinar cuando se puede aplicar una regla

15. ¿Cómo se trató el problema del marco en el sistema de Green (Cálculo de Situaciones)?

    • incluyendo un nuevo modelo de acción
    • definiendo un nuevo proceso de razonamiento
    • incluyendo axiomas del marco para los diferentes predicados

16. ¿En qué consiste la operación descomponer del planificador STRIPS?

    • Cuando se detecta que el objetivo de la parte superior de la pila es un objetivo compuesto, que no es cierto en el estado actual, añade los literales de ese objetivo en la parte superior de la pila, eliminando el objetivo compuesto
    • Cuando se detecta que el objetivo de la parte superior de la pila es un objetivo compuesto, añade los literales de ese objetivo en la parte superior de la pila, eliminando el objetivo compuesto.
    • Cuando se detecta que el objetivo de la parte superior de la pila es un objetivo compuesto, que no es cierto en el estado actual, añade los literales de ese objetivo en la parte superior de la pila, manteniendo el objetivo compuesto
    • Cuando se detecta que el objetivo de la parte superior de la pila es un objetivo compuesto, añade los literales de ese objetivo en la parte superior de la pila, manteniendo el objetivo compuesto

17. La heurística de los mínimos conflictos se aplica en:

    • en problemas de satisfacción de restricciones para seleccionar variables usando la formulación incremental
    • en problemas de satisfacción de restricciones para seleccionar variables usando la formulación completa en estados
    • en problemas de satisfacción de restricciones para seleccionar valores usando la formulación completa en estados
    • en problemas de satisfacción de restricciones para seleccionar valores usando la formulación incremental

18. La comprobación hacia adelante permite:

    • modificar los dominios de las variables para mantener tan solo los valores legales para las variables no asignadas
    • seleccionar el valor más apropiado para el proceso de búsqueda de la variable elegida
    • eliminar las variables irrelevantes para el problema entre las variables no asignadas
    • seleccionar la variable más apropiada para el proceso de búsqueda entre las variables no asignadas

19. En problemas de satisfacción de restricciones una asignación se dice completa si:

    • si es monótona
    • no viola ninguna restricción
    • no se usa ese nombre en problemas de satisfacción de restricciones
    • aparecen todas las variables

20. Cuando un algoritmo \(A^\ast\) usa una heurística es monótona entonces:

    • el algoritmo es admisible
    • el algoritmo es monótono
    • el algoritmo no tiene por qué alcanzar la solución óptima

21. En el estudio de las propiedades formales del algoritmo \(A^\ast\), ¿qué representa la función \(g^\ast\) de un cierto nodo n?

    • el coste del camino mínimo entre el nodo n y un nodo objetivo al que se llega mediante un camino óptimo
    • el coste del camino mínimo entre el nodo n y un nodo objetivo
    • el coste del camino mínimo entre el nodo s y el nodo n

22. El planificador STRIPS utilizó un algoritmo de resolución de problemas que no estaba basado directamente en progresión y esto fue debido a que:

    • los modelos de progresión no estaban aún formalizados
    • los autores vieron que la progresión no era eficiente
    • los autores no descubrieron una forma para definir una heurística eficiente e independiente del dominio
    • razonar hacia adelante siempre es más ineficiente que razonar hacia atrás

23. La planificación de orden parcial está basada en:

    • usar razonamiento hacia adelante y búsqueda en un espacio de estados
    • usar razonamiento hacia atrás y búsqueda en un espacio de estados
    • usar descomposición y una búsqueda en un espacio de planes

24. Se dice que X es arco consistente con Y si existe una restricción entre X e Y y:

    • para todo valor \(y_i\) de Y hay algún valor \(x_i\) de X permitido
    • para algún valor \(x_i\) de X todos los valores \(y_i\) de Y están permitidos
    • para algún valor \(y_i\) de Y todos los valores \(x_i\) de X están permitidos
    • para todo valor \(x_i\) de X hay algún valor \(y_i\) de Y permitido

25. ¿Cuál es el supuesto básico que permite al algoritmo \(A^\ast\) ignorar caminos con ciclos?

    • el suponer que el coste es estrictamente positivo por arco
    • el tomar la función heurística para que verifique la propiedad de ser admisible
    • el suponer que el grafo es localmente finito

26. En el modelo de regla tipo STRIPS la lista de adición es:

    • una lista de predicados con variables cuantificadas universalmente que se usa para construir el estado en el que se ha aplicado la regla
    • una lista de predicados con variables cuantificadas existencialmente que se usa para construir el estado en el que se ha aplicado la regla
    • una fórmula bien formada de la lógica para determinar cuando se puede aplicar una regla
    • una lista de predicados con variables libres que se usa para construir el estado en el que se ha aplicado la regla

27. Se produce una amenaza a un vínculo causal cuando:

    • hay una acción que elimina el literal protegido por el vínculo causal y dicha acción está ordenada antes de la primera acción del vínculo
    • hay una acción que añade el literal protegido por el vínculo causal y dicha acción podría ordenarse entre las dos acciones del vínculo
    • hay una acción que elimina el literal protegido por el vínculo causal y dicha acción está ordenada después de la última acción del vínculo
    • hay una acción que elimina el literal protegido por el vínculo causal y dicha acción podría ordenarse entre las dos acciones del vínculo

28. La hipótesis del mundo cerrado:

    • permite manejar un tipo de incertidumbre muy limitada
    • permite manejar la incertidumbre usando disyunciones entre los literales
    • no permite manejar ningún tipo de incertidumbre
    • permite manejar la incertidumbre usando probabilidades

29. El problema de la cualificación en planificación está relacionado con:

    • los efectos de las acciones
    • las precondiciones de las acciones
    • la eficiencia en el razonamiento sobre las acciones

30. La diferencia entre usar el algoritmo \(A^\ast\) sobre grafos de visibilidad frente a cuadrículas en problemas de planificación de caminos es que:

    • para los grafos de visibilidad \(A^\ast\) requiere menos complejidad y podría obtener una mejor solución
    • para los grafos de visibilidad \(A^\ast\) requiere más complejidad, aunque podría obtener una mejor solución
    • para los grafos de visibilidad \(A^\ast\) requiere más complejidad, aunque podría obtener una peor solución
    • para los grafos de visibilidad \(A^\ast\) requiere menos complejidad y podría obtener una peor solución