tecnicas de busqueda
Post on 04-Jul-2015
143 Views
Preview:
DESCRIPTION
TRANSCRIPT
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:
top related