Professional Documents
Culture Documents
Unidad 2 Página 1
2 Representación del conocimiento y
razonamiento.
Unidad 2 Página 2
2 Representación del conocimiento y razonamiento
Unidad 2 Página 3
2.1 MAPAS CONCEPTUALES
Unidad 2 Página 4
Como hemos afirmado, el término mapa conceptual se emplea para abarcar
una amplia gama de representaciones esquemáticas del conocimiento. Ni el
término concepto ni el término mapa poseen definiciones exactas ya que cada
término se emplea en el lenguaje común con diferentes significados y además
poseen una gran variedad de precisiones diferentes al utilizarse como términos
técnicos en diferentes disciplinas. El término compuesto mapa conceptual hereda
connotaciones de toda esta variedad de usos y además tiene los suyos propios.
Unidad 2 Página 5
El uso de mapas conceptuales en los sistemas de hipertexto permite 4 objetivos
fundamentales:
Diseñar el hipertexto:
Facilitar la navegación
Representar el conocimiento
Evaluar dicho conocimiento
Unidad 2 Página 6
2.2 Redes semánticas
Unidad 2 Página 7
Es un lenguaje muy adaptado para el desarrollo de aplicaciones en
Inteligencia Artificial. Un problema básico en este tipo de aplicaciones es
representar el conocimiento de un dominio concreto en un ordenador, de forma
que pueda ser interpretado correctamente. Uno de los métodos de representación,
basado en modelos de psicología cognitiva, son las redes semánticas. Las redes
semánticas son grafos orientados que proporcionan una representación
declarativa de objetos, propiedades y relaciones. Los nodos se utilizan para
representar objetos o propiedades. Los arcos representan relaciones entre nodos
del tipo, es_un, es_parte_de, etc. El mecanismo de inferencia básico en las redes
semánticas es la herencia de propiedades. La figura representa
esquemáticamente un ejemplo de red semántica:
Unidad 2 Página 8
2.3 RAZONAMIENTO MONOTONO
Mencionaremos finalmente un tipo de razonamiento que tiene que ver más con
el proceso que con la conceptuación. Un razonamiento se llama monótono cuando
a lo largo del proceso el conjunto de «cosas sabidas» es siempre creciente. Pero
en la realidad suele ocurrir que, a medida que avanza el proceso de inferencias,
nuevas evidencias o acciones del mismo sistema anulan premisas o conclusiones
anteriores, y para formalizar esto se necesita una lógica no monótona. Un proceso
frecuente es el razonamiento por defecto: suponer que algo es verdadero (o falso)
mientras no haya evidencia de lo contrario. El sistema que razona debe tener en
cuenta que la aparición de esa evidencia puede tener un efecto retroactivo sobre
las conclusiones obtenidas anteriormente, para lo que debe incluir un sistema de
mantenimiento de la verdad.
Unidad 2 Página 9
2.4 La lógica de predicados
SINTAXIS
Un buen lenguaje de representación de conocimientodebe de combinar las
ventajas de los lenguajes naturales ( español, quechua, ingles, etc) y lenguajes
formales(C, pascal, lisp, etc):
Debe ser lo suficiente expresivo y conciso para que nos permita expresar
de manera sucinta todo lo que hay que decir.
Debe ser inequívoco (no ambiguo) e independiente del contexto para su
interpretación.
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.
SEMÁNTICA
En lógica, el significado de una oración es aquello que se afirma del mundo,
que el mundo sea de una forma.
Una vez que mediante la semántica se interpreta una oración, ésta puede
ser cierta o falsa.
Una oración es cierta dentro de una interpretación determinada si el estado
de asuntos que representa es cierta.
El significado de una oración depende tanto de la oración como del
contexto en que se produce.
Unidad 2 Página 10
Todas las oraciones se forman combinando los símbolos anteriores
mediante ciertas reglas.
Las constantes lógicas Verdadero y Falso constituyen oraciones en sí mismas
Las variables proposicionales P, Q, R,… son oraciones
Encerrar entre paréntesis una oración produce también una oración, por
ejemplo
(P Ù Q).
Negación (Ø ) (no).
Unidad 2 Página 11
A una oración como Ø P se le llama negación de P. Øes el único de los
conectores que funcionan como una sola oración.
EJERCICIOS
FORMALIZAR LOS RAZONAMIENTOS:
1. " Si el resultado obtenido es superior al previsto en 5 unidades, será debido a
no haber realizado el proceso a la temperatura adecuada o a la existencia de
errores en los cálculos finales."
Solución
p = Resultado obtenido menor al previsto en 5 unidades.
q = Haber realizado el proceso a la temperatura adecuada.
r = Existencia de errores en los cálculos finales.
q rp
2) " El análisis realizado, innecesario si nos dejamos llevar por la precipitación, se
torna necesario si nos paramos a reflexionar sobre el mensaje que se pretende
transmitir."
Solución
p = Análisis realizado es necesario.
q = Nos dejamos llevar por la precipitación.
r = Nos paramos a reflexionar sobre el mensaje que se pretende transmitir.
q pr p
3)" El cáncer no logrará curarse a no ser que se logre determinar su causa y se
consiga encontrar fármacos adecuados o bien para prevenirlo o para curarlo."
Solución
p = El cáncer logrará curarse.
q = Se logra determinar su causa.
r = Se consigue encontrar fármacos adecuados para prevenirlo.
s = Se consigue encontrar fármacos adecuados para curarlo.
q r sp
Unidad 2 Página 12
SEMÁNTICA DE LA LÓGICA DEL PROPOSICIONAL
Una interpretación asocia cada variable proposicional con una proposición
sobre el mundo. Porque las proposiciones son o verdades o falso, podemos
también especificar una interpretación asignando los valores de verdad
VERDAD y FALSO directamente a las variables proposicionales, sin
importar qué proposición cada uno denota.
Cada conector lógico es definido por una tabla de verdad
Dado una interpretación de las variables proposicionales, nosotros
podemos utilizar una tabla de verdad para calcular el valor de verdad de
cualquier oración bajo esa interpretación
En términos generales, una semántica permite atribuir un significado a las
expresiones del lenguaje simbólico considerado. En el caso de un lenguaje
de programación como C, esta semántica es procedural y consiste en
describir el efecto que produce el programa sobre sus estructuras de datos.
Para un lenguaje de representación, lo que interesa es capturar una
descripción del universo modelado. La lógica permite hacer esto
asignando un valor de verdad a cada expresión del lenguaje.
La semántica de un lenguaje proposicional depende
1. De la interpretación de los conectivos lógicos, que tienen el mismo significado
en todos los dominios,
2. De los valores de verdad asignados a las variables proposicionales, distintos
según la situación reflejada
TABLAS DE VERDAD
Se emplean en la lógica para determinar los posibles valores de verdad de una
expresión o proposición. O si un esquema de inferencia, como argumento, es
formalmente válido mostrando que, efectivamente, es una tautología.
La tabla de verdad de una sentencia es una tabla en la que se presentan todas las
posibles interpretaciones de las variables proposicionales que constituyen la
sentencia y el valor de verdad de la sentencia para cada interpretación.
Dado que en el cálculo proposicional se opera sólo sobre dos valores de verdad,
para cualquier expresión existe un número finito de valuaciones posibles que se
pueden tabular.
Unidad 2 Página 13
La tabla de verdad de una expresión con n variables proposicionales tiene
2n filas
Semántica
Negación Consiste en cambiar el valor de verdad de una variable
proposicional.
V F
F V
Disyunción: La sentencia será verdadera cuando una o ambas variables
proposicionales sean verdaderas.
p q
V V V
V F V
F V V
F F F
Conjunción: La sentencia será verdadera sólo cuando ambas variables
proposicionales sean verdaderas.
p q
V V V
V F F
F V F
F F F
Unidad 2 Página 14
Condicional
p q
V V V
V F F
F V V
F F V
Bicondicional
p q
V V V
V F F
F V F
F F V
Disyunción exclusiva
La sentencia será verdadera sólo cuando sólo una de las dos variables
proposicionales sea verdadera, pero no las dos.
P q
Unidad 2 Página 15
V V F
V F V
F V V
F F F
Unidad 2 Página 16
EJERCICIOS
1. ((P Ú H) Ù Ø P ) Þ P
Solución
Respuesta: sí es valida
2. Determinar La Validez De La Siguiente oración compleja
Si no llueve salgo al campo. Si salgo al campo respiro. Por tanto, respiro si
y sólo si no llueve."
Respuesta:
NO es válido, puedo salir al campo, lloviendo y respirar. Luego no se deduce
que respire si y solo si no llueve.
Si ha nevado será difícil conducir. Si no es fácil conducir llegaré tarde si no
salgo temprano. Ha nevado. Luego saldré temprano.
Respuesta
El razonamiento NO es válido porque puede darse el caso de NO salir
temprano y llegar tarde habiendo nevado y siendo difícil conducir.
Cumpliéndose todas las premisas.
3.9 REGLAS DE INFERENCIA
• Existen ciertos patrones de inferencia que se presentan una y otra vez, lo
que permite establecer de una vez por todas su confiabilidad.
• La regla permite evitar pasar por las tablas de verdad.
3. A partir de una implicación y la premisa de la implicación, se puede
inferir la
conclusión.
Unidad 2 Página 17
Modus ponens o implicación-Eliminación:
Y- Eliminación: (eliminación de ^ )
A partir de una oración doblemente negada, es posible inferir una oración positiva
Resolución unitaria
Es la mas difícil. Puesto que B no puede ser al mismo tiempo verdadera ni falsa,
uno de los otros disyuntos debe ser en una de las premisas. O también, que la
implicación es transitiva.
Unidad 2 Página 18
EJERCICIOS
Utilice la tabla de verdad para determinar para demostrar que la
siguiente oración es válida y que por lo tanto la equivalencia es
correcta
P^ (q rp ^ q) ( p^ r)]
p q r P ^ (q r) p ^ q) ( p^ r)
V V V V V V V V F F V V
V V F V F F V V F F F F
V F V V V V V V V VV V
V F F V V V V V V VV F
F V V F F V V F F F F F
F V F F F F V F F F F F
Unidad 2 Página 19
2.6 Resolución de Robinson
La resolución es una regla que se aplica sobre cierto tipo de fórmulas del Cálculo
de Predicados de Primer Orden, llamadas cláusulas y la demostración de
teoremas bajo esta regla de inferencia se lleva a cabo por reducción al absurdo.
Unidad 2 Página 20
Resolución de primer orden
y la clausula
S(y) ∨ ¬P(u)
Observemos que:
Dado que la primera fórmula se cumple para todo x, podríamos inferir que,
particular, se cumple para un objeto cualquiera C.
y la cláusula
S (y) ∨ ¬P©
Unidad 2 Página 21
¿Por qué?
Una sustitución que hace que dos fórmulas atómicas se hagan iguales se conoce
como unificador.
Ejemplo
Nota: Tal como en LP, un literal es una fórmula atómica o la negación de una.
El sentido de igualdad (≡) usado aquí es meramente sintáctico y quiere decir que
las expresiones son iguales caracter a caracter.
Si θ es unificador, se usa
{E1,E2, . . . ,En}θ
Dos literales que unifican, pueden ser hechos unificar por muchas sustituciones.
Unidad 2 Página 22
θ1 = {x/ƒ(A), y/g(u), z/A}
θ2 = {x/ƒ(z), y/g(u)}
De todos los unificadores posibles siempre existe al menos uno que es el menos
restrictivo, en el sentido que es el que menos restringe futuras unificaciones.
_______________________________________
Unidad 2 Página 23
Vi∈{1,…,n} − {j}liθ ∨ Vi∈{1,…,m} − {k}l´iθ
Unidad 2 Página 24
2.7 Conocimiento no- monótono y otras lógicas
Si , entonces
Una lógica monotónica no puede manejar varios tipos de razonamiento tales como
el razonamiento por defecto (los hechos pueden ser conocidos únicamente por la
carencia de evidencia de lo contrario), el razonamiento abductivo (los hechos sólo
se deducen en calidad de explicaciones probables), el razonamiento acerca del
conocimiento (la ignorancia de un hecho debe ser retractada cuando el hecho sea
conocido), y la revisión de creencias (nuevo conocimiento puede contradecir
creencias anteriores, obligando a revisarlas). Estas limitaciones son un
inconveniente en gran cantidad de problemas que se presentan en inteligencia
artificial, que tienen un carácter no monótono.
A pesar del poder expresivo y rigor sin par de la lógica de predicados clásica,
muchos investigadores la han encontrado insatisfactoria o insuficiente para ajustar
ese modelo a nuestras intuiciones acerca del razonamiento “natural”, de este
modo surgen las Lógicas no clásicas.
Unidad 2 Página 25
Superación de la semántica bivalente:
Razonamiento impreciso.
Razonamiento sometido a incertidumbre.
Las lógicas no-clásicas son más adecuadas para la modelización cognitiva que la
clásica.
Unidad 2 Página 26
2.8 Razonamiento probabilístico
Las investigaciones sobre razonamiento han proliferado hasta el punto de crearse
revistas y libros en los que se trata sobre este proceso. En España, esto ha sido
más tardío pero, a pesar de esto, está cambiando el contexto, ya que en
psicología cognitiva se está tratando este tema. Paralelamente a esto, se han
elaborado libros de texto, como el de Carlos Santamaría, espec íficos del
razonamiento. También, en revistas de psicología españolas, aparecen artículos
sobre este tema.
Concepción tradicional.
Concepción evolucionista.
Concepción cognitiva.
Unidad 2 Página 27
inferencias, es independiente del sustrato físico, ya que los ordenadores resuelven
problemas de lógica, tanto inductivos como deductivos.
Tipos de razonamiento.
Esto es un cisne.
Unidad 2 Página 28
Podríamos concluir que el cisne es blanco, pero, que la mayoría sean blancos, no
quiere decir que lo sean todos. De este modo, también podríamos concluir que es
negro, yendo más allá de las premisas. No hay certeza absoluta, hay,
simplemente, probabilidad. En el razonamiento deductivo, la certeza es del 100%,
pero no en el inductivo. En el razonamiento inductivo, se va más allá de las
premisas.
Donde:
Esto se cumple
Unidad 2 Página 29
Aplicaciones
Unidad 2 Página 30
Bibliografía
http://www.hipertexto.info/documentos/maps_concep.htm
http://www.nebrija.es/~cmalagon/ia/ejercicios/Ejercicios_redes_semanticas.pdf
http://es.wikipedia.org/wiki/Red_sem%C3%A1ntica
http://www.gsi.dit.upm.es/~gfer/ssii/rcsi/rcsisu16.html
http://www.monografias.com/trabajos51/inteligencia-artificial/inteligencia-
artificial2.shtml
http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=L%C3%B3gicas_n
o-cl%C3%A1sicas
http://es.wikipedia.org/wiki/Teorema_de_Bayes
Unidad 2 Página 31