Unidad 2:

REPRESENTACION DEL CONOCIMIENTO

2.1.- MAPAS CONCEPTUALES

Los mapas conceptuales son instrumentos de representacin del conocimiento sencillo y prctico, que permiten transmitir con claridad mensajes conceptuales complejos y facilitar tanto el aprendizaje como la enseanza. Para mayor abundamiento, adoptan la forma de grafos.

Los mapas conceptuales o mapas de conceptos son un medio para visualizar ideas o conceptos y las relaciones jerrquicas entre los mismos. La tcnica de elaboracin de mapas conceptuales es un medio didctico poderoso para organizar informacin, sintetizarla y presentarla grficamente. Es muy til tambin puesto que nos permite apreciar el conjunto de la informacin que contenga un texto y las relaciones entre sus componentes, lo que facilita su comprensin, que sea el camino ms satisfactorio y efectivo para el aprendizaje. Otra utilidad es que pueden servir para relatar oralmente o para redactar textos en los que se maneje lgica y ordenadamente cierta informacin; de ah que sean considerables como organizadores de contenido de gran valor para diversas actividades acadmicas y de la vida prctica. I. TCNICA DE CONSTRUCCIN DE LOS MAPAS CONCEPTUALES Es muy sencilla pero compleja a la vez, porque requiere realizar varias operaciones mentales. Se puede utilizar didcticamente para desarrollar ideas y mostrar las relaciones que hay entre ellas. La tcnica, simplificada para usarla con propsitos didcticos, consta de los siguientes pasos. 1. Leer cuidadosamente el texto y entenderlo claramente. En caso de haber palabras que los alumnos no comprendan o no conozcan, habr que consultarlas en el diccionario y comprobar cmo funcionan en el contexto en que se encuentran. 2. Localizar y subrayar las ideas o palabras ms importantes palabras clave se construir el mapa; por lo general, son nombres o sustantivos. 3. Determinar la jerarquizacin de dichas ideas o palabras clave. 4. Establecer las relaciones entre ellas con las que

Unidad 2:

REPRESENTACION DEL CONOCIMIENTO

5. Utilizar correctamente la simbologa: a) Ideas o conceptos: cada una se presenta escribindola encerrada en un valo o en un rectngulo; es preferible utilizar valos.

b) Conectores: la conexin o relacin entre dos ideas se representa por medio de una lnea inclinada, vertical u horizontal llamada conector o lnea ramal que une ambas ideas. c) Flechas: se pueden utilizar en los conectores para mostrar que la relacin de significado entre las ideas o conceptos unidos se expresa primordialmente en un solo sentido; tambin se usan para acentuar la direccionalidad de las relaciones, cuando se considera indispensable. d) Descriptores: son la palabra o palabras (1, 2 3) que describen la conexin; se escriben cerca de los conectores o sobre ellos. Estos descriptores sirven para "etiquetar" las relaciones. Tiene gran importancia elegir la palabra correcta; o sea, la que mejor caracterice la relacin de que se trate, de acuerdo con el matiz de significado que debe darse con precisin.

Unidad 2:

REPRESENTACION DEL CONOCIMIENTO

2.2.- REDES SEMANTICAS

1. Una Red Semntica es un conjunto de Nodos y Arcos, es una representacin grafica del conocimiento en la que existe una jerarqua de Nodos. Un Nodo es identificado por un objeto. Nodo = objeto Donde un Objeto puede ser representado por: 1. Personas 2. Animales 3. Eventos 5. Acciones 6. Conceptos

7. Atributos o caractersticas que identifican a un objeto. Los Nodos de un Red Semntica estn unidos por arcos, los cuales indican la relacin que existe entre ellos. Existen ciertos tipos de Arcos tpicos entre los cuales estn. Es-un: el cual usa para identificar que un cierto pertenece a una clase mayor de objeto.

Tiene-un: este tipo de arcos se utiliza para identificar que un cierto nodo tiene o pase una cierta caractersticas o atributo o propiedad.

2.3.- RAZONAMIENTO MONTONO

Cuando hablamos de un razonamiento montono es cuando se usa para inferir conclusiones a partir de una informacin dada. En un sistema mono tnico todos los axiomas utilizados se conocen como verdaderos por sus propios mritos, o pueden ser derivados de otros hechos conocidos como verdaderos. Los axiomas no pueden cambiar, ya que una vez que se los conoce como verdaderos, siempre permanecen as y no pueden ser modificados o retractados. Esto significa que en el razonamiento mono tnico el conjunto de axiomas continuamente crece en tamao. Otro aspecto del razonamiento mono tnico es que si ms de una inferencia lgica puede ser hecha a un tiempo especfico y una de ellas se realiza, las inferencias que quedan sern todava aplicables despus que dicha inferencia haya sido hecha.

Unidad 2:

REPRESENTACION DEL CONOCIMIENTO

La Induccin es un ejemplo de pensamiento montono y se define como el razonamiento a partir de hechos particulares o casos individuales, para llegar a una conclusin general. El mtodo inductivo es la base de la investigacin cientfica. La forma ms comn del mtodo inductivo es la siguiente:

2.4.- LA LGICA DE PREDICADOS: SINTAXIS, SEMNTICA, VALIDEZ E INFERENCIA

