Está en la página 1de 14

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas

__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL


M. en C. Lilia Gonzlez Arroyo 1
LOGICA PROPOSITIVA (lgica simblica, lgica de orden cero)

El conocimiento es la piedra angular de un Sistema Experto, para ello debemos ser
capaces de representar abstractamente el conocimiento y utilizarlo para apoyar el
proceso de razonamiento del sistema. Epistemologa es el estudio del
conocimiento; se ocupa de su naturaleza, su estructura y sus orgenes.




Por procedimientos

La forma en que sabemos hacer
algo.
Ej. Hervir agua en una
cacerola.

Se expresan a travs de
lenguajes de 4 generacin




CONOCIMIENTO
Saber que existen
las cosas y como se
comportan.



Declarativo:
Alude a la capacidad de saber
que algo es V o F que puede
expresarse en forma de frases
declarativas.

Ej. No toques con los dedos una
cacerola con agua hirviendo.

Se expresan a travs de:
Marcos, guion, lgica de
predicados, redes semnticas.



Tcito:
Conocimiento inconsciente. No
puede expresarse mediante el
lenguaje.

Ej. Saber mover la mano).

Se expresan a travs de: Redes
neuronales (ANS).


UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 2
TEORA DEL CONOCIMIENTO

La posicin a la que llegan las corrientes filosficas relativas a la teora
del conocimiento las podemos caracterizar con estas palabras de
Bollnow:

"La teora del Conocimiento clsica se caracterizaba por la bsqueda de
un punto a partir del cual se pudiera construir un sistema de
conocimiento y comprensin seguro de la realidad, previa expulsin de
todo lo dudoso. Sin embargo, este punto arquimdico no existe; el
hombre vive en un mundo comprendido y no tiene sentido buscar un
punto inicial que le permita reconstruir la verdad desde la base".

(Introduccin a la filosofa del conocimiento. La comprensin previa y la
experiencia de lo nuevo. Pag.27).

La IA retoma estos conceptos y se encamina a crear elementos que
permitan llevar a cabo estos sistemas, estos elementos los denomina
Agentes. Un agente es algo capaz de percibir y razonar, para un agente
el actuar racionalmente es el razonamiento lgico que asegure la
obtencin de un resultado determinado.

IA es el estudio y construccin de agentes racionales.



UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 3

AGENTES QUE RAZONAN DE MANERA LOGICA
Los elementos bsicos que intervienen en el diseo de un agente:

Lenguaje formal. Mediante el que se exprese el conocimiento.
Diversas formas de efectuar razonamientos utilizando ese mismo lenguaje.

El objetivo de la representacin del conocimiento es expresar ste en forma
manejable por la computadora, de manera que se le pueda utilizar como un auxiliar
para el buen desempeo de los agentes. Un lenguaje para la representacin del
conocimiento consta de dos aspectos:

La sintaxis del lenguaje, explica las posibles configuraciones mediante las
cuales se forman las oraciones.
La semntica determina los hechos del mundo a los que hacen alusin las
oraciones. Mediante la semntica cada oracin expresa algo relacionado con el
mundo. La semntica especifica las restricciones sistemticas sobre cmo se
relacionan las oraciones con aquello que est sucediendo.

En un buen lenguaje para representar el conocimiento se combinan las ventajas de
los lenguajes naturales y las de los lenguajes formales. Debe ser lo suficientemente
expresivo y conciso para que nos permita expresar de manera sucinta todo lo que
hay que decir. Debe ser inequvoco (no ambiguo) e independiente del contexto para
su interpretacin, de manera que lo que se diga hoy siga siendo interpretable el da
de maana. Debe ser eficiente en el sentido de que debe existir un procedimiento de
inferencia que permita obtener nuevas inferencias a partir de oraciones en nuestro
idioma.


UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 4
S I N T A X I S
Los smbolos utilizados en la lgica propositiva son las constantes lgicas
Verdadero y Falso, smbolo de proposiciones tales como P y Q, los conectivos
lgicos, todos estos se combinan mediante las siguientes reglas:

Las constantes lgicas Verdadero y Falso constituyen oraciones en si mismas.
Un smbolo propositivo tal como P o Q es una oracin en si mismo
Encerrar entre parntesis una oracin produce tambin una oracin por
ejemplo (P ^ Q ).
Una oracin se forma combinando oraciones ms sencillas con uno de los
cinco conectores lgicos:

Signo descripcin
^ (y). Conjuncin lgica
V
(o). Disyuncin
(implica). Implicacin

(equivalente). Bicondicional

(no). Negacin



UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 5
La lgica de orden cero busca una estructura fija, como se relaciona con el
concepto. Estructuras sintcticas, instancias, conceptos, inferencias, analogas, etc.

La lgica de orden cero no permite razonar con los elementos estructurales de las
proposiciones, utiliza solo proposiciones cerradas.

La lgica de orden cero o proposicional no permite la generalizacin, no permite el
manejo de los componentes estructurales de las proposiciones.

Ejercicio de forma oral.
Consideremos un robot que es capaz de levantar un bloque:

