El documento describe los mapas conceptuales y redes semánticas. Los mapas conceptuales son herramientas gráficas para organizar y representar el conocimiento mediante conceptos y relaciones. Fueron desarrollados en 1972 y son útiles para mostrar cambios en la comprensión de un tema. Las redes semánticas representan el conocimiento a través de nodos y enlaces entre conceptos.
3. Incluyen conceptos, usualmente
encerrados en círculos o cajitas de algún
tipo, y relaciones entre conceptos indicados
por una línea conectiva que enlaza los dos
conceptos.
Las palabras sobre la línea, denominadas
palabras de enlace o frases de enlace,
especifican la relación entre los dos
conceptos.
4. Los mapas conceptuales fueron desarrollados
en 1972 en el transcurso del programa de
investigación de Novak en la Universidad de
Cornell donde él se dedicó a seguir y entender
los cambios en el conocimiento de las ciencias
en niños (Novak & Musonda, 1991).
5. Durante la investigación, se volvió evidente
que los mapas conceptuales eran útiles no
solo para representar el cambio en la
comprensión de los niños sobre un tema, sino
que eran además una herramienta excelente
para que los estudiantes de posgrado
expresaran su comprensión en sus cursos.
6. La popularidad de los mapas conceptuales
pronto se extendió y ahora son utilizados por
todo el mundo como una forma de representar
el conocimiento de una persona sobre un tema,
por usuarios de todas las edades y en todos los
dominios de conocimiento.
7. Estructura proposicional: En un mapa conceptual,
cada concepto consiste del mínimo de palabras
necesarias para expresar el objeto o acontecimiento,
y las palabras de enlace son también tan concisas
como sea posible y casi siempre incluyen un verbo.
Estructura jerárquica: Dentro de cualquier dominio
de conocimiento, hay una jerarquía de conceptos,
donde los más generales están "arriba" en la
jerarquía y los conceptos más específicos, menos
generales, se encuentran jerárquicamente más
abajo. Los mapas conceptuales tienden a ser
representados como una jerarquía gráfica siguiendo
esta jerarquía conceptual.
8. Enlaces cruzados: Esta son relaciones o enlaces
entre conceptos de diferentes segmentos o
dominios del mapa conceptual. Los enlaces
cruzados nos ayudan ver cómo un concepto en un
dominio de conocimiento representado en el mapa
está relacionado con un concepto en otro dominio
expresado en el mapa. En la creación de nuevo
conocimiento, los enlaces cruzados
frecuentemente representan saltos creativos de
parte del constructor de conocimiento.
9. Los mapas conceptuales están destinados a ser usados
por personas se todas las edades, desde niños de edad
pre-escolar hasta científicos, y no están destinados a
ser interpretados por computadores son una forma de
comunicación entre humanos.
Un mapa conceptual en el cual las proposiciones son
limitadas a representaciones formales (o rígidas) que
puedan ser interpretadas por computadoras se
convierte en una red semántica, o una representación
de tipo RDF o similar.
10. Introducción.
las redes son estructuras que cuentan con un
patrón que las caracteriza y que les permite
relacionar diversos nodos (los elementos que
componen la red).
La semántica, por otra parte, es aquello que está
vinculado a la significación de los conceptos.
11. Se denomina red semántica al esquema que permite
representar, a través de un gráfico, cómo se
interrelacionan las palabras. De esta forma, se
grafican los saberes lingüísticos a través de una mapa
conceptual.
Los nodos de la red semántica son los conceptos o
palabras.
Cuando existe un vínculo semántico (es decir, de
significado) entre ellos, se unen a través de una línea.
Así se va desarrollando la red semántica que plasma,
en su esquema, la interrelación de los conceptos.
12. Las redes semánticas han sido muy utilizadas en
Inteligencia Artificial para representar el
conocimiento y por tanto ha existido una gran
diversificación de técnicas. Los elementos
básicos que encontramos en todos los
esquemas de redes son:
1. Estructuras de datos en nodos, que
representan conceptos, unidas por arcos que
representan las relaciones entre los conceptos.
2. Un conjunto de procedimientos de inferencia
que operan sobre las estructuras de datos.
13. Permiten la declaración de importantes
asociaciones en forma explícita.
Debido a que los nodos relacionados están
directamente conectados, y no se expresan las
relaciones en una gran base de datos, el tiempo
que toma el proceso de búsqueda por hechos
particulares puede ser significativamente
reducido.
15. La lógica de primer orden, también
llamada lógica de predicados o cálculo de
predicados, es un sistema
formal diseñado para estudiar
la inferencia en los lenguajes de primer
orden.
Los lenguajes de primer orden son, a su
vez, lenguajes formales con cuantificadores que
alcanzan sólo a variables de individuo, y con
predicados y funciones cuyos argumentos son
sólo constantes o variables de individuo.
La lógica de primer orden tiene el
poder expresivo suficiente para
definir a prácticamente todas
las matemáticas.
16. La lógica de predicados esta basada en la
idea de que las sentencias realmente
expresan relaciones entre objetos, así como
también cualidades y atributos de tales
objetos.
Los objetos pueden ser personas, objetos físicos,
o conceptos. Tales cualidades, relaciones o
atributos se denominan predicados. Los objetos
se conocen como argumentos o términos de
predicado.
Al igual que las proposiciones, los predicados tiene un valor
de veracidad, pero a diferencia de las preposiciones, su valor
de verdad, depende de sus términos. Es decir un predicado
puede ser verdadero par aun conjunto de términos, pero
falso para otro.
17. VENTAJAS Y DESVENTAJAS DE LA LOGICA
DE PREDICADOS
A continuación mostraremos algunos aspectos característicos
de la lógica de predicados y su implementación computacional,
en el lenguaje de programación PROLOG.:
Manejo de Incertidumbre
Una de las mayores de ventajas de la lógica de
predicados es que solo dispone de dos niveles
de veracidad: verdadero y falso.
Esto se debe a que deducción
siempre garantiza que la eficiencia es
absolutamente verdadera. Sin embargo, en la
vida real no todo es blanco y negro.
En cierta forma en PROLOG ha logrado
mitigar esta desventaja, permitiendo la
inclusión de factores de certeza.
18. Razonamiento Monotonico
La lógica de predicados al ser
formalizada de razonamiento
monótono, no resulta muy adecuada
para ciertos dominios del mundo real,
en los cuales las verdaderas pueden
cambiar con el paso del tiempo.
PROLOG compendia esta deficiencia
proporcionando un mecanismo para
remover los hechos de la base de
datos. Por ejemplo TURBO PROLOG se
tiene la cláusula de RETRACTALL.
19. Programación Declarativa
La lógica de predicados, tal como esta diseñada en
PROLOG, es un lenguaje programación declarativo,
en donde el programador solo necesita ocuparse
del conocimiento expresado en términos de
operados de implicación y los axiomas.
El mecanismo deductivo de la lógica de predicados
llega a una respuesta (si esto es factible), utilizando
un proceso exhaustivo de unificación y búsqueda.
A pesar de que la búsqueda exhaustiva puede ser
apropiada en muchos problemas, también puede
introducir ineficiencias durante la ejecución.
Para lograr un cierto control en el proceso de
búsqueda PROLOG ofrece la operación de corte,
CUT. Cuando no se utiliza el CUT, PROLOG se
convierte en un lenguaje puramente declarativo.
21. Explica como construir
oraciones
El alfabeto del lenguaje formal Q consta de los
siguientes símbolos:
a x f P * ' ¬ ∧ ∨ →
↔ ∀ ∃ ( )
22. A partir de estos símbolos, se definen las siguientes nociones:
Un nombre (o constante de individuo) es una a seguida de una o más comillas.
Por ejemplo, a', a'' y a'''''' son nombres. Para facilitar la lectura, se suelen omitir
las comillas y utilizar distintas letras cerca del comienzo del alfabeto latino, con o
sin subíndices, para distinguir nombres distintos: a, b, c, d, e, a1, a3, c9, etc.
Una variable (o variable de individuo) es una x seguida de una o más comillas.
Por ejemplo, x', x'' y x'''''' son variables. Para facilitar la lectura, se suelen omitir
las comillas y utilizar distintas letras cerca del final del alfabeto latino, con o sin
subíndices, para distinguir variables distintas: x, y, z, x1, x3, z9, etc.
Un functor es una f seguida de uno o más asteriscos, y luego de una o más
comillas. Por ejemplo, f *', f **'''' y f ****'' son functores. El número de asteriscos
indica la aridad del functor. Para facilitar la lectura, se suelen omitir los asteriscos
y las comillas y utilizar distintas letras del alfabeto latino cerca de la f, con o sin
subíndices, para distinguir functores distintos: f, g, h, f1, f3, h9, etc.
Un predicado es una P seguida de uno o más asteriscos, y luego de una o más
comillas. Por ejemplo, P *', P **'''' y P ****'' son predicados. El número de
asteriscos indica la aridad del predicado. Para facilitar la lectura, se suelen omitir
los asteriscos y las comillas y utilizar distintas letras en mayúscula a lo largo del
alfabeto latino para distinguir predicados distintos: P, A, B, C, S, T, etc.
23. La noción de término se define recursivamente mediante las siguientes
cláusulas:
- Todos los nombres son términos.
- Todas las variables son términos.
- Si f es un functor de aridad n ≥ 1 y t1,...,tn son términos, entonces f(t1,...,tn)
es un término.
- Nada más es un término.
Según esta definición, las siguientes cadenas de caracteres son términos:
25. interpretación de signos lingüísticos como
símbolos, palabras, expresiones o
representaciones formales. En principio
cualquier medio de expresión (lenguaje
formal o natural) admite una correspondencia
entre expresiones de símbolos o palabras y
situaciones o conjuntos de cosas que se
encuentran en el mundo físico o abstracto
que puede ser descrito por dicho medio de
expresión.
26.
27. son símbolos utilizados para indicar cuántos o
qué tipo de elementos de un conjunto dado
cumplen con cierta propiedad (por
ejemplo, pertenencia, equivalencia u orden).
Existen muchos tipos de cuantificadores,
entre los más utilizados están: