PPR Cuestionario 5

En LÓGICA DE PRIMER ORDEN: Seleccione una: a. Un objeto puede tener solo un nombre. b. Un nombre puede referirse a más de un objeto. c. Un nombre puede referirse a uno o más objetos. d. Un nombre se refiere a un solo objeto.

En el LÓGICA DE PRIMER ORDEN, los enunciados atómicos se forman: Seleccione una: a. Colocando un predicado siempre de aridad=1 con n nombres. b. Ninguna de las alternativas es correcta. c. Colocando un predicado de aridad siempre >1 con n nombres. d. Colocando un predicado de aridad n con n nombres.

La forma de representar la afirmación incondicional mediante las cláusulas de Horn es: Seleccione una: a. <--- A1, A2, A3,...., An. b. B, A <---. c. B<--- A1, A2, A3, ....., An. d. B <---.

La forma de representar la negación mediante las cláusulas de Horn es: Seleccione una: a. A<--- B1, B2, B3, Bn. b. B <---. c. B, A <---. d. <--- A1, A2, A3,....An.

La forma de representar la afirmación condicional mediante las cláusulas de Horn es: Seleccione una: a. B, A <---. b. B <---. c. A<--- B1, B2, B3, Bn. d. <--- A1, A2, A3,....An.

Una de las actividades del motor de inferencia es: Seleccione una: a. Representar los conocimientos, hechos y reglas. b. Comprobar teoremas. c. Representar los conocimientos, es decir los hechos. d. Ninguna de las alternativas es correcta.

En Programación Lógica. Alguna de las características de los hechos son: Seleccione una: a. Primero se escriben las relaciones y luego los objetos. b. Al final del hecho debe ir un punto y coma. c. Los nombres de los objetos deben comenzar con mayúscula. d. Primero se escriben los objetos y luego las relaciones.

En Programación lógica. Una característica de las reglas es: Seleccione una: a. La cabeza puede estar formada por más de un hecho. b. El cuerpo siempre debe tener más de un hecho. c. La cabeza debe estar formada por un único hecho. d. Las reglas finalizan con punto y coma.

El "corte" hace que un programa en Prolog que el Backtracking sea: Seleccione una: a. Determinista. b. No determinista. c. Ninguna de las alternativas es correcta. d. Pre determinista.

En el SWI-Prolog. Un shell o top-nivel permite: Seleccione una: a. Ejecuta el código de bytes. b. Transformar el código fuente en código de byte. c. Probar y depurar los programas. d. Ninguna de las alternativas es correcta.

En el SWI-Prolog. El pwd permite: Seleccione una: a. Visualizar el directorio actual de trabajo. b. Movernos al directorio de conexión del usuario. c. Movernos al pròximo directorio. d. Visualizar el directorio anteriormente consultado.

En el SWI-Prolog. El cd permite: Seleccione una: a. Ver el contenido de un directorio. b. Visualizar el directorio anteriormente consultado. c. Visualizar el directorio actual de trabajo. d. Movernos al directorio de conexión del usuario.

En Programación Lógica. Respecto a los símbolos de predicado: Seleccione una: a. Un predicado constituido por un único nombre se llama enunciado atómico. b. En LÓGICA DE PRIMER ORDEN, cada predicado tiene un número variable de argumentos. c. Cuando el número de argumentos es variable conviene reemplazar predicados por functores. d. Los sujetos lógicos son llamados los argumentos del predicado.

Respecto a la programación Lógica: Seleccione una: a. La lógica de primer orden es la precursora de la lógica proposicional. b. La prueba automática de teoremas permite la formulación de reglas de inferencia. c. La lógica proposicional es la precursora de la lógica de primer orden. d. La programación lógica tiene sus orígenes en los trabajos de prueba automática de teoremas.

Respecto a la lógica proposicional: Seleccione una: a. Prolog utiliza una única regla de inferencia llamada Principio de Resolución de Colmenauer. b. Esta lógica utiliza concatenación de funciones para expresar sus verdades. c. La lógica de primer orden es el único formalismo capaz de representar conocimiento en IA. d. Prolog utiliza una única regla de inferencia llamada Principio de Resolución.

En Lógica Proposisional. Respecto a las constantes individuales: Seleccione una: a. El polimorfismo permite que un nombre referencie a más de un objeto. b. Un objeto debe tener un único nombre. c. Son simplemente símbolos (nombres) que se usan para referir a algún objeto individual fijo. d. El polimorfismo permite la inferencia genérica en reglas.

En Programación Lógica. Respecto al Cálculo de Relaciones Seleccione una: a. En Prolog se utiliza el principio de resolución de Church para calcular relaciones. b. Las reglas que definen relaciones constan de tres partes: consecuente, inferencia y antecedente. c. El consecuente es la condición que determinará en qué casos el antecedente es verdadero o falso. d. Las relaciones tratan de forma uniforme a los argumentos y a los resultados.

