Está en la página 1de 6

Inteligencia Artificial I

UNIDAD II.- REPRESENTACIN DEL CONOCIMIENTO


___________________________________________________________________ LECCIN 2.5.- LA DEMOSTRACIN Y SUS MTODOS ___________________________________________________________________ 2.5.1- Consecuencias Lgicas Argumento: Es un conjunto de proposiciones con la siguiente forma: P1P2P n Q donde

P1, P2, Pn se conocen como premisas o hiptesis y Q se conoce como conclusin o tesis.

Argumento vlido: Un argumento es vlido si la conclusin es verdadera para todas las interpretaciones verdaderas de las premisas. Q es una consecuencia lgica de las premisas, P1, P2, Pn Ejemplo: Si Martn se casa, entonces Florinda se tira al tren. Florinda se tira al tren siempre y cuando Martn no se haga cura. Por lo tanto, si Martn se casa, entonces no se hace cura. Proposiciones: P : Martn se casa. Q : Florinda se tira al tren. R : Martn se hace cura. Argumento: ( (PQ) (QR) ) (PR)

Rafael Rivera Lpez 1

Inteligencia Artificial I Consecuencia Lgica: P V V V V F F F F Q V V F F V V F F R V F V F V F V F R F V F V F V F V PQ V V F F V V V V QR PR F V V F F V V F F V F V V V V V

La conclusin es consecuencia lgica (C.L.) porque la conclusin es verdadera para todas las interpretaciones verdaderas de las premisas.

P Q R R PQ QR PR (PQ) (QR) ( (PQ) (QR) ) (PR) V V V F V V F V V F V F V F F V F V V F F V F V F F V F F F F V V V F F V V V V F V V F F V V F F V F V V V V V F V F F F V V F V V V V V V V V

Una conclusin es C.L. de las premisas si el argumento es una Tautologa.

Rafael Rivera Lpez 2

Inteligencia Artificial I Ejemplo: Demostrar que P es consecuencia lgica de P Q y Q a) Usando Tablas de Verdad

Q P Q PQ Q (PQ) (Q (PQ))P

b) Usando equivalencias

Frmula (Q (P Q)) P (Q (P Q)) P (Q (P Q)) P (Q (P Q)) P (Q (P Q)) P (Q (P Q)) P Q (P Q) P ((Q P) (Q Q)) P ((Q P) ) P (Q P) P Q (P P) Q

Regla de Equivalencia Implicacin Implicacin Ley de Morgan Doble Negacin Ley de Morgan Eliminando parntesis Distributiva Complemento Identidad Asociativa Complemento Dominacin

Rafael Rivera Lpez 3

Inteligencia Artificial I 2.5.2.- Reglas de Inferencia Del ejemplo se tiene que P es consecuencia lgica de P Q y Q Se dice que si P Q y Q son verdaderas, entonces se puede derivar o inferir P Entonces si las premisas P Q y Q existen, entonces P existe y puede considerarse una regla. Se puede escribir: Premisa: Premisa: Conclusin: PQ Q ----------- P

Esta regla se conoce como Regla de Negacin o Modus Tollens. Ejemplo: 1) 2) 3) RS S R Modus Tollens de 1) y 2)

Ejemplo: 4) 5) 6) R S S R Modus Tollens de 4) y 5)

Rafael Rivera Lpez 4

Inteligencia Artificial I

Rafael Rivera Lpez 5

Inteligencia Artificial I Ejemplo: Demostrar que (PR) es C.L. De (PQ) (QR) Como no existen reglas de inferencia para equivalencias, entonces se sustituye por dos implicaciones 1) PQ 2) QR 3) RQ 4) PR Silogismo hipottico de 1) y 2)

Rafael Rivera Lpez 6