What is a knowledge representation
-
Upload
leonardobernalzamora -
Category
Documents
-
view
1.372 -
download
3
description
Transcript of What is a knowledge representation
“WHAT IS A KNOWLEDGE
REPRESENTATION”
UNIVERSIDAD DE BOYACÁ
DISEÑO: ING. LEONARDO BERNAL ZAMORA
REPRESENTACION DE CONOCIMIENTO
La representación constituye el núcleo de la ciencia de las computadoras. Cada pieza de código escrita es significativa para la representación de algún objeto. En la actualidad la representación del conocimiento es potencialmente investigada, de tal forma que cualquier libro que trate sobre inteligencia artificial o sistemas expertos considera a la representación del conocimiento como un resultado central.
Los ingredientes básicos para la representación del conocimiento son tres:
Primero está referido a un lenguaje de representación
Segundo a la capacidad de inferencia de la representación
Tercero al conocimiento del dominio.
En general una representación debe de tener dos capacidades: por un lado una expresividad adecuada y por otro una eficiencia de razonamiento. La expresividad y el razonamiento le confieren al formalismo la capacidad adecuada para ser considerado como una alternativa útil para la representación.
Se establece, a priori la definición de los formalismos, que los criterios para juzgar una representación adecuada son tres: lo primero que hay que observar es la capacidad lógica, referida a que el formalismo sea capaz de expresar el conocimiento que se desea expresar; lo segundo es el poderío heurístico, que se refiere a la capacidad para resolver problemas utilizando inferencias; finalmente el tercer criterio es la conveniencia de la notación, que significa la simplicidad para acceder al conocimiento y la facilidad de su entendimiento.
La características más importante que deben de tener todo Sistemas Inteligente (SI) son:
DEFINICIÓN La definición del concepto de representación de
conocimiento se realiza desde dos puntos de vista, atómico y holístico.
Vista Atómica En su etimología la palabra representación viene del latín
“Repraesentare” que significa: hacer aparecer como presente. Por otro lado la palabra Conocimiento deriva de la palabra latina “Gnosco” que significa: aquello que ha sido sujeto al acto de reconocimiento. Si se combinan ambos significados se tiene que: “la representación de “la representación de conocimiento es hacer que aparezca como presente conocimiento es hacer que aparezca como presente lo que ha sido sujeto al acto de reconocimiento”. lo que ha sido sujeto al acto de reconocimiento”.
Otra definición sostiene que la representación de conocimiento puede ser algo como la correspondencia de reglas conocidas y el estado del mundo en alguna estructura apropiada.
Vista Holística Esta vista corresponde al holismo que dice, él
todo es mas que la suma de sus partes. Así la representación de conocimiento es mas que solo la conjunción de los conceptos de conocimiento y representación.
Modelo Realístico Simple Este modelo conceptual corresponde al proceso de
cognición. El dominio de interés es alguna parte (P) del mundo (W) y el resultado será una teoría acerca de dicha parte P. Un modelo realístico-simple es una abstracción extractada de lo concreto. El proceso de abstracción o construcción tiene tres fases: a) Se realiza la selección de un conjunto de datos acerca
del mundo. La selección es en principio sin ninguna teoría de respaldo.
b) Los datos se combinan en una estructura. c) Se refina la estructura hasta que la misma refleja al
mundo concreto, lo suficientemente bien.
Ejemplo: Considere a una persona X preguntarse ¿por qué un yate anclado en un puerto no se encauza por efecto del viento?. X primero observa el yate y toma notas acerca de su forma (fase a); luego X construye un modelo a escala en una pieza de madera (fase b); en tercer lugar examina el modelo en un cubo lleno de agua y lo refina hasta que el mismo se comporte como el yate del puerto (fase c).
Finalmente X entiende que una quilla grande es crucial para los movimientos del yate.
Modelo Lógico Matemático Este modelo conceptual corresponde a la
asignación de significado a la representación. El modelo lógico matemático de una teoría o realización, es una estructura para la cual todos los axiomas de la teoría son validos.
Ejemplo: Considere la teoría de cómo el yate se comporta en el agua. Un teorema de esta teoría puede ser expresado de manera muy informal como: “un yate estable tiene una quilla grande”. Una realización de la teoría son yates de madera con grandes quillas de hierro.
Sobre la base de lo observado en los dos modelos holísticos para la representación de conocimiento se puede decir que: El conocimiento es algo que tiene los seres humanos. Se relaciona
con algún mundo W, entendido o conocido por una persona. La representación es un proceso, pero no necesariamente un
proceso de representar conocimiento. El conocimiento representado es expresado en algún lenguaje L.
Para hablar de conocimiento representado también se requiere que el mismo pueda ser interpretado por alguna persona.
La representación de conocimiento es el acto de representar conocimiento.
Con lo mencionado en los anteriores cuatro puntos se tiene que la representación de conocimiento involucra a:
a) Un dominio del discurso, es decir algún mundo físico abstracto W.
b) Un lenguaje L, en el que se representa conocimiento acerca del mundo W.
c) Conexiones entre el mundo y el conocimiento representado y viceversa.
d) La representación de conocimiento de algún mundo W, en algún lenguaje L.
e) La interpretación del conocimiento representado.
EVOLUCION DE LOS SISTEMAS BASADOS EN CONOCIMIENTO
Evolución del Software
Evolución del Software
Dato El concepto de dato es, por supuesto, el
concepto central en la ciencia de las computadoras. Dicha afirmación es evidente en la siguiente definición proporcionada por Eriksen, Helms y Romer en 1975: “Los datos constituyen una representación formalizada de hechos o ideas en forma tal que puedan ser comunicados o transformados mediante un proceso”.
Sistema de Programación Convencional Un sistema de programación convencional
consta de un conjunto de archivos, los que normalmente pueden ser utilizados por programas, además de un programa que trabaja sobre esos archivos. El programa y el conjunto de archivos están relacionados de manera cerrada.
Sistema de Base de Datos De manera esencial un Sistema de Base de
Datos es un sistema computarizado para la acumulación de registros. Consta de una Base de Datos (BD), descrip tores de la Base de Datos y un Sistema de Administración de la Base de Datos, el cual es utilizado por un programa.
Una BD es una colección de archivos de datos computarizados. Los descriptores de la BD describen por ejemplo los campos que están en los archivos y la longitud de los mismos. El DBMS proporciona facilidades al usuario relativos a la operación sobre los archivos. Algunas de las operaciones son: adicionar y remover archivos, insertar, recuperar, actualizar y eliminar datos de los archivos existentes.
Sistema Basado en Conocimiento Un Sistema Basado en Conocimiento (SBC)
puede ser visto como la evolución de un sistema de BD. En muchos casos incluye un sistema de BD, e involucra una maquina de inferencias que opera sobre la base de conocimiento interactuando con el sistema de BD.
EXPERTO HUMANO
MEMORIA A LARGO PLAZO
Conocimiento en el dominio, experiencia, expertisia.
RAZONAMIENTO
APRENDIZAJE
MEMORIA A CORTO PLAZO
Hechos, casos, reglas, conclusiones.
ASESORIA
Recomendaciones, conclusiones, casos resueltos.
SISTEMA INTELIGENTE
BASE DE CONOCIMIENTOS
Conocimiento en el dominio, experiencia, expertisia.
MAQUINA DE INFERENCIA/RED NEURONAL/AG.
MEMORIA DE TRABAJO (RAM)
Hechos, casos, reglas, conclusiones.
USUARIO
Recomendaciones, conclusiones, casos resueltos.
FASES DE DESARROLLO DE SISTEMAS CONVENCIONALES Y LOS SISTEMAS BASADOS EN CONOCIMIENTO
FASES DE LA INGENIERÍA DEL SOFTWARE: MODELO EN CASCADA
21
www.lsi.upc.es/~luigi/II/.../4c-ingenieria-del-conocimiento-(es).ppt
FASES DE LA INGENIERÍA DEL SOFTWARE: MODELO EN ESPIRAL
22
DIFERENCIAS DE LOS SBCS
Un Sistema de software convencionales:Algoritmos conocidos y de uso comúnFácil estimar la naturaleza y cantidad del conocimiento
Un SBC: Conocimiento
Incompleto Conocimiento Impreciso Heurístico
Difícil estimar la naturaleza y cantidad del conocimiento
23
Solución: diseño incremental y prototipado rápido
DIFERENCIAS DE LOS SBCS
DIFERENCIAS DE LOS SBCS Objetivo: desarrollar un prototipo funcional
que recoja las funcionalidades básicas del sistema
El análisis y la especificación deben tener en cuenta el sistema completo.
El diseño e la implementación se limitan al prototipo inicial.
Este prototipo se completa incrementalmente Ventaja: se dispone de un sistema funcional
durante todo el proceso.
25
CICLO DE VIDA DE UN SBC
26
CICLO DE VIDA DE UN SBC
1. Análisis del problema: Recopilar información sobre el proyecto y determinar su viabilidad.
2. Especiación de requerimientos: Fijar los objetivos y métodos para conseguirlos.
3. Diseño preliminar: Decisiones a alto nivel sobre el diseño
formalismo de representación del conocimiento herramientas fuentes de conocimiento
27
CICLO DE VIDA DE UN SBC
4. Prototipo inicial y evaluación: Construir un prototipo con cobertura limitada; evaluar las decisiones de diseño a partir del prototipo.
5. Diseño final: Validar las decisiones y proponer el diseño del sistema de manera que permita un desarrollo incremental.
28
CICLO DE VIDA DE UN SBC
6. Implementación: Completar la adquisición del conocimiento, ampliar incrementalmente el prototipo inicial.
7. Validación y verificación: Comprobar que el sistema cumple las especificaciones.
8. Ajustes de diseño: Realimentar el proceso. Los cambios en el diseño deben se mínimos
9. Mantenimiento del sistema
29
UNA METODOLOGÍA SIMPLIFICADA
Para aplicaciones pequeñas se puede aplicar una metodología en cascada que integra todo el proceso de desarrollo:1. Identificación del problema2. Conceptualización3. Formalización4. Implementación5. Validación y prueba
30
31
FASES DE LA INGENIERÍA DEL CONOCIMIENTO
Prueba
Identificación
Conceptualización
Formalización
Implementación
Requerimientos
Conceptos
Estructura
Reglas
Reformulación
Rediseño
Refinamiento
[Buchanan et al., 1983] Inicio
FORMALISMOS DE REPRESENTACION DEL CONOCIMIENTO
FORMALISMOS DE REPRESENTACION DEL CONOCIMIENTO
Las formas de representación del conocimiento permiten formalizar el conocimiento de un dominio o de la forma de entender una situación.
El objeto de esta formalización es la manipulación posterior por parte del ordenador para obtener automáticamente conclusiones de forma similar a la que obtendría un experto humano que dispusiera del conocimiento.
Requisitos de los formalismos de representación del conocimiento:
potencia expresiva facilidad de interpretación eficiencia deductiva posibilidad de explicación y justificación
http://www.dia.fi.upm.es/~ocorcho/Asignaturas/ModelosRazonamiento/PresentacionesClases/01.01.FormalismosRepresentacion.pdf
TÉCNICAS DE REPRESENTACIÓN
http://www.dia.fi.upm.es/~ocorcho/Asignaturas/ModelosRazonamiento/PresentacionesClases/01.01.FormalismosRepresentacion.pdf
FORMALISMOS DE REPRESENTACION DEL CONOCIMIENTO
Es útil considerar la representación de conocimiento como una combinación de estructuras de datos y procesamientos interpretativos capaces de hacer que un programa exhiba un comportamiento experto.
Un sistema de inteligencia artificial necesita distintos tipos de conocimiento para comportarse inteligentemente o de modo experto. Algunos tipos son:
a) Conocimiento de Objetos: donde se guardan los hechos relacionados con objetos (saber que...).
b) Conocimiento de acciones y sucesos: donde se guardan los hechos sobre los sucesos ocurridos (saber que...).
c) Conocimiento sobre prestaciones: donde se guardan habilidades como montar una bicicleta, nadar, jugar fútbol, etc. (saber como...).
d) Meta conocimiento: saber sobre lo que se sabe, como ejemplo conocer las limitaciones de nuestro conocimiento.
FORMALISMOS DE REPRESENTACION DEL CONOCIMIENTO
La RC describe 4 enfoques que han adquirido cierto grado de aceptabilidad entre los investigadores en el campo de la IA: La Lógica Formal
Sintaxis Reglas de Inferencia
Las Reglas de Producción Método de Inferencia
Las Redes Semánticas La Herencia Confrontación
Frames Componentes Herencia Búsqueda de Frames
Referencias Electrónicas ARPA Knowledge Sharing Effort Información y programas relacionados con el ARPA Knowledge
Sharing Effort, en Stanford. http://www-ksl.stanford.edu/knowledge-sharing/README.html CODE4 Entornos por descripción orientada a conceptos, en la
Universidad de Ottawa. http://www.csi.uottawa.ca/~tcl/CODE4.html Description Logics Teorías y sistemas para expresar conocimiento estructurado. http://dl.kr.org/dl/ KADS Esprit Project Metodología para el desarrollo basado en el conocimiento. http://www.swi.psy.uva.nl/projects/CommonKADS/home.html Knowledge-Base Projects Proyectos KB alrededor del mundo; lista completada por Peter
Clark. http://www.cs.utexas.edu/users/mfkb/related.html Knowledge Sharing and the Logic Group at Stanford Información sobre el KIF (Formato de intercambio de
conocimiento) en Stanford. http://hpdce.stanford.edu/logic.html