Respecto al Principio de Resolución o Regla de Inferencia Seleccione una: a. Prolog trabaja inicialmente con cláusulas de Horn y finalmente implementa el Corte. b. Las cláusulas de Horn se evalúan siempre de forma perezosa, una única vez. c. Ninguna de las opciones es correcta. d. Prolog utiliza el principio de resolución y trabaja con cláusulas de Horn.

Respecto al Backtracking: Seleccione una: a. Cada solución alternativa es registrada en una pila en orden inverso a su aparición en el objetivo. b. Al ejecutar un objetivo, Prolog desconoce cuántas soluciones alternativas puede tener. c. El Backtracking retrocede una única vez. d. Consiste en generar un árbol de búsqueda de todas las posibles soluciones que pueda tener un objetivo.

Respecto al corte en el backtracking de Prolog, indique que es falso Seleccione una: a. Un buen programador no utiliza corte, pues introduce indeterminismo en un lenguaje declarativo. b. El corte sirve para evitar que se exploren puntos de elección que no llevan a una solución. c. El corte tiene la propiedad de eliminar los puntos de elección del predicado que lo contiene. d. El corte poda el árbol de búsqueda de posibles soluciones.

En Prolog. El operador is: Seleccione una: a. Evalúa la parte de la derecha y unifica a la parte izquierda. b. Si no se usa el is, las expresiones se mantienen en su forma original. c. Se utiliza para evaluar las expresiones aritméticas y funciones. d. Todas las respuestas anteriores son correctas.

En Prolog. El principio de resolución propuesto por Robinson: Seleccione una: a. En definitiva la resolución es una regla de inferencia que permite a la computadora decir qué proposiciones siguen lógicamente a otras proposiciones. b. Propone una regla de inferencia a la que llama resolución, mediante la cual la demostración de un teorema puede ser llevada a cabo de manera automática. c. Es un algoritmo que, a partir de la negación de la pregunta y los hechos y reglas del programa, intenta llegar al absurdo para demostrar que la pregunta es cierta. d. Todas las opciones son correctas.

En Prolog. Indique que es falso en las siguientes afirmaciones respecto del operador is: Seleccione una: a. Evalúa la parte de la derecha y unifica a la parte izquierda. b. Se utiliza para evaluar las expresiones aritméticas y funciones. c. Todas las respuestas son incorrectas. d. Si no se usa el is, las expresiones se mantienen en su forma original.

En Prolog. Dos términos unifican si se cumple que: Seleccione una: a. Al menos un término tiene el mismo functor y la misma aridad. b. Al menos un término tiene un functor y una aridad. c. Los dos términos tienen el mismo functor y la misma aridad. d. Todas las opciones son incorrectas.

En Prolog. Las listas son: Seleccione una: a. Estructuras de datos formadas por una cabeza y una cola. b. Estructuras de datos que almacenan y manipulan un conjunto de términos. c. Pares ordenados donde cada componente es un término, una lista o el término NIL. d. Todas las opciones son correctas.

En Prolog. Las secuencias de objetivos o consultas tienen las siguientes características: Seleccione una: a. Los objetivos no se ejecutan secuencialmente de izquierda a derecha. b. Todas las opciones son incorrectas. c. Los objetivos se ejecutan secuencialmente de derecha a izquierda. d. Los objetivos se ejecutan secuencialmente de izquierda a derecha.

En Prolog. Los objetos compuestos están formados por: Seleccione una: a. Todas las opciones son incorrectas. b. Dos o más functores y un conjunto de argumentos. c. Un functor y un argumento. d. Un functor y un conjunto de argumentos.

En Prolog. Respecto a la unificación: Seleccione una: a. Si algún término no unifica, ninguna variable queda ligada. b. Dos términos unifican si tienen el mismo functor y la misma aridad. c. Todas las opciones son correctas. d. Una variable siempre unifica con un término, quedando ésta ligada a dicho término.

En Prolog. Se denomina objetivo a: Seleccione una: a. Todas las opciones son correctas. b. Una llamada concreta a un predicado, con unos argumentos concretos. c. El procedimiento de Backtracking con corte y fallo. d. La base de conocimiento.

Las secuencias de objetivos o consultas tienen las siguientes características: Seleccione una: a. Todas las opciones son correctas. b. Si un objetivo tiene éxito, algunas o todas sus variables quedan ligadas, y por tanto, dejan de ser variables libres para el resto de objetivos en la secuencia. c. Los objetivos se ejecutan secuencialmente por orden de escritura (es decir, de izquierda a derecha). d. Si un objetivo falla, los siguientes objetivos ya no se ejecutan. Además la conjunción, en total, falla.