Inteligencia artificial

INTRODUCCIÓN: LIMITACIONES DE LA LÓGICA PROPOSICIONAL
Preguntas:
1. ¿Qué entiende por: predicado, axioma y domino?
Los predicados describen propiedades de los individuos u objetos, los axiomas son predicados, establecidos y asumidos como lógicamente verdaderos y un dominio es un conjunto que contiene todos los valores posibles de cada variable involucrada en el predicado, y se dice que “eldominio D es el universo”.

2. ¿En que se basa la lógica de predicados?
La lógica de predicados está basada en la idea de las sentencias realmente expresan relaciones entre objetos, así como también cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos físicos, o conceptos. Tales cualidades, relaciones o atributos, se denominan predicados. Los objetos se conocen comoargumentos o términos del predicado.

3. ¿En qué consiste la inferencia en la lógica de predicados?
Inferir es concluir o decidir a partir de algo conocido o asumido; llegar a una conclusión. A su vez, razonar es pensar coherente y lógicamente; establecer inferencias o conclusiones a partir de hechos conocidos o asumidos. El proceso de razonamiento, por lo tanto, involucra la realización deinferencias, a partir de hechos conocidos. Realizar inferencias significa derivar nuevos hechos a partir de un conjunto de hechos conocidos como verdaderos.

4. ¿Cuáles son las principales reglas de inferencia?, descríbalos
Modus ponen.- Es la más importante, en los sistemas basados en conocimiento. Establece que:

Si las sentencias p y (p->q) se conocen que son verdaderas, entonces se puedeinferir que q también es verdadera.

Modus tolens.- Esta regla establece que:
Si la sentencia (p->q) es verdadera y q es falsa, entonces se puede inferir que p también es falsa.

5. ¿Cuáles son los métodos básicos de razonamiento?, exliquelos.
Deduccion.- Es el razonamiento a partir de un principio conocido hacia un desconocido; de lo general, a lo específico, o de la premisa a la conclusiónlógica. La deducción realiza inferencias lógicamente correctas.
Abduccion.- Es un método de razonamiento comúnmente utilizado para generar explicaciones. A diferencia de la inducción, la abducción no garantiza que se puede lograr conclusiones verdaderas, por lo tanto no es un método solido de inferencia.
Induccion.- Se define como el razonamiento a partir de hechos particulares o casos individuales,para llegar a una conclusión general. El método inuctivo es la base de la investigación científica.

6. Describa a que se refiere el manejo de la incertidumbre en PROLOG
Una de las mayores desventajas de la lógica de predicados es que sólo dispone de dos niveles de veracidad: verdadero y falso. Esto se debe a que la deducción siempre garantiza que la inferencia es absolutamente verdadera. Sinembargo, en la vida real no todo es blanco y negro. En cierta forma el PROLOG ha logrado mitigar esta desventaja, permitiendo la inclusión de factores de certeza.

7. ¿En qué consiste el razonamiento mono tónico?
La lógica de predicados al ser un formalismo de razonamiento mono tónico, no resulta muy adecuada para ciertos dominios del mundo real, en los cuales las verdades pueden cambiar conel paso del tiempo. El PROLOG compensa esta deficiencia, proporcionando un mecanismo para remover los hechos de la base de datos.

8. ¿Cómo se maneja la programación declarativa en PROLOG?
La lógica de predicados, tal como está diseñada en PROLOG, es un lenguaje de programación declarativo, en donde el programador sólo necesita preocuparse del conocimiento expresado en términos del operador deimplicación y los axiomas. El mecanismo deductivo de la lógica de predicados llega a una respuesta (si esto es factible), utilizando un proceso exhaustivo de unificación y búsqueda.

9. ¿Qué es y en que consiste un sistema de producción?
Un sistema de producción proporciona una estructura que facilita la descripción y la ejecución de un proceso de búsqueda. Un sistema de producción consiste...