Unidad 3 Representacin del conocimiento y razonamiento.

Representacin del Conocimiento

Tripletas OAV (Objetivo-Atributo-Valor )

Redes Semnticas Frames Reglas

Tripletas Objetivo-Atributo-Valor (OAV). Permiten derivar una representacin grfica del conocimiento organizada en tres niveles: objeto compuesto de atributos que contienen valores. Ejemplo

Redes Semnticas. Ofrecen un esquema ms general y desestructurado que las tripletas OAV. Donde cada nodo representa cualquier concepto u objeto, y los arcos representan relaciones que existen entre dichos conceptos. Ejemplo:

Frames (Marcos).Un frame es una plantilla de objetos que contiene un conjunto de slots. Cada slot puede ser de alguno de los siguientes tipos: 1)un atributo simple con un valor opcional de default; 2)un procedimiento; 3)una restriccin; 4)un apuntador a otro frame.
Frame: Nombre: Raza: Conducta: Dueo: Foto: Perro Chary Pastor If ladra then no-muerde frame(Persona,Luis) display(chary.jpg)

Sistemas Basados en Reglas. En un sistema basado en relgas existen dos elementos bsicos que sirven para la representacin del conocimiento:

3.1. Sistemas basados en conocimiento.

Un sistema experto o sistema basado en conocimiento se puede definir como: ``...sistema que resuelve problemas utilizando una representacin simblica del conocimiento humano. Caractersticas importantes: Representacin explcita del conocimiento. Capacidad de razonamiento independiente de la aplicacin especfica. Capacidad de explicar sus conclusiones y el proceso de razonamiento. Alto rendimiento en un dominio especfico. Uso de heursticas vs. modelos matemticos. Uso de inferencia simblica vs. algoritmo numrico.

3.1.1. Concepto de conocimiento.

3.1.2. Lenguajes utilizados en la representacin de conocimiento.

Prolog es un lenguaje de implementacin de la lgica de primer orden, que en sus versiones ms recientes incluye tambin construcciones para la programacin con restricciones. OWL (Web Ontology Language) es un lenguaje de ontolologas para la web basado en una lgica de descripciones (en realidad, son tres sublenguajes).

Lenguajes basados en la lgica de predicados de primer orden, con sintaxis y semntica formalizadas

3.2. Mapas conceptuales.

Un mapa conceptual es una tcnica sencilla que permite representar el conocimiento de forma grfica como redes conceptuales compuestas por nodos que representan los conceptos, y enlaces, que representan las relaciones entre los conceptos.

3.3. Redes semnticas.

Las redes semnticas son grafos orientados que proporcionan una representacin declarativa de objetos, propiedades y relaciones. Los nodos se utilizan para representar objetos o propiedades. Los arcos representan las relaciones entre nodos. El mecanismo de inferencia bsico en las redes semnticas es la herencia de propiedades.

Las partes de una red semntica son:

nodos: es un concepto y se encierra e un crculo o elipse.

relaciones: es una propiedad del concepto y pueden ponerse de dos formas: implcitas: es una flecha que no especifica su contenido o explcitas: es una flecha en donde se especifica su contenido

3.4. Lgica de predicados.

En lgica de predicados, los valores de verdad se atribuyen a predicados que denotan relaciones entre entidades del universo modelado

3.4.1. Sintaxis.
es la parte de la gramtica que estudia las reglas y principios que gobiernan la combinatoria de constituyentes sintcticos y la formacin de unidades superiores a estos, como lossintagmas y oraciones gramaticales. La sintaxis, por tanto, estudia las formas en que se combinan las palabras, as como las relaciones sintagmticas y paradigmticas existentes entre ellas.

3.4.2. Semntica.
Se refiere a los aspectos del significado, sentido o interpretacin de signos lingsticos como smbolos, palabras, expresiones o representaciones formales. En principio cualquier medio de expresin (lenguaje formal o natural) admite una correspondencia entre expresiones de smbolos o palabras y situaciones o conjuntos de cosas que se encuentran en el mundo fsico o abstracto que puede ser descrito por dicho medio de expresin.

3.4.3. Validez lgica de predicados.

LA LOGICA DE PREDICADOS

El lenguaje es el instrumento que se usa para la comunicacin entre humanos. El lenguaje est formado por frases, entre ellas podemos distinguir: frases imperativas, frases interrogativas y frases declarativas.
La definicin de lgica, disciplina que estudia mtodos de formalizacin del conocimiento humano "de los mtodos de formalizacin de frases declarativas.

3.4.4. Inferencia.
Reglas de inferencia
El proceso inferencial argumento o razonamiento en la lgica de predicados es anlogo al de la lgica proposicional

3.4.4. Inferencia.
Reglas de inferencia El proceso inferencial argumento o razonamiento en la lgica de predicados es anlogo al de la lgica proposicional Ley de especificacin universal (EU). Ley de especificacin existencial (EE). Ley de generalizacin existencial (GE). Ley de generalizacin universal (GU).

3.5 Razonamiento con incertidumbre.

En situaciones reales, no siempre es posible contar con toda la informacin. Inclusive la informacin disponible puede ser incorrecta, incompleta o cambiar muy rpidamente. Todo esto da lugar a diferentes formas de inconsistencias e incertidumbre. Los principales modelos desarrollados son: Modelo estadstico probabilstico. Modelo aproximado. Modelo de lgica difusa.

3.5.1. Aprendizaje.
El aprendizaje denota cambios en el sistema que permiten que se realic e la misma tarea ms eficiente y eficazmente la prxima vez

Un sistema se dice que aprende si puede modificar su comportamiento despus de un conjunto de experiencias, de forma que pueda realizar la tarea con mayor precisin o ms eficientemente o realizar tareas ms all de sus capacidades previas

3.5.2. Razonamiento probabilstico.

La tcnica ms antigua y mejor definida para manejar la incertidumbre es la Regla de Bayes, la misma que est basada en la teora clsica de la probabilidad Las hiptesis son ms o menos probables dependiendo de las posibilidades de los hechos o evidencias que las sostiene La probabilidades se calculan en base a la frmula general de la probabilidad condicionada de Bayes o algunas transformaciones de la misma

3.6. Demostracin y mtodos.

Qu es una demostracin?
Mtodos Deductivos de demostracin. Segn el sistema aristotlico, el mtodo deductivo es un proceso que parte de un conocimiento general, y arriba a uno particular. La aplicacin del mtodo deductivo nos lleva a un conocimiento con grado de certeza absoluta, y esta cimentado en proposiciones llamadas SILOGISMOS.

Conocimiento No- Montono Y Otras Lgicas.