Mañana

UNIVERSIDAD JUÁREZ
AUTÓNOMA DE TABASCO
UNIVERSIDAD JUÁREZ
AUTÓNOMA DE TABASCO

DIVISIÓN ACADÉMICA DE INFORMÁTICA Y SISTEMAS
DIVISIÓN ACADÉMICA DE INFORMÁTICA Y SISTEMAS

“Lógica de Primer Orden”

ASIGNATURA:
INTELIGENCIA ARTIFICIAL

PROFESOR:
ING. MAURICIO ARTURO REYES HERNÁNDEZ

ALUMNO:
* JOSÉ JUAN GALICIA HERNÁNDEZ
* HEBERTO RENE MAGAÑA COLLADO
* JOSE LUIS VELAZQUEZMENDEZ


Cunduacán Tabasco, 13 de Septiembre de 2012

“Lógica de Primer Orden”

ASIGNATURA:
INTELIGENCIA ARTIFICIAL

PROFESOR:
ING. MAURICIO ARTURO REYES HERNÁNDEZ

ALUMNO:
* JOSÉ JUAN GALICIA HERNÁNDEZ
* HEBERTO RENE MAGAÑA COLLADO
* JOSE LUIS VELAZQUEZ MENDEZ


Cunduacán Tabasco, 13 de Septiembre de 2012




INDICE

Lógicade primer orden ------------------------------------------------------ 3

* FORMULAS BIEN FORMADAS

* REGLAS DE INFERENCIA

Predicados------------------------------------------------------------------------ 6

Términos--------------------------------------------------------------------------- 7

Haciendo preguntas y obteniendo respuestas----------------------- 8Lógica de primer orden
La lógica proposicional asume que el mundo tiene hechos.
La lógica de primer orden asume que el mundo contiene:
Objetos: personas, casas
Relaciones: hermano de, mayor que, parte de, entre,…
Funciones: suma, resta, multiplicación…

FORMULAS BIEN FORMADAS

Un lenguaje como el cálculo de predicados está definido por una sintaxis un alfabeto desímbolos, que ordenados adecuadamente da origen a expresiones válidas llamadas formulas bien formadas (wff).

Los componentes del cálculo de predicados son símbolos de: predicados, constantes, paréntesis, corchetes, comas, las constantes lógicas Verdadero y Falso, los 5 conectores lógicos: negación (Ø), y lógica (Ù), o lógica (Ú), implicación (Þ), y doble implicación (Û)
Estos componentessiguiendo reglas de la gramática como por ejemplo, la de Backus-Naur,
BNF (Backus-Naur Form), constituyen oraciones (Proposiciones) o wff.

Los componentes del cálculo de predicados son símbolos de: predicados, variables, constantes, paréntesis, corchetes y comas y las constantes Lógicas Verdadero, Falso.
Predicados: Representan hechos en el dominio del discurso. Si se les da un significado(Semántica) los predicados devuelven un valor de verdad (verdadero o falso), se representan por letras mayúsculas
Constantes: (sustantivos), representan objetos del dominio, se simbolizan por letras mayúsculas se diferencian de los predicados por el contexto.
Los paréntesis, comas y corchetes son separadores, para mejorar la legibilidad (y el cómputo)
Las fórmulas mínimas se llaman formulas atómicas,representan hechos en el dominio del discurso, y representan el conocimiento que se tiene del mundo, o la base de conocimientos (BC). Por Ej.

ESCRIBIR (HERNÁNDEZ, MARTIN FIERRO)
CASADOS (JUAN, MARÍA).

REGLAS DE INFERENCIA

La asignación de un significado en el dominio real corresponde a la semántica de las wffs, y si corresponde a un hecho verdadero le asignamos un valor de verdad Verdadero(T) si no se corresponde con la realidad es Falso (F).
Existen conectores que pueden extender la expresividad de las wffs tales como implicación o sigue lógicamente de (Þ), Y lógica (Ù), O lógica (Ú), negación (~).
La Y y la O tienen el significado normal de la conjunción y la disyunción y sus valores de verdad son los usuales. La implicación conecta dos wffs, un antecedente y un consecuente, siel antecedente es falso la implicación es verdadera independientemente del valor de verdad del consecuente, si ambos son verdaderos la implicación es verdadera.

F1 Þ F2 es equivalente a ~F1 Ú F2

Se puede esquematizar todas las combinaciones de valores de verdad de las oraciónes atómicas que componen una oración compleja y establecer su valor de verdad (Tablas de Verdad).

Las...