Caractersticas:
a) Si es posible levantar el bloque (que no pese demasiado).
b) Si la potencia de la batera del robot es adecuada.

Si ambas condiciones se satisfacen, entonces cuando el robot intente levantar el
bloque, este quedara sujeto y el robot podr mover el brazo.

Esto se podra representar as:
X
1
(BATERIA_OK)
X
2
(OBJETO_ELEVABLE)
X
3
(ROBOT_SE_MUEVE)

Asumimos que el robot puede averiguar que la caracterstica BATERIA_OK es cierta
(mediante la lectura de un indicador) y que EL ROBOT_ SE_ MUEVE (mediante
sensores del ngulo de las articulaciones), pero no conoce el valor de la
caracterstica OBJ ETO_ELEVABLE. Nosotros sabemos que si las caractersticas
BATERIA_OK Y OBJ ETO_ELEVABLE tienen ambas el valor 1, ser cierto que
ROBOT_SE_MUEVE.

SI ROBOT_SE_MUEVE = 0, o bien BATERIA_OK, o OBJ ETO_ELEVABLE o ambas
deben tener el valor 0. Nosotros podemos razonar de esta forma pero el robot no a
menos que lo expresemos a travs de la lgica propositiva:

BATERIA_OK OBJ ETO_ELEVABLE ROBOT_SE_MUEVE
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 6
CONJUNCIN
Si p y q son proposiciones, la conjuncin de p y q se denota
p q
i) Las fbricas son tiles pero contaminan
(Las fbricas son tiles) y (las fbricas contaminan)
ii) 9 y 4 son pares
(9 es par) y (4 es par)

DISYUNCIN
Si p o q son proposiciones, la disyuncin de p o q se denota
p q
i) El da de maana ser fro o caluroso.
(El da de maana ser fro) o (el da de maana ser caluroso)

p v q = p v q
ii) 7 es primo o impar
(7 es primo) o (7 es impar)

p v q = p v q

Disyuncin exclusiva. Cuando en las proposiciones se sugiere una u otra
caractersticas pero no ambas.

Disyuncin inclusiva. Cuando en las proposiciones se satisfacen ambos criterios.

CONDICIONAL O IMPLICACIN
Si p entonces q son proposiciones, la condicional si p entonces q se
denota
p q
Es importante el orden de las partes

p es llamada antecedente y q consecuente.

i) Llegars a tiempo solo si te apuras.
Si (te apuras) entonces (llegars a tiempo)
ii) Es condicin suficiente para que Juan vuele, ser poeta.
Si (Juan es poeta) entonces (Juan vuela)
iii)Es condicin necesaria para que yo vuele, el que tenga alas.
Si (yo puedo volar) entonces (yo tengo alas)
Disyuncin exclusiva
Disyuncin inclusiva
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 7

NEGACIN
Llamaremos negacin, a la proposicin que tenga la forma: es falso que
(proposicin). Si p es una proposicin, su negacin se denota por p y se
lee no p.

i) Nunca podr suceder que slo con buena suerte se pueda aprobar el
curso.
La proposicin resulta de negar:
Solo con buena suerte se aprueba el curso.
ii) No hay nadie, lgicamente significa que, hay alguien.
iii) Nunca llueve. Su negacin es: a veces llueve.

BICONDICIONAL.

Una proposicin de la forma p q y q p, se llama bicondicional y se denota por
p q y se lee:
p si y solo si q o tambin si p entonces q y si q entonces p.
Otra forma de leerla es si p entonces q e inversamente. Ejemplo

Si como es para alimentarme, me alimento porque como.

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 8
Expresa en lgica propositiva las siguientes declaraciones:

1.- SEA p es rico y q es feliz. ESCRIBE CADA UNO DE LAS PROPOSICIONES
SIGUIENTES DE FORMA SIMBOLICA USANDO P Y Q;
SUPON QUE ES POBRE ES EQUIVALENTE A p
EJEMPLO SI ES RICO ENTONCES NO ES FELIZ (p q)

Proposicin
Respuesta
a. No es rico ni es feliz
p q
b. Es necesario ser pobre para ser feliz
q p
c. Ser pobre es ser infeliz
p q
d. El ser rico es una condicin suficiente para ser feliz
p q
e. El ser rico es una condicin necesaria para ser feliz
q p
f. No se es feliz cuando se es rico
p q
g. Es pobre solamente si es feliz
p q
h. Ser rico significa lo mismo que ser feliz
p q
i. El es pobre o es rico y feliz

p v (p q)

2.- Cul de las siguientes afirmaciones son proposiciones lgicas?
a) SER O NO SER NO ES PROPOSICION
LOGICA
Porque no puede adquirir valores de
falso o verdadero
b) 4 ES MAYOR
QUE 3
SI ES PROPOSICION
LOGICA
Puede adquirir valor de falso o
verdadero
c) COME O
FUMA?
NO ES PROPOSICION
LOGICA
Porque no puede adquirir valores de
falso o verdadero
d) TE VAS O TE
QUEDAS
NO ES PROPOSICION
LOGICA
Porque no puede adquirir valores de
falso o verdadero



UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 9

3.- Clasifique las siguientes proposiciones.
a) EL CARRO DE PEDRO ES TAN
BUENO COMO EL DE JUAN
CONJUNCION. EL CARRO DE PEDRO
ES BUENO Y EL DE JUAN TAMBIEN.
b) NO ES POSIBLE QUE EXISTA
TRANSPORTE BARATO Y COMODO
NEGACION. ES POSIBLE QUE EXISTA
TRANSPORTE BARATO Y COMODO
c) AUNQUE TRES NO ES PAR SI ES
PRIMO
CONDICIONAL
d) ES FALSO QUE LA NATALIDAD
DISMINUYE EN LOS PAISES POBRES
NEGACION. ES VERDADERO QUE LA
NATALIDAD DISMINUYE EN LOS
PAISES POBRES
e) NO TENGO NADA NEGACION. TENGO ALGO


4.- ANTECEDENTE Y CONSECUENTE
ANTECEDENTE CONSECUENTE
PEDRO RESUELVE
PROBLEMAS
LUIS LOS COPIA
TRES NO PRIMO TIENE OTROS DIVISORES DIFERENTES QUE
UNO






Bibliografa Matemticas Finitas, serie Shaums, Seymour Lipschutz, Mc
Graw Hill




UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 10

S E M A N T I C A

La conceptualizacin es a la estructura como la interpretacin a la semntica.

Caminos para la interpretacin:
a) Tablas de Verdad
b) Operaciones sintcticas

Tablas de verdad. Se complica cuando hay muchas proposiciones 2
n
posibilidades.

LA TABLA DE VERTAD.
p q p q p q p q p q p q p q
V V F F V V F V V
V F F V F V V F F
F V V F F V V V F
F F V V F F F V V

Tautologa
Diremos que una proposicin es una tautologa, si resulta verdadera para toda
combinacin de valores que se asignen a sus componentes. (T)

Verifica que p (p q) es tautologa.

p q (p q) p (p q)
F F F V
F V V V
V F V V
V V V V


UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 11

Contradiccin.

Diremos que una proposicin es una contradiccin, si resulta falsa para toda la
combinacin de valores que se asignen a sus componentes.(F)

Verifica que (p q) (p q) es una contradiccin

p q p q (p q) p q (p q) (p q)
V V F F F V F
V F F V V F F
F V V F F V F
F F V V F V F


Departamental II. Ejercicio 1: Tautologa, Contingencia, o Contradiccin
Determina a travs de las tablas de verdad, si cada una de las proposiciones son
tautologas o contradicciones o ninguna de las dos. Cuando no es ninguna de las
dos se le llama contingencia.

1. (p q) (p q)
2. (p q) p
3. (p q) (p q)
4. (p q) (p q)

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 12

IMPLICACION LGICA Y EQUIVALENCIA LOGICA.

EQUIVALENCIA.
Sean p y q proposiciones, diremos que p y q son lgicamente equivalentes
si p q es una tautologa, y se denota por p q.

IMPLICACIN LGICA.
Sean p y q proposiciones. Diremos que p implica lgicamente a q si p q es una
tautologa, y se denota por p q.


Departamental II. Ejercicio 2: Implicacin lgica y Equivalencia.
Determina a travs de las tablas de verdad, si las siguientes operaciones son
Implicaciones lgicas o equivalencias.

1. Verifica la equivalencia de las siguientes proposiciones:
a. (p q) r (p q) r
b. p q (p q) (q p)

2. Verifica las siguientes implicaciones lgicas
a. [(p q) (p r)] (q r)
b. [(p q) q] p

Ejercicio adicional 2a
3. COMPRUEBA LA VALIDEZ DEL SIGUIENTE ARGUMENTO:
a. p (p q) p

4.- COMPRUEBA LA VALIDEZ DEL SIGUIENTE ARGUMENTO
a. [(p q) p ] (q )

UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 13

ALGEBRA DE PROPOSICIONES.

INFERENCIA LOGICA.
Es el estudio de los razonamientos validos. Nos permite obtener conclusiones
validas (no necesariamente verdaderas) a partir de proposiciones previamente
admitidas como verdaderas llamadas premisas para establecer la veracidad de otra
proposicin llamada conclusin o tesis.

Una ley de inferencia es una regla tal que satisface:
1. A
1
A
2
.... A
n
es una tautologa
2. A
1
A
2
.... A
n
no es contradiccin.


UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 14

REGLAS DE INFERENCIA.
A partir de estas leyes y de los mtodos de demostracin descritos anteriormente,
podemos demostrar la validez lgica de un razonamiento sin tener que usar tablas
de verdad.

Ejemplo:

P Q premisa
Q R premisa
P premisa
R conclusin

demostracin
1. P Q premisa
2. Q R premisa
3. P premisa
4. Q de 1,3 (antecedente de la condicional)
5. R de 2,4 consecuencia lgica

tomamos la equivalencia condicional como referencia :
P Q P Q
Q R Q R
Q ES VERDADERA DE 1
R DADA DEL PASO 2