Cuestionario 5 PPR

En Prolog. Se denomina objetivo a: 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.

En Prolog. Las secuencias de objetivos o consultas tienen las siguientes características: 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. El operador is: 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.

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

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

En Prolog. Respecto a la unificación: 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. Dos términos unifican si se cumple que: a. Todas las opciones son incorrectas. b. Al menos un término tiene el mismo functor y la misma aridad. c. Los dos términos tienen el mismo functor y la misma aridad. d. Al menos un término tiene un functor y una aridad.

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

En Lógica Proposisional. Respecto a las constantes individuales: 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 Prolog. El principio de resolución propuesto por Robinson. 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: 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.

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

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

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

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

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

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

En Programación Lógica. Respecto al Cálculo de Relaciones. 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.

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

Las secuencias de objetivos o consultas tienen las siguientes características: 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.

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

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

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

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

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

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

En Prolog. Dos términos unifican si se cumple que: 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.

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

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

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

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

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

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

En Prolog. Indique que es falso en las siguientes afirmaciones respecto del operador is: 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.

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

En Prolog. El principio de resolución propuesto por Robinson. 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. Todas las opciones son correctas. c. 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. d. 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.

Las secuencias de objetivos o consultas tienen las siguientes características. a. Si un objetivo falla, los siguientes objetivos ya no se ejecutan. Además la conjunción, en total, falla. 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. Todas las opciones son correctas. d. Los objetivos se ejecutan secuencialmente por orden de escritura (es decir, de izquierda a derecha).

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

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