Lógica de primer orden

¿Cuál es el elemento básico de la lógica preposicional?. Preposiciones, que solo pueden ser V o F. Preposiciones, que puden ser V, F, absurdo, improbable... Enunciados.

¿Cuál es el elemento básico de la lógica de primer orden?. Términos y predicados. Términos. Preposiciones y predicados.

Los enunciados... Pueden expresarse con palabras y ser V, F, absurdos, improbables... No son expresables por palabras y solo pueden ser V o F. Ninguna de las anteriores.

Las proposiciones... Son enunciados a los que solamente se les puede dar valor de V o F. No tienen nada que ver con los enunciados. Son enunciados no expresables por palabras.

¿Cuántos tipos de proposiciones hay?. Uno. Dos, y estos son: simples (representados con letras) y compuestas (se obtienen de las simples mediante conectivas). Tres, y estos son: simples (representados con letras), compuestas (se obtienen de las simples mediante conectivas) y enunciativas (se derivan de enunciados).

Se conoce como tautología a... una preposición compuesta en la que los valores de V son todos verderos. una preposición simple en la que los valores de V son todos V. Una preposición simple en la que los valores de V pueden ser V o F.

Se conoce como contradicción a aquella proposición que.. simple en la que todos los valores V son falsos. Simple en la que todos los valores V son verdaderos. Compuesta en la que los valores de verdad son todos falsos.

Se conoce como contingencia a aquella proposición... Compuesta que todos los valores de verdad son verdaderos y falsos. Compuesta, que todos los valores de verdad son falsos. Compuesta, que todos los valores de verdad son verdadero.s.

¿Qué incluye la LPO que consigue diferenciarla de la lógica preposicional?. El concepto de doble implicación. El concepto de función, que hace referencia a los elementos que constituyen las proposiciones. El concepto de término, que hace referencia a los elementos que constituyen las proposiciones.

La lógica de primer orden surge porque... la lógica preposicional se quedaba corta y no permitía hacer cierto tipo de inferencias. La lógica preposicional era más que suficiente y se buscaba simplificar las inferencias para diminuir el coste computacional. Ninguna de las anteriores.

¿Por qué está compuesto el alfabeto de la lógica de primer orden?. Por símbolos de variables, de constates, de función, de predicado, de conectivas, cuantificadores (universal, existencial), símbolos de puntuación, lenguaje de teoría de conjuntos y de teoría elemental de números. Ninguna de las anteriores. Por los mismos elementos que la lógica difusa.

Identifica los elementos que aparecen en el siguiente enunciado: "Uno sumado a dos es igual a tres". Términos: "Uno", "dos", "tres" y "Uno sumado a dos es igual a tres". Predicados: "es igual a" Funciones: "sumado a" -------------------------------------------------------. Términos: "Uno", "dos" y "tres". Predicados: "es igual a" Funciones: "sumado a" -------------------------------------------------------. Términos: "Uno", "dos", "tres" y "Uno sumado a dos es igual a tres". Predicados: No hay ningún predicado en este enunciado. Funciones: "sumado a" -------------------------------------------------------.

¿En qué se diferencia las funciones de los predicados?. Las funciones operan con términos y como resultado devuelve un término, mientras que los predicados operan con términos y como resultado devuelven V o F. Las funciones operan con términos y como resultado devuelven V o F, mientras que los predicados operan con términos y como resultado devuelven un término. Son sinónimos, ambas palabras se refieren a lo mismo.

Indica cuál es la definición correcta del cuantificador universal: "Para todo valor que pueda tomar x...". "Para todo valor que pueda tomar x de entre todos los reales...". Ninguna de las anteriores.

Indica cuál es la definición correcta del cuantificador existencial: "Existe al menos un x tal que...". "Para algún x...". Todas las anteriores son correctas.

Indica la opción correcta de entre las siguientes: La lógica de primer orden tiene como principal característica una gran potencia expresiva, lo que le permite representar cualquier conocimiento en forma de expresión lógica y analizarlo. La lógica de primer orden no tiene la potencia de la lógica proposicional, lo que no le permite representar cualquier conocimiento en forma de expresión lógica y analizarlo. Ninguna de las anteriores.

Indica de entre las siguientes características, cuáles se corresponden con las capacidades de un sistema experto: Resolver problemas difíciles apoyar la toma de decisiones en base a un proceso de razonamiento simbólico. Soportar incertidumbre. Todas las anteriores.