La principal debilidad de la lgica proposicional es su limitada habilidad para expresar conocimiento. Existen varias sentencias complejas que pierden mucho de su significado cuando se las representa en lgica proposicional. Por esto se desarroll una forma lgica ms general, capaz de representar todos los detalles expresados en las sentencias, esta es la lgica de predicados. La lgica de predicados es una herramienta para estudiar el comportamiento de un sistema lgico. Adems proporciona un criterio para determinar si un sistema lgico es absurdo o inconsistente. La lgica de predicados est basada en la idea de las sentencias realmente expresan relaciones entre objetos, as como tambin cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos fsicos, o conceptos. Tales cualidades, relaciones o atributos, se denominan predicados. Los objetos se conocen como argumentos o trminos del predicado. Al igual que las proposiciones, los predicados tienen un valor de veracidad, pero a diferencia delas preposiciones, su valor de veracidad, depende de sus trminos. Es decir, un predicado puede ser verdadero para un conjunto de trminos, pero falso para otro. Por ejemplo, el siguiente predicado es verdadero: color (yerba, verde) El mismo predicado, pero con diferentes argumentos, puede no ser verdadero: color (yerba, azul) o color (cielo, verde)

Los predicados tambin pueden ser utilizados para asignar una cualidad abstracta a sus trminos, o para representar acciones o relaciones de accin entre dos objetos. Por ejemplo:

Unidad 2:

REPRESENTACION DEL CONOCIMIENTO

Inferir es concluir o decidir a partir de algo conocido o asumido; llegar a una conclusin. A su vez, razonar es pensar coherente y lgicamente; establecer inferencias o conclusiones a partir de hechos conocidos o asumidos.

2.5.- LA DEMOSTRACIN Y SUS MTODOS

La demostracin es un razonamiento o serie de razonamiento que prueba la validez de un nuevo conocimiento estableciendo sus conexiones necesarias con otros conocimientos. Cuando un conocimiento queda demostrado, entonces se le reconoce como vlido y es admitido dentro de la disciplina correspondiente. La demostracin es el enlace, entre los conocimientos recin adquiridos y el conjunto de los conocimientos anteriores. El enlace entre los conocimientos recin adquiridos y los anteriores est constituidos por una sucesin finita de proposiciones que o bien son postulados o bien son conocimientos cuya validez se ha inferido de otras proposiciones, mediante operaciones lgicas perfectamente coordinadas. La demostracin permite explicar unos conocimientos por otros y por tanto es una prueba rigurosamente racional. Estructura de la demostracin La demostracin consta de tres partes: a) El conocimiento que se trata de demostrar, es decir la proposicin (teorema) cuya validez se trata de probar. b) Los fundamentos empleados como base de la demostracin. c) El procedimiento usado para lograr que el conocimiento quede demostrado. Los procedimientos de demostracin permiten establecer la conexin lgica entre los fundamentos y sus consecuencias sucesivas, hasta llegar como conclusin final a la tesis que as se demuestra. Una tesis puede ser demostrada mediante distintos procedimientos. Los principales tipos de demostracin son: a) Demostracin directa: Cuando se parte de un conjunto de postulados o de proposiciones cuya validez ha sido probada, para inferir como consecuencia la tesis, a travs de una serie de inferencias, se establece una demostracin directa.

Unidad 2:

REPRESENTACION DEL CONOCIMIENTO

b) Demostracin indirecta: Si se tiene dificultades en la construccin de una demostracin directa, se puede a veces obtener resultados ms importantes y mejores, empleando algunos otros mtodos. Cuando se establece validez de una tesis probando, que las consecuencias de su contraria son falsas, entonces se realiza una demostracin indirecta. El mtodo de demostracin indirecta se basa en el hecho de que si tesis negada es falsa, entonces la tesis es verdadera (negar-negando). La mejor manera de hacerlo es mostrando que tesis negada no es compatible con las afirmaciones dadas en la hiptesis. c) Demostracin por recursin: Cuando la tesis se prueba por medio de la induccin matemtica recursiva, se efecta una demostracin por recursin. La demostracin por recursin se utiliza principalmente en la teora de nmeros y consiste en probar la validez de un teorema estableciendo: Primero, su cumplimiento para el caso limitante (caso inicial) Segundo, admitiendo que se cumple en el general, (hipotsis inductiva) Tercero, se prueba que se cumple igualmente para el caso siguiente.

2.6.- EL MTODO DE RESOLUCIN DE ROBINSON

El Mtodo de Resolucin [Robinson, 1965], es un intento de mecanizar el proceso de deduccin natural de esa forma eficiente. Las demostraciones se consiguen utilizando el mtodo refutativo (reduccin al absurdo), es decir lo que intentamos es encontrar contradicciones. Para probar una sentencia nos basta con demostrar que su negacin nos lleva a una contradiccin con las sentencias conocidas (es insatisfactible). Si la negacin de una sentencia entra en contradiccin con los hechos de nuestra base de conocimiento es porque lo contrario, es decir, la sentencia original era verdadera y se puede deducir lgicamente de las sentencias que componen dicha base de conocimientos.

Unidad 2:

REPRESENTACION DEL CONOCIMIENTO

Bibliografa: 1. http://redescolar.ilce.edu.mx/redescolar/biblioteca/articulos/pdf/mapas_conce ptuales.pdf 2. http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Inteligencia%20Artificial/A puntes/IA/Logica_Predicados.pdf 3. http://www.filosofia-irc.org/apuntes/Logica.de.Predicados.pdf 4. http://www.scribd.com/doc/3376070/METODOS-DE-DEMOSTRACIONMATERIAl-N-2