CUERVOS TEAM

ITNL INTELIGENCIA ARTIFICIAL

Son herramientas gráficas para organizar y

representar el conocimiento.

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.

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).

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.

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.

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.

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.

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.

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.

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.

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.

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.

YOLANDA SIAS DE PEREZ

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.

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.

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.

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.

Programación DeclarativaLa 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.

http://es.wikipedia.org/wiki/L%C3%B3gica_de_primer_orden

http://www.uaeh.edu.mx/docencia/Tesis/icbi/licenciatura/documentos/Sistemas%20expertos%20y%20sus%20aplicaciones.pdf

http://inteligenciaartificial-isc.blogspot.mx/p/unidad-3-representacion-del.html

http://www.uaeh.edu.mx/docencia/Tesis/icbi/licenciatura/documentos/Sistemas%20expertos%20y%20sus%20aplicaciones.pdf

Explica como construir oraciones

El alfabeto del lenguaje formal Q consta de los siguientes símbolos:

a x f P * ' ¬ ∧ ∨ → ↔ ∀ ∃ ( )

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.

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:

http://iaitj.wordpress.com/2013/06/27/tema-2-4/

http://es.wikipedia.org/wiki/L%C3%B3gica_de_primer_orden#Sintaxis

interpretación de signos lingüísticos comosímbolos, palabras, expresiones orepresentaciones formales. En principiocualquier medio de expresión (lenguajeformal o natural) admite una correspondenciaentre expresiones de símbolos o palabras ysituaciones o conjuntos de cosas que seencuentran en el mundo físico o abstractoque puede ser descrito por dicho medio deexpresión.

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: