Inga. MA.

Ana Gabriela Rivas Vásquez

INTELIGENCIA
ARTIFICIAL
Dos de los objetivos de la lógica proposicional:
• Poder modelar el proceso de razonamiento.
• Poder formalizar la noción de demostración.

¿Podemos expresar el siguiente argumento en lógica proposicional?

Todos los hombres son mortales.

NO. Éste razonamiento valido no puede ser expresado mediante la lógica proposicional, ya que la expresividad de ésta es
bastante limitada.

¿Para qué utilizamos la Lógica de primer orden?

La utilizamos porque la lógica de primer orden extiende a la lógica proposicional proporcionando mayor expresividad.

Para expresar el argumento mostrado al principio necesitamos cuantificadores: para todo y existe, los cuales son parte de
la LPO.
 SÍMBOLOS COMUNES
- Variables: x y z …
- Constantes Lógicas: V F
- Conectivas: ￢ ∧ ∨ → ↔
- Cuantificadores:
・ Universal: ∀ (para todo)
・ Existencial: ∃ (existe algún)
- Símbolos Auxiliares de Puntuación: ( ) ,
- Símbolos Opcionales de Igualdad: = ≠

SÍMBOLOS PROPIOS
- Constantes: a b c …
・ Representan objetos concretos.
・ Asignan un nombre a un objeto.
- Functores: f(a) g(x,y) h(x,y,a) …
・ Objetos que no importa su nombre
o no se conoce.
- Relatores: Rx Sxy … o R(x) S(x,y) …
・ Propiedades y relaciones.
・ Pueden ser verdaderos o falsos.
- Termino: constante, variable, función.

- Formula Atómica: constante lógica, relación.

- Formula/Predicado: fórmula atómica, conectiva, cuantificador.

- Sentencia: fórmula con todas las variables ligadas a un cuantificador.

 ESQUEMAS DE FORMALIZACIÓN.EJEMPLO 1.

Todos los hombres son mortales

∀x(H(x)→M(x))

ESQUEMAS DE FORMALIZACIÓN.EJEMPLO 2.

Los hombres son mamíferos bípedos

ESQUEMAS DE FORMALIZACIÓN.EJEMPLO 5.
∀x(H(x)→(M(x) ∧ B(x)))
Existe al menos un ave que tiene cuatro patas.
ESQUEMAS DE FORMALIZACIÓN.EJEMPLO 3.
x(A(x)  P(x))
Todos los satélites de Júpiter son rocosos
∀x(S(x,a)→R(x))

ESQUEMAS DE FORMALIZACIÓN.EJEMPLO 4.

Algo es verde
x(V(x))
FÓRMULAS.EJEMPLO 1.
• Juan y Pedro son amigos, aunque sólo Juan está casado.

La oración incluye dos individuos concretos, por lo que son necesarias dos constantes: j, p para representarlos en el
lenguaje formal.

La oración afirma una relación de amistad entre ambos: por tanto es necesario un predicado con dos argumentos:
A(j,p).

La oración afirma una propiedad de Juan: estar casado: C(j)

Y la fórmula de ese lenguaje que recoge lo dicho en la oración es: A(j,p) ∧ C(j) ∧ ¬C(p)

Dicho de otra manera: AMIGO(Juan, Pedro) ᴧ CASADO(Juan) ᴧ NO_ES_CASADO(Pedro)

 FÓRMULAS.EJEMPLO 2.
Eva y María son amigas aunque sus maridos sean enemigos desde que el marido de Eva
despidiese al de María.
La oración habla de cuatro individuos. Dos de ellos son identificados por sus nombres propios y los otros dos se
identifican en función de los anteriores. Por tanto, son necesarias dos constantes: e, m y una función f() para
representar “ser el marido de”. f(e), f(m)
La oración menciona una relación de amistad entre individuos: es necesario un predicado con dos argumentos : A(e,m)

La oración menciona una relación en la que un individuo f(e) despide a otro f(m): D(f(e), f(m))

Y la fórmula de ese lenguaje que recoge lo dicho en la oración es: A(e,m) ∧¬A(f(e), f(m)) ∧ D(f(e), f(m))

Dicho de otra manera:

AMIGA(Eva, María) ᴧ NO_ES_AMIGO(marido_de(Eva), marido_de(Maria))ᴧ DESPIDE(marido_de(Eva), marido_de(Maria))
SILOGISMOS
Es un enunciado donde luego de haber definido ciertas proposiciones, se concluye
necesariamente otra proposición diferente; convirtiéndose asi en la forma mas
perfecta de razonamiento deductivo.

EJEMPLO 1.
Cada número entero en un numero real.
5 es un numero entero.
Por lo tanto 5 es un numero real.

EJEMPLO 2.
Dem. A(l)
1. x (P(x)  A(x)) p.
2. P(l) p.