Instituto Politcnico Nacional

Escuela Superior de Ingeniera Mecnica y Elctrica

Unidad Zacatenco

Materia:
Agentes Inteligentes Expertos

Tema:
Lgica de primer orden

Alumnos:
Profesor: Flores Merlina
Posadas Durn Juan Pablo Francisco Manuel Vega Garca
 Introduccin
En el paradigma de la programacin declarativa los
fundamento tericos se basan en los desarrollos de
la lgica de predicados que pretendan construir
sistemas de demostracin automtica de teoremas

lo deducible es demostrable y lo demostrable es

deducible
Lgica:
Lenguaje que permite expresar conocimiento y
razonar a partir de ciertas expresiones para
deducir otras (deduccin)
Caractersticas:
Sintaxis y semntica bien definidas
Reglas de inferencia
Para expresar el argumento, necesitamos
cuantificadores:
para todo
existe.
Vocabulario
 Sintaxis
Un lenguaje de primer orden L consta de:
Smbolos lgicos (comunes a todos los lenguajes):
Smbolos no lgicos(propios de cada lenguaje)
Otros smbolos usados:
Parntesis: (y)
Relacin binaria: =, , , .
Variables: x, y,
Cuantificadores: y .
Ejemplos.
 Trminos.
Supuesta dada una lista de variables infinitas.
Formulas atmicas.
 El valor de verdad de una formula depende de
la interpretacin que se da a las constantes,
funciones y relaciones.
 tomo (formula atmica)
Un trmino representa a un objeto
Un tomo tomara el valor de verdad o
falsedad segn la interpretacin
Los tomos representan relaciones entre
objetos que denotan sus trminos
 Ejemplo
Pedro es el jefe de Luis

Trminos: Pedro y Luis

Predicado: Jefe
tomo: JEFE(Pedro, Luis)
 Interpretaciones de un lenguaje
Una interpretacin es un mecanismo que permite
asignar un valor de verdad o falsedad a una frmula.

En una interpretacin se define un dominio de discurso

en el cual:

varian las variables

se asignan valores a las constantes
se definen los smbolos de funcin y de predicados
 Ejemplo:

En el lenguaje de la Teora de Conjuntos consideramos la siguiente estructura:

|I| Es el conjunto de nmeros naturales

E Es el conjunto de pares (m, n) tales que m < n.

La sentencia del lenguaje:

se traslada a:
Existe un nmero natural tal que ningn otro nmero natural es menor que
l.
 Ejemplo:
Sea Ia frmula :

y las interpretaciones siguientes:

Interpretacin
Dominio: Nmeros naturales

Constantes:
Funciones:

Predicados:

Bajo esta interpretacin la frmula equivale a:

El cuadrado de todo nmero impar mayor que cero es mltiplo de 9
y el de 2 es mayor que cero"
 Ejemplo:
Sea Ia frmula :

y las interpretaciones siguientes:

Interpretacin
Dominio: Personas

Constantes:
Funciones:

Predicados:

Bajo esta interpretacin la frmula equivale a:

Todas las madres de los estudiantes de informtica que juegan al
pker son tercas y Juan estudia informtica"
 Variables libres.
Las variables libres ( y ligadas) son una aparicin de una
variable x en una formula, est ligada si est dentro del
alcance de un cuantificador. En caso contrario, dicha
aparicin est libre.

una variable est libre en una formula si todas sus

apariciones estn libres.

una variable est ligada en una formula si todas sus

apariciones estn ligadas.

una formula es una sentencia si todas las variables son

ligadas (es decir, no hay apariciones libres de variables)
 Si una formula contiene variables libres, entonces
no podemos decir directamente que es verdadera
o falsa en una estructura.

Es x < s(0) cierta en N?

El valor de verdad de una formula con variables

libres depende de los valores dados a estas
variables.

Si x es 0, entonces x < s(0) es cierta en N. Pero si x es

1, entonces es falsa.
 Decimos que una L-formula es satisfacible, si existe una
L-estructura A y una asignacin para A tal que:
(A, ) |= .

Si es oracin, entonces es satisfacible si existe A tal que :

A |= .

Decimos que una L-formula es valida si para toda L-

estructura A y toda asignacin para A se tiene que:
(A, ) |= .

Si es oracin, entonces es valida si para todo A se tiene que

A |= .
 Isomorfismo.
Dos estructuras son isomorfas si son idnticas
excepto por sus dominios.