SSII UAL TEMA 4 Razonamiento Basado en Conocimiento

¿Qué es la lógica proposicional?. Un sistema para representar el conocimiento que utiliza proposiciones. Un lenguaje de programación. Un método para resolver problemas matemáticos. Un tipo de lógica de primer orden. Una forma de razonamiento basada en la probabilidad.

¿Qué es una proposición en lógica proposicional?. Una variable. Una sentencia que puede ser verdadera o falsa. Un operador lógico. Una tabla de verdad. Un conjunto de símbolos.

¿Cuáles son algunos de los operadores lógicos utilizados en la lógica proposicional?. Si, entonces, y, o, no. Suma, resta, multiplicación, división. Mayor que, menor que, igual que. Función, variable, constante. Lógica, probabilidad, incertidumbre.

¿Qué representa la sintaxis en la lógica proposicional?. Las reglas para formar sentencias de estructura válida. La interpretación de las sentencias. El valor de verdad de una proposición. El proceso de razonamiento. Las palabras clave.

¿Qué representa la semántica en la lógica proposicional?. Las reglas para formar sentencias de estructura válida. La interpretación de las sentencias. Las variables proposicionales. Los operadores lógicos. La deducción lógica.

¿Qué es una tabla de verdad?. Un conjunto de símbolos. Una herramienta para determinar la validez de una fórmula. Un operador lógico. Una variable proposicional. Una fórmula lógica.

¿Qué es una fórmula satisfacible?. Una fórmula que es verdadera en al menos una interpretación. Una fórmula que es verdadera en todas las interpretaciones. Una fórmula que es falsa en todas las interpretaciones. Una fórmula que es una tautología. Una fórmula que es una contradicción.

¿Qué es una tautología?. Una fórmula que es verdadera en al menos una interpretación. Una fórmula que es verdadera en todas las interpretaciones. Una fórmula que es falsa en todas las interpretaciones. Una fórmula que es satisfacible. Una fórmula que es una contradicción.

¿Qué es una contradicción?. Una fórmula que es verdadera en al menos una interpretación. Una fórmula que es verdadera en todas las interpretaciones. Una fórmula que es falsa en todas las interpretaciones. Una fórmula que es satisfacible. Una fórmula que es una tautología.

¿Qué es la implicación?. Una conexión lógica entre dos proposiciones. Una fórmula lógica. Un operador lógico. Una tabla de verdad. Una variable proposicional.

¿Qué es la equivalencia?. Una conexión lógica que establece que dos proposiciones tienen el mismo valor de verdad. Un operador lógico. Una tabla de verdad. Una variable proposicional. Una fórmula lógica.

¿Qué es el razonamiento basado en conocimiento?. Un proceso para obtener conclusiones a partir de conocimiento. Una herramienta para crear nuevas sentencias. Un lenguaje de programación. Un conjunto de proposiciones. Una tabla de verdad.

¿Qué es la inferencia en lógica proposicional?. Un proceso para demostrar una fórmula a partir de una base de conocimiento. El uso de tablas de verdad. La asignación de valores de verdad. La creación de nuevas proposiciones. El uso de operadores lógicos.

¿Qué es una base de conocimiento?. Un conjunto de proposiciones que representan el conocimiento. Un operador lógico. Una tabla de verdad. Una variable proposicional. Una fórmula lógica.

¿Qué significa que una fórmula F se deduce lógicamente de una base de conocimiento BC?. Si todo modelo de BC es también un modelo para F. Si F es una tautología. Si F es una contradicción. Si F es una fórmula atómica. Si F es una variable.

¿Qué es la derivación sintáctica?. Un procedimiento de inferencia que permite obtener una fórmula F a partir de una fórmula BC. La asignación de valores de verdad. El uso de tablas de verdad. La creación de nuevas proposiciones. El uso de operadores lógicos.

¿Qué significa que un proceso de inferencia es consistente?. Si toda fórmula derivada es deducida lógicamente. Si toda fórmula deducida es derivable. Si se pueden obtener todas las conclusiones. Si todas las fórmulas son verdaderas. Si todas las fórmulas son falsas.

¿Qué significa que un proceso de inferencia es completo?. Si toda fórmula deducida lógicamente es derivable. Si toda fórmula derivada es deducida lógicamente. Si se obtienen conclusiones falsas. Si todas las fórmulas son verdaderas. Si todas las fórmulas son falsas.

¿Cuál es la forma normal conjuntiva (CNF)?. Una conjunción de cláusulas, donde cada cláusula es una disyunción de literales. Una disyunción de cláusulas. Una conjunción de literales. Una fórmula que no contiene operadores lógicos. Una fórmula que es una tautología.

¿Qué es una cláusula en CNF?. Una disyunción de literales. Una conjunción de literales. Una fórmula que contiene operadores lógicos. Una fórmula atómica. Una variable proposicional.

¿Qué es un literal en CNF?. Una variable proposicional o su negación. Un operador lógico. Una cláusula. Una fórmula atómica. Una tabla de verdad.

¿Cuál es la regla de Modus Ponens?. Si A y A ⇒ B, entonces B. Si A ∨ B y ¬B, entonces A. Si A ∧ B, entonces A. Si A ⇒ B, entonces B ⇒ A. Si A, entonces A ∨ B.

¿Qué es la regla de resolución?. Un método para demostrar la validez de una fórmula mediante la negación. Una regla de inferencia para fórmulas en CNF. Una forma de transformar una fórmula en CNF. Un método para asignar valores de verdad. Una tabla de verdad.

¿En qué consiste la skolemización?. Reemplazar variables cuantificadas existencialmente por funciones de Skolem. Transformar una fórmula en forma normal prenex. Eliminar los cuantificadores universales. Aplicar la regla de resolución. Crear una tabla de verdad.

¿Qué es la lógica de predicados?. Una extensión de la lógica proposicional que incluye objetos y propiedades. Un lenguaje de programación. Un método para resolver problemas matemáticos. Un tipo de lógica difusa. Una forma de razonamiento probabilístico.

¿Qué son los términos en lógica de predicados?. Variables, constantes y funciones. Proposiciones. Operadores lógicos. Tablas de verdad. Fórmulas atómicas.

¿Qué es una fórmula atómica en lógica de predicados?. Una sentencia que expresa una relación entre términos. Un operador lógico. Una tabla de verdad. Una variable proposicional. Una fórmula que es una tautología.

¿Qué son los cuantificadores?. Símbolos que expresan el alcance de una variable. Operadores lógicos. Tablas de verdad. Variables proposicionales. Fórmulas atómicas.

¿Cuál es la diferencia entre ∀x y ∃x?. ∀x significa "para todo x" y ∃x significa "existe al menos un x". ∀x es una negación y ∃x es una afirmación. ∀x se usa en lógica proposicional y ∃x en lógica de predicados. No hay diferencia, son equivalentes. ∀x representa una variable y ∃x una constante.