PPR cuestionario 5

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

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

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

Respecto a la lógica proposicional: Seleccione una: Prolog utiliza una única regla de inferencia llamada Principio de Resolución. Esta lógica utiliza concatenación de funciones para expresar sus verdades. Prolog utiliza una única regla de inferencia llamada Principio de Resolución de Colmenauer. 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. Las reglas finalizan con punto y coma. El cuerpo siempre debe tener más de un hecho. La cabeza puede estar formada por más de un hecho.

En Prolog. Respecto a la unificación: Si algún término no unifica, ninguna variable queda ligada. Dos términos unifican si tienen el mismo functor y la misma aridad. Todas las opciones son correctas. 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: Todas las opciones son incorrectas. Al menos un término tiene el mismo functor y la misma aridad. Los dos términos tienen el mismo functor y la misma aridad. Al menos un término tiene un functor y una aridad.

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

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

En Prolog. El principio de resolución propuesto por Robinson: Seleccione una: En definitiva la resolución es una regla de inferencia que permite a la computadora decir qué proposiciones siguen lógicamente a otras proposiciones. 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. 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. Todas las opciones son correctas.

En Prolog. Indique que es falso en las siguientes afirmaciones respecto del operador is: Evalúa la parte de la derecha y unifica a la parte izquierda. Se utiliza para evaluar las expresiones aritméticas y funciones. Todas las respuestas son incorrectas. 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: Seleccione una: B <---. B, A <---. <--- A1, A2, A3,….An. A<--- B1, B2, B3, Bn.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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