Evaluación escrita tema 3

¿Qué es la lógica de primer orden?. Un sistema que solo utiliza valores verdaderos y falsos. Un sistema lógico que permite cuantificadores y predicados con variables. Una lógica usada solo para matemáticas discretas. Un lenguaje de programación imperativo.

¿Cuál de los siguientes es un ejemplo de una fórmula de lógica de primer orden?. A ∧ B. ∀x (Humano(x) → Mortal(x)). if x > y:. x := x + 1.

En el proceso de unificación, dos expresiones son unificables si: Son del mismo tipo de dato. Pueden evaluarse como verdaderas. Existe una sustitución que las hace idénticas. Tienen el mismo número de variables.

¿Cuál de las siguientes afirmaciones describe mejor el proceso de unificación?. Buscar contradicciones en proposiciones. Encontrar la verdad lógica de un predicado. Aplicar una sustitución para que dos términos sean iguales. Ejecutar un bucle en Prolog.

¿Qué es una cláusula de Horn?. Una proposición lógica sin variables. Una fórmula de lógica proposicional con más de un literal positivo. Una disyunción de literales con a lo sumo un literal positivo. Una regla condicional sin cuerpo.

¿Cuál de los siguientes es un ejemplo de cláusula de Horn?. ¬p ∨ ¬q ∨ r. p ∨ q. ¬p ∨ q. p ∧ q → r.

¿Qué es la resolución SLD (Selective Linear Definite clause resolution)?. Un algoritmo para resolver ecuaciones diferenciales. Un método de evaluación en lenguajes funcionales. Un algoritmo de resolución para cláusulas de Horn en programación lógica. Una técnica de depuración en Prolog.

¿Cuál es el objetivo principal del método de resolución SLD?. Encontrar errores de compilación. Generar funciones matemáticas. Probar la verdad de una consulta en una base de conocimiento lógica. Crear una tabla de verdad.

En programación lógica con cláusulas de Horn, ¿qué representa una cláusula sin cuerpo (solo cabeza)?. Una función. Un hecho. Una consulta. Una contradicción.

En Prolog, ¿cuál de las siguientes afirmaciones representa una regla?. animal(perro). felino(gato). mamifero(X) :- animal(X), sangre_caliente(X). ?- mamifero(leon).