Indica de entre las siguientes características, cuáles se corresponden con las capacidades de un sistema experto: Incorporar la posibilidad de aprendizaje. No soportar la incertidumbre. Ofrecer una solución única.

¿Los sistemas expertos deben ser capaces de justificar la línea de razonamiento seguida para alcanzar la decisión tomada?. Sí, pero no todos son capaces de ello. No. Sí, todos deben ser capaces de ello, en otro caso no sería un sistema experto.

Los sistemas expertos tienen 3 componentes básicos que son: Base de conocimientos, motor de inferencia y base de hechos. Fuente de conocimiento, motor de deducción y base de hechos. Ninguna de las anteriores.

El orden que se sigue cuando un sistema experto opera es... Base de conocimiento -> motor de inferencia -> base de hechos. Base de conocimiento -> base de hecho -> motor de inferencia. base de hechos -> motor de inferencia -> base de hechos.

¿Qué contiene la base de conocimiento?. Conocimiento altamente especializado proporcionado por los expertos humanos, además de hechos, reglas, conceptos y relaciones. Conocimiento de multitud de temas diferentes proporcionado por los expertos humanos, además de hechos, reglas, conceptos y relaciones. Conocimiento altamente especializado proporcionado por los usuarios, además de hechos, reglas, conceptos y relaciones.

¿Qué es el motor de inferencia?. Aquella parte del sistema experto que procesa el conocimiento y obtiene conclusiones o recomendaciones. Aquella parte del sistema experto que contiene conocimiento altamente especializado. Aquella parte del sistema experto que contiene los hechos, reglas, conceptos y relaciones, para que otra parte del SE procese la información.

Los sistemas expertos de control... Gobiernan el comportamiento de un sistema. Configuran objetos bajo un conjunto de restricciones. Deducen fallos del sistema desde información observable.

Los sistemas expertos de diseño.. Gobiernan el comportamiento de un sistema. Configuran objeto bajo un conjunto de restricciones. Producen una descripción de una situación desde información disponible, normalmente ruidosa o incompleta.

Los SE de diagnóstico... Deducen fallos del sistema desde información observable. Guían la educación de un estudiante en un tema dado. Producen una descripción de una situación desde información disponible, normalmente ruidosa o incompleta.

Los SE de instrucción... Guían la educación de un estudiante en un tema dado. Gobiernan el comportamiento de un sistema. Comparan información del comportamiento de un sistema con estados "cruciales" en su operación.

Los SE de interpretación... Producen una descripción de una situación desde información disponible, normalmente ruidosa o incompleta. Diseñan un plan de acciones para realizar una meta dada. Deducen consecuencias probables desde una situación dada y un modelo del problema.

Los SE de motorización... Gobiernan el comportamiento de un sistema. Comparan información del comportamiento de un sistema con estados "cruciales" en su operación. Deducen fallos del sistema desde información observable.

Los SE de predicción... Deducen consecuencias probables desde una situación dada y un modelo del problema. Diseñan un plan de acciones para realizar una meta dada. Modelan un proceso o sistema para permitir estudios operacionales bajo diversas condiciones.

La estructura básica de la imagen se corresponde con la de un SE basado en.. conocimiento. experiencia. inferencia.

La base de conocimientos... Contiene el conocimiento sobre el dominio y se basa típicamente en reglas IF/THEN. Contiene el conocimiento sobre el dominio y se basa tipicamente en sentencias SWITCH. Contiene los hechos que se han descubierto durante una consulta.

En los SE, la base de hechos... Contiene los hechos que se han descubierto durante una consulta. Un usuario puede introducir información del problema en esta base. Todas V.

El motor de inferencia... Realiza el razonamiento a partir de los hechos y el conocimiento en la base de conocimiento: las reglas. Deduce nuevos hechos y obtiene conclusiones. Contiene los hechos que se han descubierto durante la consulta. Se basa en reglas IF/THEN.

En el subsistema de explicación. Las conclusiones deben ser explicadas, así como proporciona al usuario como ha alcanzado la/las conclusiones. Deduce nuevos hechos y obtiene conclusiones. Contiene hechos que se han descubierto durante una consulta.

¿Por qué un SE requiere una fase adicional con respecto a cualquier desarrollo de software típico?. Porque ha de adquirir el conocimiento necesario sobre el problema y descubrir los conceptos y métodos de resolución de problemas empleados por los expertos. Es falso, no se requiere ninguna fase adicional. Solo se requiere fase adicional en algunos sistemas expertos.