Cuestionario 5 PPR

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

En prolog las secuencias de objetivos o consultas tienen las siguientes caracteristicas: 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 objetivos se ejecutan secuencialmente de izquierda a derecha.

En prolog el operador is: Evalúa la parte de la derecha y unifica con 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 opciones son correctas.

Respecto a la lógica proposicional: 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 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: 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 proposicional. Respecto a las constantes individuales: 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: 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.

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

En el SWI-Prolog. El cd permite: Movernos al directorio de conexión del usuario. 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. 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.

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.

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.

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.

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.

En Prolog. Las listas son: 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.

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.