PPR5

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

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

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

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

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

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

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

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

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

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

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

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

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

en el swin - prolog el pwd permite. Visualizar el directorio actual de trabajo. Visualizar el directorio anteriormente consultado. Visualizar el directorio actual de trabajo. Movernos al directorio de conexión del usuario.

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

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

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

Respecto al Backtracking: Cada solución alternativa es registrada en una pila en orden inverso a su aparición en el objetivo. Al ejecutar un objetivo, Prolog desconoce cuántas soluciones alternativas puede tener. El Backtracking retrocede una única vez. 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. 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. El corte poda el árbol de búsqueda de posibles soluciones.

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

En Prolog. Respecto a la unificación: En Prolog. Respecto a la unificación:. 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 incorrecta. 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 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.

En Prolog. Indique qué 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.

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

El paradigma lógico se describe como: Un paradigma imperativo basado en secuencias de instrucciones. Un paradigma declarativo basado en reglas lógicas evaluadas por un motor de inferencia. Un paradigma orientado a objetos basado en clases. Un paradigma funcional basado en composición de funciones.

a ecuación que resume el paradigma lógico es: . Datos + Algoritmos = programa. Objetos + Mensajes = programa. Lógica + Control = programa. Funciones + Recursión = programa.

Una de las aplicaciones del paradigma lógico es: Inteligencia artificial, sistemas expertos y robótica. Procesamiento de lenguaje natural. Demostración automática de teoremas. Todas las opciones son correctas.

Un sistema experto funciona mediante: Una base de conocimientos con hechos y reglas, y un motor de inferencia. Únicamente una base de datos relacional. Un conjunto de bucles y variables de estado. Un compilador sin base de conocimiento.

La lógica proposicional se caracteriza por: Usar cuantificadores (∀, ∃) sobre individuos. Trabajar con proposiciones atómicas verdaderas o falsas, sin estructura interna. Representar relaciones entre objetos mediante predicados. Permitir razonar sobre propiedades de individuos del dominio.

La lógica de predicados (o de primer orden) se diferencia de la proposicional porque: Es menos expresiva. No usa conectores lógicos. Usa predicados sobre individuos e introduce cuantificadores. Solo trabaja con proposiciones que no se pueden descomponer.

En lógica de primer orden, una constante individual es: Un símbolo que denota una propiedad o relación. Un símbolo (nombre) que se usa para referir a un objeto individual fijo. Un enunciado formado por varios predicados. Una cláusula con antecedente y conclusión.

Un enunciado atómico es: Un predicado seguido por el número correcto de constantes individuales. La combinación de dos enunciados mediante un conectivo lógico. Una regla con conclusión y antecedentes. Un cuantificador aplicado a una variable.

En la expresión “docente(Ana) si alumno(Juan) y enseña(Ana, Juan)”, los antecedentes son: docente(Ana). alumno(Juan) y enseña(Ana, Juan). Solamente enseña(Ana, Juan). No hay antecedentes, es un hecho.

Las cláusulas de Horn en Prolog están compuestas por: Solo una conclusión. Solo una conclusión. Un consecuente y un antecedente. Un bucle y una condición de corte.

Una cláusula de la forma B <- (sin condiciones) es: Una afirmación o hecho. Una implicación o regla. Un objetivo o goal. Una negación de la base de conocimiento.

Una cláusula de la forma <- A1, A2, ..., An es: a. Un hecho. Una regla. Una cláusula objetivo (goal), que se niega para aplicar el principio de resolución. Un hecho. el principio de resolución.

Los elementos de un programa Prolog son. Base de conocimiento, motor de inferencia e intérprete de expresiones. Compilador, depurador y editor. Clases, métodos y atributos. Funciones, listas y arreglos.

. En un programa Prolog, ¿cómo se ejecuta?. Llamando a un procedimiento principal (main). Realizando una pregunta llamada consulta. Compilando todas las clases del programa. Declarando variables globales.

Si Prolog responde que un objetivo es falso, significa que: Se demostró que es falso en el mundo real. No ha podido demostrarlo con la base de conocimiento disponible. Hay un error de sintaxis. La base de conocimiento está vacía.

Las variables lógicas en Prolog deben comenzar con: Minúscula. Un número. Mayúscula (o guión bajo). Un símbolo $.

La variable anónima en Prolog se representa con: *. _ (guión bajo). #. ?.

El operador = en Prolog: Evalúa expresiones aritméticas. Compara si dos expresiones son idénticas sin unificar. . Es verdadero si ambos términos unifican, realizando la unificación. .Asigna el valor de la derecha a la izquierda.

El resultado de ?- 2 == 1+1. es. true, porque 1+1 vale 2. false, porque == compara términos sin evaluar expresiones. Error de sintaxis. X = 2.

La consulta ?- X is 3 + 3. da como resultado: X = 3 + 3. X = 6. false. Error: X no está instanciada.

. La consulta ?- 5 is X + 4. produce: X = 1. true. Error, porque X no está instanciada al momento de evaluar la suma. false.

Una llamada concreta a un predicado con argumentos concretos se denomina: Hecho. Regla. Objetivo (goal). Functor.

En una conjunción de objetivos, si uno falla: Los siguientes objetivos no se ejecutan y la conjunción falla. Se continúa con el siguiente objetivo. La conjunción tiene éxito. Se reinicia el programa.

La implementación de la regla de inferencia (resolución) en Prolog se basa en: Unificación y backtracking. Herencia y polimorfismo. Iteración y asignación. Compilación y enlazado.

Según las normas de unificación. Una variable siempre unifica con un término. Una variable siempre unifica con un término. . Si algún término no unifica, ninguna variable queda ligada. Todas las opciones son correctas.

El backtracking consiste en. Realizar una búsqueda en profundidad y retroceso, tratando de unificar la cláusula objetivo con las de la base de hechos. na búsqueda en anchura sin retroceso. Ordenar los hechos alfabéticamente. Eliminar los hechos que fallan de la base de conocimiento.