UNI RUACS INTELIGENCIA ARTIFICIAL

INTEGRANTES:

JUAN JOS BENAVIDES. ROSMERY MANZANAREZ. OSCAR RODRGUEZ. JOSU RUBIO.

TEMA: LGICA DE PREDICADOS Y PROPOSICIONES LGICAS.

Lgica: Lenguaje que permite expresar conocimiento y razonar a partir de ciertas expresiones para deducir otras(Deduccin). Caractersticas:

- Sintaxis y semntica bien definida. - Reglas de inferencia.

HIPTESIS DE LA REPRESENTACIN DEL CONOCIMIENTO Una visin muy frecuente (Aunque es controversial) entre los investigadores de la Inteligencia Artificial es que para que un sistema sea "artificial inteligente," debe contener un Componente que se puede entender como lingstico (es decir, que puede ser expresado en algn lenguaje) tales que: - Este componente contiene el conocimiento del sistema, y

LGICA PROPOSICIONAL
La lgica proposicional es una rama de la lgica que permite representar hechos y/o expresiones del mundo real en un lenguaje representativo del conocimiento mediante propiedades elementales para estudiar a travs de proposiciones o sentencias lgicas sus posibles evaluaciones de verdad y en el caso ideal su nivel absoluto de verdad

LGICA PROPOSICIONAL
Proposicin: se define una proposicin como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras. Las variables se pueden con conectores

LGICA PROPOSICIONAL

LGICA PROPOSICIONAL

Supongamos que: G = Esto ya lo vi D = Me estoy aburriendo

G D = Esto ya Lo vi Y Me estoy aburriendo

G D

LGICA PROPOSICIONAL

Negacin

Conjunci n

Disyunci n

Implicaci n

Doble Implicacin

LGICA DE PREDICADOS
La lgica de predicados se emplea como una tcnica de especificacin formal dentro de la metodologa de la programacin; esto es: se traducen las especificaciones de los programas a un lenguaje de primer orden con objeto de que las reglas formales del mismo pongan de manifiesto posibles fallos del soporte lgico, intentando as aumentar la fiabilidad del diseo del programa.

LGICA DE PREDICADOS

Estos mtodos formales son una tcnica ms de la ingeniera de la programacin.

La lgica de predicados utiliza la lgica proposicional pero forma conexiones sujeto-atributo-complemento para representar hechos u objetos del mundo.

Atributo (Predicado): Caracterstica que posee una sujeto u

objeto

Objeto (Sujeto): Quien tiene una caracterstica o realiza una

accin

LGICA DE PREDICADOS

- Ir Al Parque Con Mi Perro:

Ire_al_parque(Yo,perro).

- Mara y Juan Se Aman: Ama(Juan , Mara)

Ama(Mara , Juan)

- No Es Cierto Que Julia Estudie Mucho Y

Pedro cante:
[ Estudia(Julia , Mucho) Canta(Pedro) ]

LGICA DE PREDICADOS

En toda proposicin hay que identificar:

Que Se Afirma? > Predicado De Quien Se Afirma? > Objeto Cuanto Se Afirma? > Valores
En las proposiciones se encuentran todo un conjunto de trminos

Lgica De Predicados
Los trminos se definen:

Las consonantes son trminos Las variables son trminos Si f es una funcin y t1,t2,t3, son trminos entonces f(t1,t2,t3) es un termino Todo termino es obtenido por aplicacin de 1, 2 y 3
Si P(q1,q2,..,qn) es un smbolo de aridad n y t1,t2,...,tn son trminos, entonces P(t1,t2,...,tn) es un termino (tomo)

Lgica De Predicados
El predicado P(q1,q2,...,qn) no puede considerarse un termino hasta no remplazar cada uno de los argumentos q1,q2,...,qn por trminos. > Por Sustitucin > Por Cuantificacin Universal Existencia