Razonamiento Basado Casos Via Diseno Engranes
Razonamiento Basado Casos Via Diseno Engranes
Razonamiento Basado Casos Via Diseno Engranes
com
Resumen
Con el objetivo de mejorar la reutilizacin de experiencias de los sistemas CAD (Computer Aided Design) (Diseo Asistido por Computadoras) actuales y no permitir que se pierda la experiencia acumulada por los diseadores durante aos, se hace necesario acudir a tcnicas de avanzada en la computacin y dentro de ellas las tcnicas de Inteligencia Artificial (IA). Es por ello que en esta monografa se dan algunos rasgos y definiciones de la IA. Se realiza una caracterizacin de los Sistemas Basados en el Conocimiento (SBCo), su desarrollo y tipos existentes. Se analiza cmo el proceso de adquisicin de conocimiento en lo relativo a la creacin de la Base de Conocimientos (BC) ha motivado el desarrollo de nuevas tecnologas, en particular se describe el Razonamiento Basado en Casos (RBC) como un escaln superior y se comenta acerca de varios Sistemas Basados en Casos (SBCa) que existen en la actualidad en reas como el diagnstico, el diseo y la planificacin; se ampla en los referidos al diseo.
Introduccin
La IA es una rama de la Ciencia de la Computacin dedicada a la creacin de hardware y software que intenta producir resultados similares a los producidos por los humanos. [1] IA es un trmino que se acompaa de muchas definiciones; as por ejemplo, muchos expertos estn de acuerdo en que a la IA le conciernen dos ideas bsicas: la primera es que sta involucra el estudio de los procesos del pensamiento de los humanos y la segunda que trata de representar estos procesos en una computadora [2]. Existe un conjunto de problemas que cae dentro del radio de accin de la IA, entre los que se pueden citar: [3-5] Juegos Demostracin de teoremas Resolucin general de problemas Percepcin: - Visin - Habla Comprensin del lenguaje natural Robtica Resolucin de problemas expertos (sistemas expertos): -Matemtica simblica -Diagnosis mdica -Anlisis qumico -Diseo en ingeniera Uno de los primeros proyectos de los investigadores de la IA fue el desarrollo del intelecto artificial. Este proyecto conceba a la computadora con dotes para almacenar y manipular todo el conocimiento general existente, con el fin de desempear funciones inteligentes. Precisamente estas ideas traan aparejado el diseo de mtodos generales de solucin, los cuales constituiran mtodos de inferencia poderosos y universales. [3] Sin embargo, en la dcada de los aos 70 se reconoci que era impracticable trabajar con estos tipos de mtodos a la hora de enfrentar aplicaciones prcticas. Se determin que era necesario conocimiento especfico sobre el problema, limitado a los dominios de aplicacin de inters, en lugar de conocimiento
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
general aplicable a muchos dominios. Este reconocimiento condujo al desarrollo de los llamados Sistemas Expertos (SE). [5] Un SE puede concebirse como un sistema computarizado que usa conocimiento sobre algn dominio para llegar a una solucin de un problema de ese dominio, siendo esa solucin la misma que la obtenida por una persona experimentada en el dominio del problema cuando se enfrenta a l. Uno de sus objetivos es mejorar la productividad e incrementar la fuerza de trabajo en muchas reas especializadas donde se hace difcil encontrar y mantener los expertos humanos [2]. Sin embargo, esto no es una definicin porque pudiera ser aplicada a programas que no se consideran SE. Realmente, los SE se caracterizan por ms rasgos y no simplemente por el hecho de duplicar conocimiento y experticidad de un experto humano para un dominio especfico. Los conceptos fundamentales relativos a los SE que lo distinguen de los programas algortmicos convencionales y de los programas basados en bsqueda general son: [3] La separacin del conocimiento de cmo ste es usado (distincin entre conocimiento y estrategia de control). El uso de conocimiento muy especfico del dominio. Naturaleza heurstica en lugar de algortmica del conocimiento empleado. No requieren completitud y pueden dar varias soluciones. Frecuentemente se usan de forma indistinta los trminos SE y SBCo. No obstante, algunos autores los diferencian, limitando el nombre de SE al caso en que se utiliza conocimiento experto (conocimiento privado) y adems el sistema exhibe amplias facilidades de explicacin. [2], [3], [5], Otro enfoque de la IA es el denominado como Inteligencia Artificial Conexionista (IAC), el cual generalmente se identifica con las Redes Neuronales Artificiales. En ste la bsqueda de soluciones es un proceso paralelo de clculo de niveles de activacin de las neuronas, el conocimiento se formaliza como un conjunto de pesos asociados a los enlaces entre las neuronas de la red y para el aprendizaje se utilizan diferentes algoritmos con el objetivo de ajustar los pesos de la red neuronal artificial. [6] El empleo del enfoque conexionista para el desarrollo de SBCo ofrece entre sus ventajas principales el hecho de no necesitar expertos al cual extraerle el conocimiento, pues el conocimiento lo adquieren a partir de ejemplos. No obstante, tienen tambin desventajas, entre las cuales se pueden citar: necesidad de gran cantidad de ejemplos y no poder explicar cmo alcanza los resultados. Por esta razn, se trabaja en la actualidad en buscar la combinacin de enfoques, lo cual ha conllevado al desarrollo de sistemas hbridos con el objetivo de aprovechar las bondades de los modelos y minimizar las debilidades de cada uno. [7] La programacin de los SBCo incluye como aspecto fundamental la formalizacin del conocimiento, la cual hace uso de la representacin explcita del conocimiento a utilizar por el sistema, de su interpretacin y manipulacin lgica por medio de mecanismos de inferencia, que permitan deducir nuevo conocimiento a partir del que ya se conoce. [1] Este trabajo se plantea precisamente eso, la formalizacin del conocimiento en el campo del diseo, dentro de ciertos lmites, la representacin explcita de ese conocimiento, su interpretacin y manipulacin lgica para obtener un SBCa.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Sin embargo, como se plantea por algunos investigadores [10-12] de acuerdo con el fruto de su experiencia personal, el proceso de adquisicin del conocimiento y por ende la creacin de la BC dificulta el proceso de desarrollo de los sistemas basados en el conocimiento y constituye el clsico cuello de botella para la construccin de stos. De ah la necesidad de desarrollar nuevas tcnicas que tiendan a eliminar lo difcil y complejo del proceso de transferencia del conocimiento atendiendo a: formas de expresar el conocimiento. formas de transferir el conocimiento a la computadora. nmero de participantes que intervienen en la transferencia de informacin. estructuracin del conocimiento. Una vez que la BC se construye, es necesario la existencia de un programa que acceda a ese conocimiento para la inferencia y toma de decisiones en el proceso de solucin del problema. Este programa controla el razonamiento y dirige la bsqueda en la BC y es el que generalmente se conoce con el nombre de mquina de inferencia. Segn Turban [2] existen variadas categoras de razonamiento mtodos inferenciales como son el razonamiento deductivo, el razonamiento inductivo, el razonamiento por analoga, el razonamiento formal, el razonamiento procedural numrico, la generalizacin y la abstraccin. El conocimiento puede organizarse en uno o ms esquemas. Esto es anlogo a las bases de datos que se pueden organizar en forma relacional, jerrquica o red. Una amplia variedad de esquemas se han desarrollado a lo largo de los aos compartiendo todos ellos dos caractersticas. La primera de ellas es que estos esquemas pueden programarse con lenguajes de programacin existentes y almacenarse en memoria. Segundo, todos ellos se disean de modo que el conocimiento que almacenan pueda usarse en el razonamiento, es decir, la BC contiene una estructura de datos que puede manejarse por un sistema de inferencia que usa tcnicas de bsqueda y patrones de equivalencia (pattern matching) para responder preguntas, trazar conclusiones o ejecutar una funcin inteligente. [2], [13] El conocimiento puede ser de diferente tipo: el ms clsico es el conocimiento simblico, que se representa por distintos esquemas o FRC como son: el clculo de predicados, listas, redes semnticas, frames, scripts y reglas de produccin. Otro tipo de conocimiento se expresa por las probabilidades o frecuencias que modelan relaciones entre los valores de los diferentes rasgos que caracterizan el dominio; otro tipo se expresa por los pesos de una red neuronal, y otro por los casos o ejemplos del problema del dominio. [1] Estos diferentes tipos de conocimiento dan lugar a distintos tipos de sistemas basados en el conocimiento (Tabla 2.1). Entre ellos se encuentran los sistemas basados en reglas (SBR), los sistemas basados en probabilidades (SBP), los sistemas expertos conexionistas o redes expertas (RNA) y los sistemas basados en casos (SBCa), aunque existen otros que no se encuentra sealados en la tabla.[14], [15] Tabla 2.1. Tipos de sistemas basados en el conocimiento
Atendiendo a los tipos de SBCo anteriormente mencionados, se puede apreciar que la complejidad del proceso de adquisicin del conocimiento se hace mayor en los sistemas basados en conocimiento de tipo simblico y en particular en los ms difundidos, los sistemas basados en reglas [2, 3, 16, 17]. En stos ese proceso es largo y prolongado porque consta de un conjunto de pasos que incluye la extraccin del conocimiento desde varias fuentes (entrevistas a expertos, consulta de ICT y anlisis de casos), la formulacin de reglas, la codificacin de stas en dependencia del lenguaje seleccionado y el consecuente refinamiento de las mismas.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
En los sistemas basados en probabilidades, la adquisicin de conocimiento consiste en coleccionar muestras y realizar un procesamiento estadstico que produzca las probabilidades o frecuencias que forman la BC; pero este proceso puede ser tambin arduo por la posible carencia de fuentes que permitan estimar tales probabilidades con suficiente fiabilidad. [1] En las redes expertas, la adquisicin del conocimiento incluye la seleccin de ejemplos, el diseo de la topologa de la red y el entrenamiento de la red para hallar el conjunto de pesos. Este entrenamiento puede requerir slo pocas semanas y por ello puede ser menos complejo el proceso de adquisicin del conocimiento que en los tipos de sistemas anteriores. Sin embargo, la definicin de la topologa de la red puede ser compleja. Caudill [18] compara diferentes formas de usar las redes neuronales en concordancia con los sistemas expertos. En los sistemas basados en casos la adquisicin del conocimiento se reduce a la seleccin de un conjunto de ejemplos o casos resueltos y su organizacin en la base de casos, reducindose la envergadura del proceso sustancialmente, siendo esta una de las causas por las cuales se escoge, dentro de todos los tipos de SBCo, a los SBCa para desarrollar el modelo que se propondr. Otra causa es la posibilidad que dan los SBCa a travs de ejemplos resueltos, de transmitir la experiencia de los diseadores ms duchos a los diseadores noveles.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
segunda es la incapacidad de los SBCo actuales para alcanzar xito en cualquier dominio amplio, o captar efectivamente la nocin del sentido comn, mucho de lo cual, se cree, est basado esencialmente en la memorizacin de la experiencia pasada. Slade [23] por su parte enuncia dos propsitos a largo plazo del RBC: el desarrollar un modelo cientfico de la memoria humana y el construir programas robustos que puedan asimilar las experiencias y adaptarse a nuevas situaciones. No siempre el pensamiento humano est regido conscientemente por las reglas de la lgica; en ocasiones es bsicamente un procesamiento de informacin recuperada con el tiempo. Precisamente para Riesbeck y Schank [24] la anterior afirmacin constituye una justificacin para usar el RBC. El RBC representa un nuevo mtodo para resolver problemas no estructurados en el cual el razonamiento se realiza a partir de una memoria asociativa que usa un algoritmo para determinar una medida de semejanza entre dos objetos. El mismo denota un mtodo en el cual la solucin de un nuevo problema se realiza a partir de las soluciones conocidas para un conjunto de problemas previamente resueltos (o no resueltos) del dominio de aplicacin. [1] RBC significa razonar en base a experiencias o casos previos. La idea bsica es: dada la descripcin de un nuevo problema, recuperar desde una base de casos un problema (caso) similar y la solucin de este se adapta al nuevo problema. En [24-26] se fundamentan las caractersticas del RBC. Para Riesbeck y Shank [24] el RBC consta de dos etapas: Encontrar aquellos casos en memoria que solucionen problemas similares al actual. Adaptar la solucin o las soluciones previas al problema actual teniendo en cuenta diferencias entre la situacin previa y la actual. Hacer cualquier inferencia basada en casos incluye los pasos siguientes: 1. Presentar como entrada al sistema una descripcin del problema a resolver o problema actual (Presentacin). 2. Encontrar aquellos casos en memoria que resuelven problemas similares al actual (Recuperacin). 3. Determinar cules partes del viejo caso se deben focalizar para resolver el subproblema activo. 4. Derivar una solucin adaptando la solucin previa a las restricciones del nuevo problema. (Adaptacin). 5. Chequear la consistencia del valor derivado con la descripcin del problema a resolver y aceptar o rechazar este valor (Validacin). 6. Si se considera apropiada la solucin validada, se aade a la base de casos para ser usada en el futuro (Actualizacin). Atendiendo a estos pasos, un sistema que implemente el RBC consta de tres componentes principales, una base de casos, un mdulo de acceso y recuperacin (recuperador) y el mdulo de adaptacin (razonador). En la Figura 1 aparece un esquema tpico de SBCa.
Figura 1 Esquema tpico de un Sistema Basado en Casos. El caso representa situaciones experimentadas previamente y el mismo debe contener la descripcin del problema y su solucin, as como informacin acerca de si la solucin fue correcta o incorrecta.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Para almacenar los casos debe usarse una memoria o base de casos que posea propiedades similares a la memoria humana, tales como: a) ser ilimitada. b) en la medida que la base de casos crezca no puede hacerse ms lenta. c) debe permitir buscar directamente los elementos de memoria que sean relevantes a un problema. La tercera caracterstica est estrechamente vinculada con la segunda componente de un sistema basado en casos, es decir, el mdulo de acceso y recuperacin de los casos. La problemtica est en cmo recuperar desde la base de casos, los casos relevantes con respecto al problema a resolver, partiendo del hecho de que en el mundo real no existe una equivalencia exacta entre dos problemas, por lo que se requiere de un medio para comparar el nuevo problema con los problemas resueltos registrados en la base de casos y seleccionar el o los casos que poseen una mayor similitud con el mismo. Por lo general, el propio modelo de organizacin de la base de casos es quien facilita el acceso al conjunto de casos candidatos. Ahora bien, la recuperacin de los casos que mayor similitud guardan con el patrn de bsqueda, puede realizarse con la utilizacin de dos mtodos: [26] Por semejanza parcial Por analoga En el primero, se emplea una funcin de semejanza la cual determina una medida numrica del grado de similitud de cada objeto de la memoria con respecto al nuevo problema. En el segundo, se busca un elemento de la memoria cuya descripcin pueda hacerse igual a la del nuevo problema, mediante el reemplazamiento de los valores de los rasgos diferentes a partir de la equivalencia de valores, definida en una red semntica. [1] Para aplicar un mtodo de recuperacin debe determinarse bajo qu condiciones se realizar la comparacin entre los casos. Para ello se hace necesario definir: a) El espacio de representacin de cada objeto, caso o problema, es decir, el conjunto de rasgos o propiedades que lo describen R={x1,x2,...,xn}, donde xi representa el rasgo i y n la cantidad de rasgos. b) El dominio de valores permisibles para cada rasgo. Se denomina Mi al conjunto de valores permisibles del rasgo i. c) El criterio de comparacin i de cada rasgo. d) El peso o la importancia de cada rasgo. La seleccin de rasgos es cuestin central, tanto en la definicin del modelo de la base de casos como en el modelo de recuperacin de casos. Potencialmente, en el conjunto de rasgos podran estar todas las propiedades que describen los objetos pero generalmente esto no es as, ya que existen rasgos intiles que carecen de importancia de acuerdo con el dominio de aplicacin. Otro aspecto muy importante es que dentro del conjunto de rasgos que se seleccionan no todos tienen la misma importancia y esta diferencia debe tenerse en cuenta a la hora de comparar objetos. El clculo de la importancia de cada rasgo se realiza a partir de criterios tales como: criterio de los especialistas del dominio de aplicacin. la dispersin de los valores del rasgo. la frecuencia de aparicin del rasgo. la frecuencia del valor dado al rasgo. el carcter diferenciante del rasgo. la fuerza predictiva del rasgo. En la determinacin del dominio del rasgo, se define ante todo la clasificacin de los valores, en cuantitativos y cualitativos, lo cual es importante para posteriormente buscar los criterios de comparacin. El criterio de comparacin puede ser booleano, o finito-valente para representar una graduacin de la igualdad de dos valores del rasgo o aritmtico para dar una magnitud que exprese el grado de coincidencia de dichos valores. En el trabajo de Ruz [27] aparecen varios ejemplos de criterios de comparacin. Cuando la recuperacin se realiza a partir de funciones de semejanza, se disea una expresin analtica que de una medida numrica del grado de similitud entre dos casos. Esta funcin integra los resultados alcanzados a nivel de comparacin de rasgos as como la importancia de los rasgos seleccionados. Pudieran utilizarse como funciones de semejanza los ejemplos de mtricas, seudomtricas o semimtricas conocidos [93] u otros ejemplos que aparecen en la literatura cientfica y que no responden a los conceptos anteriores [6, 27]. La tercera componente de un sistema basado en casos es el mdulo de adaptacin, el cual, a partir de los casos recuperados, se encarga de encontrar los valores de los rasgos desconocidos, mediante un algoritmo capaz de adaptar las soluciones de los casos semejantes para completar el nuevo problema. Atendiendo al mdulo de adaptacin se distinguen dos tipos de sistemas basados en casos: los interpretativos y los solucionadores de problema. Un sistema interpretativo toma un problema y su solucin y
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
utiliza los casos para proponer un argumento para justificar esa solucin. Un solucionador de problemas deriva soluciones al nuevo problema a partir de soluciones viejas a problemas similares. En forma general, la adaptacin puede realizarse atendiendo a las siguientes reglas: No realizar adaptacin Adaptacin parametrizada, es decir, establecer dependencias entre rasgos. Adaptacin basada en un crtico. Usar algoritmos de solucin primaria. Adaptacin basada en casos. Todo proceso de adaptacin consta de cuatro pasos generales segn Jurisica [23]: 1. Decidir qu se necesita adaptar. Para ello, determinar si se va a adaptar basndose en: las diferencias entre ambas descripciones, o las diferencias entre las soluciones recuperadas y los nuevos objetivos, o una explicacin de fracaso, o una lista predefinida de elementos a adaptar 2. Estimar si vale la pena continuar la adaptacin. 3. Especificar cmo se pueden disminuir las diferencias. 4. Ejecutar la adaptacin. La adaptacin se realiza velando por los requisitos siguientes: las reglas de adaptacin deben ser dependientes del dominio, cada tipo de adaptacin implica usar conocimiento del dominio y el tipo de aplicacin implica el momento de la adaptacin. El RBC, como un nuevo MSP para el desarrollo de sistemas basados en el conocimiento, goza de un conjunto de ventajas entre las que se pueden citar: [1] El esfuerzo en la definicin de problemas puede ser capturado para ahorrar trabajo en el futuro. Experiencias previas que resultaron exitosas pueden usarse para justificar nuevas soluciones. La comunicacin entre el sistema y los expertos se realiza en base a ejemplos concretos, es decir, el sistema explica sus decisiones citando precedentes. Es un algoritmo de aprendizaje incremental, el aprendizaje tiene lugar tan pronto como un nuevo ejemplo est disponible sin excesivo costo computacional. Permite proponer soluciones para los problemas rpidamente, reduce el tiempo necesario para derivar respuestas desde el estado inicial de un proceso de bsqueda de soluciones. Esta ventaja se manifiesta principalmente en situaciones donde un sistema basado en reglas por ejemplo, necesitara realizar una larga cadena de inferencias para alcanzar una solucin. Permite proponer soluciones en dominios que no se comprenden completamente. Los casos ayudan a focalizar el razonamiento sobre las partes importantes de un problema a partir de los rasgos ms importantes. Es aplicable a un amplio rango de problemas. Sin embargo, el RBC tiene un conjunto de debilidades en su contra: Un sistema que implementa el RBC no explora todo el espacio de soluciones por lo que no puede afirmarse que la solucin encontrada sea la solucin ptima. En ocasiones se requiere de una base de casos considerablemente grande y bien seleccionada. La consistencia entre varios casos es difcil de mantener. El RBC depende de una adecuada funcin de semejanza y de una correcta ponderacin de los rasgos en la misma, lo cual no es fcil de realizar para cada aplicacin, siendo sta precisamente una novedad del trabajo para el caso de rboles. Existe un gran nmero de problemas para los cuales el RBC resulta ser el nico mtodo de solucin o en ocasiones el mejor. As por ejemplo, en tareas de diseo, el problema a resolver queda definido por un conjunto de restricciones. Muchas veces no existe una solucin correcta que satisfaga todos los requerimientos, y en estos casos no existe un algoritmo que permita hallar la solucin. Otras veces sucede que el espacio de bsqueda es muy grande, por lo que encontrar la solucin en el mismo podra consumir gran cantidad de tiempo. Ese mismo problema en ocasiones es muy grande y difcil de descomponer en partes que se puedan solucionar de forma independiente para luego unir las soluciones parciales en una final. Las dificultades en la descomposicin surgen frecuentemente porque las partes pueden estar muy ligadas entre s. [1], [19] El RBC es tambin ventajoso para problemas especificados de forma incompleta o difusa, as como cuando la solucin de problemas requiere de un largo proceso de inferencia. De acuerdo con todo lo especificado anteriormente, el RBC puede ser til en diferentes tareas de la resolucin de problemas tales como: Diagnstico: dado un conjunto de sntomas y la descripcin de un dispositivo encontrar una explicacin a los sntomas.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Planificacin: dado un conjunto de objetivos y restricciones entrar una secuencia de acciones que puedan ejecutarse para alcanzar los objetivos. Diseo: dado un conjunto de objetivos y restricciones, crear un artefacto que cumpla estos requerimientos de la mejor forma posible, tarea a la que se dedica este trabajo. Explicacin: dada una situacin, encontrar una interpretacin que muestre el por qu de dicha situacin. En el rea de diagnstico se cuenta con diferentes sistemas basados en casos. En la literatura consultada se encuentran entre otros: PROTOS [28], EAD [29], BOLERO [26], SHRINK [29], CASEY [30], Case-Based Help System [31] y FRANK [32], muchos de los cuales se desarrollan en el rea de la medicina. Se aprecia alta tendencia en particular a la conformacin de sistemas hbridos que combinan la tecnologa del RBC con otros mtodos como son los empleados por los sistemas basados en reglas, los sistemas basados en modelos y los sistemas de planificacin, aprovechando las ventajas que aportan cada uno. En el rea de planificacin tambin existen algunos sistemas basados en casos, entre los que se tiene: PLEXUS [33], CHEF [34] y MEDIATOR [35]. En la bibliografa aparecen varios sistemas basados en casos perfilados hacia el rea de diseo entre los que se encuentran FIRST [36], DEJAVU [36], STRUPLE [37], XBE[37], ARGO[38], JULIA [38], SEED[39], CLAVIER [40], [41], CADRE [41], KITRIK [42], MEMORABILIA [42], CAB-ASSEMBLY [43], ARCHIE [44], CYCLOPS [44], CADREM [45] y CADET [10]. A continuacin se mencionan algunas caractersticas de estos sistemas. CLAVIER (creado por Barletta, Hennessy y Hinkle, 1989). Es un sistema que resuelve problemas aplicados al diseo mecnico. Es empleado por la compaa de aviacin norteamericana Lookheed para el diseo de autoclaves y para resolver el problema consistente en la determinacin de la posicin en que deben ser colocadas las piezas de materiales especiales aleados que van a ser tratadas trmicamente en un horno. Esta compaa asegura que han ahorrado, como promedio, de $ 20 000 a $ 50 000 mensuales. Est en operacin desde 1990. ARCHIE ayuda al diseo arquitectnico ( Domeshek y Kolodner, 1992). Este sistema basado en casos se construy desde REMIND, un shell implementado para desarrollar sistemas basados en casos en el Cognitive Systems. ARCHIE contiene tres tipos de conocimiento, conceptos primitivos (referido a objetos, relaciones y parmetros de los edificios de oficinas), modelos de dominios (que captan relaciones causales entre conceptos) y casos de diseo. La recuperacin de casos se realiza mediante dos mecanismos: la equivalencia con el vecino ms cercano y la agrupacin o cluster basada en modelos de dominios. KITRIK (Goel y Chandrasekaran, 1989). Es un sistema hbrido para el diseo de mecanismos simples tales como pequeos ensambles mecnicos e intercambiadores de calor, combinando el RBC y el razonamiento basado en modelos. Utiliza la modificacin guiada por un modelo para adaptar viejos diseos y formar otros nuevos. FIRST (Daube y Hayes - Roth, 1990). Es un sistema de rediseo mecnico para vigas estructurales mediante la recuperacin de casos y la adaptacin de sus soluciones satisfaciendo un conjunto de restricciones. La entrada al sistema consiste en un conjunto de variables que ofrece un primer nivel de descripcin de la viga junto con las restricciones que debe satisfacer la solucin final. Adems el usuario propone un diseo preliminar el cual puede o no estar en el espacio de los diseos posibles. Est enfocado hacia la reparacin de fallos de diseo. DEJAVU (Bardasz y Zeid, 1991). Es uno de los primeros sistemas asistentes a diseadores de artefactos mecnicos. Lo hace en un ambiente integrado que permite la adquisicin semiautomtica de nuevos casos. Estos nuevos casos son el resultado del diseador trabajando respecto a la solucin de un problema de diseo no resuelto. Es sumamente general pues en l se puede disear desde una silla hasta una rueda dentada. CYCLOPS (Navishandra, 1989). Es un solucionador de problemas de diseo en el dominio del paisajismo y cuando se disea un nuevo vecindario. Este sistema usa casos para modificar diseos. CADRE (Hua y Faltings, 1993). Emplea una base de casos para el diseo arquitectnico. Aqu se le da solucin al problema dejando que el usuario seleccione el caso, con una destacable interaccin del usuario con el sistema. JULIA (Kolodner, 1987 y Hinrichs, 1989). Disea planes de menes alimenticios, entre otras aplicaciones. CADREM (Raphael, 1994). Consiste en una compilacin de diseo de estructuras para edificios. Los mtodos de diseos fueron almacenados en casos. STRUPLE es un sistema para el diseo estructural de edificios basado en analoga transformacional. CAB-ASSEMBLY (Pu y Reschberger, 1992). Es un sistema para el diseo de secuencias de ensamblaje de objetos.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
CADET (Navichandra y Sycara, 1992 ). Combina el RBC con tcnicas de razonamiento cualitativo. Es una herramienta que usa la elaboracin por indizacin como medio de encontrar y sintetizar casos completos o partes de estos. El sistema elude la adaptacin en el sentido tradicional del RBC. MEMORABILIA (Oxman, 1992). El usuario puede recorrer los casos de diseo grabados y decidir l mismo cules recuperar y adaptar. Este recorrido a menudo se completa con la incorporacin de tcnicas de multimedia a las tcnicas del RBC. SEED (Flemming, 1994). Es un sistema para el apoyo de las fases iniciales del diseo de edificios. XBE (Pankakoski y otros, 1991) para el diseo de sistemas de manufactura. ARGO para el diseo de circuitos digitales VLSI. Utiliza razonamiento por analoga. Tambin existen otras aplicaciones de SBCa que cubren un amplio espectro de actividades de diseo como son: [42, 46, 47] - Software de Ingeniera de Medio Ambiente. - Software de Interfaces. - Diseo de Museos. - Diseo de Bombas de Incendio, entre otros. Existe adems un sinnmero de aplicaciones prcticas con RBC sobre servicios on-line para usuarios, entre los que se encuentran: - Sistema SMART (1992) de Compaq Computer Co., que resuelve conflictos de los usuarios frente a productos Compaq. Sus propietarios estiman que han ahorrado ya cerca de $ 100 millones anuales. - Sistema PRISM (1990) de Cognitive Systems Inc., de propsitos bancarios. - Sistema SQUAD (1992) de NEC Corporation, para el control de calidad de los software. - Sistema CASCADE (1992) de Digital Equipment Corporation, para sugerir soluciones a los fallos en los sistemas operativos. En la UCLV se desarroll el Sistema Inteligente de Ayuda al Diseo (SIAD) [48,49]. El mismo consta de una Mquina de Inferencia (MI) que es un programa independiente del objeto de diseo, la Base de Conocimiento y ocasionalmente un conjunto de programas utilizados por la MI. Este sistema trabaja la idea de la integracin de diferentes metodologas para la representacin del conocimiento, siendo la esencia de la integracin determinada por las caractersticas propias de las tareas de diseo ingenieril. Es un sistema hbrido pues utiliza frames para almacenar una descripcin estructurada del conocimiento y utiliza reglas de produccin para los procedimientos de clculo y las acciones. Es una mquina de inferencia orientada a la creacin de sistemas CAD. Este sistema ha sido utilizado en Cuba con gran xito para el diseo de elementos de mquinas, transmisiones, mecanismos y mquinas en general. El autor de los trabajos [50-52] utiliza este sistema para realizar clculos de resistencia de materiales en vigas. A pesar de ser capaz de generar y editar grficos y de generar informacin para AutoCAD, es esta su principal debilidad, pues el diseador, adems de enfrentarse a una nueva forma de describir su conocimiento, debe utilizar un editor grfico que no cuenta con todas las posibilidades.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
La segunda variante es mucho ms factible de acometer. Un ejemplo de esta variante lo constituye el sistema CASECAD el cual posee una interfaz grfica para el usuario desde la cual se accede a un CaseBased Manager (buscador y editor de casos), a un Case-Based Designer (recuperador y selector de casos) y a los paquetes XFIG y AutoCAD. Desde estos tres lugares se tiene acceso a la memoria, donde se encuentran la base de casos y la base de modelos. Tambin se emplea multimedia para la representacin de los casos. [54-60]. Por todo lo explicado anteriormente, para la futura construccin del Sistema Basado en Casos, se recomienda la segunda variante. Qued definido en los epgrafes iniciales de esta monografa los motivos por los cuales se empleara el RBC como tecnologa para transmitir la experiencia de los diseadores al efectuar el diseo de engranes. El mismo debe contar con las tres componentes bsicas, es decir, una base de casos, un mdulo de acceso y recuperacin y un mdulo de adaptacin. Como ya se dijo de una manera muy sinttica en el epgrafe 2.3. al describir las componentes de un sistema que implementa RBC, un caso es la descripcin de un problema y la solucin de ste, lo cual puede incluir o no el proceso mediante el cual se lleg a esa solucin (historia del caso). Para este trabajo de investigacin un caso es el plano de la rueda dentada con alguna informacin adicional. Un aspecto a tener en cuenta es que los casos almacenados deben ser suficientemente diferentes entre s como para no hacer crecer innecesariamente la base de casos (lo que podra hacerla inoperante); pero los casos almacenados no deben ser tan diferentes entre s, que traiga como consecuencia que al realizar una bsqueda o recuperacin no aparezca al menos un caso suficientemente similar al nuevo problema. Tambin toma fuerza la idea de que en alguna parte del sistema deben aparecer observaciones vinculadas a cada caso en las que se guarden las experiencias de casos resueltos y cmo se resolvieron, advertencias, sugerencias, etc. La BC contiene 48 casos obtenidos de una investigacin realizada en la Empresa Mecnica Fabric Aguiar Noriega de Santa Clara, especficamente en el grupo de reductores. Los casos fueron creados completamente a travs de las opciones del sistema CAD Mechanical Desktop No existen recomendaciones acerca de la cantidad de casos que debe poseer la BC y es muy variada esta cantidad de acuerdo a lo que aparece en la literatura. CABINS [110], por ejemplo, posee una base de casos bastante amplia con 4500 casos. Sin embargo, CLAVIER [40, 41], comenz con slo 20 casos aunque actualmente tiene ms de 300 casos, la base de casos para un sistema CAPP de maquinado de piezas simtrico-rotativas [43] inicicialmente contena 125 casos y la base de casos para el diseo de rboles de reductores [1] se cre inicialmente con 35 casos, estas dos ltimas bases de casos fueron desarrolladas en la UCLV. Una vez que se decida cules son los rasgos de semejanza ms importantes, se procede a buscar el grado de similitud entre el engrane a disear y el existente en la base de casos, auxilindose para ello de una funcin de semejanza, la que permite establecer un criterio de equivalencia entre las piezas, asegurndose que los casos ms relevantes sean recuperados para el problema. Este es un aspecto medular dentro del mdulo de acceso y recuperacin. Chagoyn [1], Padrn [43], Bello [61] y Regalado [62] hacen referencia a la siguiente funcin de semejanza:
Esta funcin se semejanza es conocida como la suma poderada de la comparacin por rasgos y es la ms recomendada en la literatura.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
La seleccin de la funcin de semejanza adecuada slo es posible confirmarla mediante la prctica. Por lo que la amplia utilizacin de ella puede llevar a reajustes en los coeficientes de acuerdo con los resultados prcticos, en el sentido de que cada vez sea ms efectiva la funcin en la deteccin de los casos ms semejantes. Una vez que los casos son recuperados eficientemente, un razonador basado en casos debe adaptar la solucin contenida en los casos recuperados a las necesidades de la situacin actual. Esto ocurre cuando difiere significativamente el caso recuperado y la descripcin problemtica dada como entrada. El proceso de adaptacin busca las diferencias prominentes y entonces aplica reglas para disminuir dichas diferencias.
Conclusiones
Del anlisis realizado en esta monografa se pueden enumerar algunas conclusiones importantes: El proceso de transferencia de conocimiento es mucho ms sencillo en los SBCa que en el resto de los SBCo analizados. La tendencia actual en la construccin de SBCo es la creacin de sistemas hbridos. La combinacin de un SBCa y un sistema CAD es un tema de gran inters en la creacin de sistemas hbridos que tratan de aprovechar las ventajas de ambas tcnicas y de minimizar sus limitaciones. Para lograr esto hay que efectuar un proceso de formalizacin del conocimiento previamente. En este trabajo se sigue esta tendencia y se centra en la formalizacin del conocimiento sobre el diseo de engranes de ruedas cilndricas con dientes oblicuos, para llegar a la construccin de la Base de Casos. La variante de crear una interfaz desde la cual se tenga acceso al sistema CAD y a las opciones inteligentes, es ms apropiada. Existen muy pocas experiencias previas o casi ninguna de la combinacin de un SBCa y un sistema CAD para el diseo de engranes de ruedas cilndricas con dientes oblicuos.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Referencias Bibliogrficas [1] Chagoyn Mndez, Csar A., Tesis de Doctorado: Diseo de rboles mediante Razonamiento [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26]
Basado en Casos. Facultad de Ingeniera Mecnica. UCLV, 2003. Turban, E. Expert Systems and Applied Artificial Intelligence California State University. Long Beach, 1992. USA. Frenzel, L. Crash Course in Artificial Intelligence and Expert Systems. SAMS. Gonzlez, A. J. y Dankel, D. D. The Engineering of Knowledge-based Systems. Theory and Practice. Prentice Hall, Englewood Cliffs, New Jersey 07632, 1993. USA. Rich, E. Inteligencia Artificial. Edit. Gustavo Gili, S.A., Barcelona, 1988. Espaa. Ramrez, R. y Mederos O. Estudio del concepto de semejanza a partir de su definicin. Trabajo de Diploma, UCLV, 1996. Santa Clara. Cuba. Simoudis, E. Using Case-Based Retrieval for Customer Technical Support. IEEE Expert, p.p. 7-11, Oct 1992. USA. Chagoyn Mndez, Csar A., Sistemas Basados en el Conocimiento para la Ingeniera. Monografa. Editorial Feijo. UCLV. 2001. Santa Clara. Cuba. Garca, M., Denis, M. y Febles, J. Una Base de Casos para diagnosticar inmunodeficiencias. Taller Internacional de Inteligencia Artificial aplicada a la Salud, la Enseanza y la Ingeniera, 1996. Rubin, S. An Automatic Goal-To-Task translation in a Futuristic Robotic Factory. ISA Transaction AI for Engineering, Design and Manufactory, Vol. 31 #2, 1992. USA. Rubin, S. Editorial Viewpoint. ISA Transaction AI for Engineering, Design and Manufactory, Vol. 31 #2, 1992. USA. Rubin, S.H., Case-Based Learning: A New Paradigm for Automated Knowledge Acquisition. AIEDAM, vol. 31, # 2, pp. 181, 209, 1992. USA. Gmez de Silva Garza, A., and Maher, M.L. (1996) Design by Interactive Exploration Using MemoryBased Techniques. Knowledge-Based Systems. Volume 9, Number 3 (May 1996). USA. Chagoyn Mndez, Csar A., Aplicacin del razonamiento basado en casos al diseo de rboles. Revista Centro Azcar No.3, 2000. Cuba. ISSN: 0253-5777. Daz Rojas, S., Tesis de Maestra: Base de Casos de un sistema automatizado para elaborar tecnologas de mecanizado de rboles y ejes. Facultad de Ingeniera Mecnica. UCLV, 1997. Santa Clara. Cuba. Bello Prez, Rafael E., Curso Mtodos de Solucin de Problemas para la Inteligencia Artificial. UCLV, 1998. Santa Clara. Cuba. Rich, Elaine y Knight, K. Inteligencia Artificial, Segunda Edicin. McGraw - Hill/ Interamericana de Espaa, S.A., 1994. Caudill, M. Expert Networks. Byte, pg. 108-116, Oct 1991. USA. Gonzles Lio, Daniel. y Morel, Carlos., Sistemas Basados en el Conocimiento para la Ingeniera (Curso para la Maestra de Mecnica). UCLV, 1998. Cuba. Carbonell, J.G. Derivational Analogy. A theory of Reconstructive Problem Solving and Expertise Acquisition. Vol. 2, Morgan Kaufmann Publisher, Inc, Los Altos California, 1986. USA. Carbonell, J. y Veloso, M. Integrating Derivational Analogy into a general Problem Solving Architecture. In Proceeding of Case-Based Reasoning, Workshop, Kolodner, J., Ed. Morgan Kaufmann, pg. 104-124,1988. Stanfill, C. y Waltz D. Toward memory-based reasoning CACM Vol. 29 #12, dic.1986. USA. Slade, S. Case-Based Reasoning: a research paradigm. AI Magazine, Spring 12, pg. 42-55, 1991. USA. Riesbeck, C. y Schank, R. Inside Case-Based reasoning. Lawrence Erlbaum Associates Publishers, Hillsdale, New Jersey, 1989. USA. Jurisica, I. Representation and Management Issues for Case-Based Reasoning Systems Department of Computer Science, University of Toronto, Toronto, Ontario M5S1A4, Sept 1993, Canad. Kolodner, J. An Introduction to Case-Based Reasoning. Artificial Intelligence Review 6, p.p. 3-34, 1992. USA.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
[27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
Ruiz J. Modelos Matemticos para el Reconocimiento de Patrones. Editorial Feijo. UCLV, 1993. Santa Clara. Cuba. Bareiss, E.R. Exemplar-Based Knowledge Acquisition: A unified Approach to Concept Representation, Classification and Learning. Academic Press, Boston, MA, 1989. USA. Kolodner, J. y Kolodner, R. Using experience in clinical problem solving: Introduction and framework. IEEE transactions on Systems, Man, and Cybernetics, Vol 17, #3, pg. 420-431, 1995. USA. Koton, P. Reasoning about evidence in causal explanation. In Proceeding of AAAI-88, American Association for Artificial Intelligence, Morgan Kaufmann Publishers, Inc, Los Altos, CA, pg. 256-261, 1988. USA. Kriegsman, M. y Barletta, R. Building a Case-Based Help Desk Application. IEEE Expert, pg. 18-26, Dic 1993. USA. Rissland, E., Daniels, J., Rubinstein, Z. y Skalak, D. Case-Based Diagnostic Analysis in Blackboard Architecture. AAAI-93, 1993. USA. Alterman, R. An adaptive planner. In Proceeding of AAAI-86, American Association for AI, Morgan Kaufmann Publishers, Inc, Los Altos, CA, pg. 65-69, 1986. USA. Hammond, K.J. Case-Based Planning: A Framework for Planning from Experience. Cognitive Science 14, pg. 385-443, 1990. USA. Kolodner, J. y Simpson, R.L. The mediator: Analysis of a Early Case-Based Problem Solver. Cognitive Science 13, pg. 507-549, 1989. USA. Bardasz, T. y Zeid, I. DEJAVU: Case Based Reasonoing for Mechanical Design. Artficial Intelligence for Engineering Design, Analysis and Manufacturing AIEDAM Magazine. No 2. Vol 7 (pg. 111 124). England. 1993. Dologite, D.G. Developing Knowledge-Based Systems using VP-Expert. Macmillan Publishing Company, a division of Macmillan, Inc, New York, 1993. USA. Domeshek, E. y Kolodner, J.L., Using the points of large cases. AIEDAM Magazine No. 2 Vol. 7 (pg. 87 - 96) 1993. England. Flemming, U., Coyne R., Snyder J., (1994,), Case-Based Design in the SEED System (1), Automation in Construction. [http://seed.edrc.cmu. edu/SD/ascedist.html]. Hennesy, D. y Hinkle, D. Applying Case-Based Reasoning to Autoclave Loading. IEEE Expert, Oct 1995. USA. Hennesy, D. y Hinkle, D. Applying Case-Based Reasoning to Autoclave Loading. IEEE Expert Magazine No.10. (p.p. 55 - 62) 1995. USA. Miyashita, Kazuo, Sycara, Katia, CABINS: a framework of knowledge acquisition and iterative revision for schedule improvement and reactive repair. Artificial Intelligence 76, 377-426, 1995. USA. Padrn Soroa, S. Tesis de Doctorado: Formalizacin del Conocimiento para un Sistema CAPP de maquinado de piezas simtrico-rotativas. Facultad de Ingeniera Mecnica, UCLV, 2002. Santa Clara. Cuba. Pearce, M. Case-Based Design Support. A case study in Architectural Design. IEEE Expert, p.p. 1420, Oct 1992. USA. Raphael, B. y Kumar, B. Indexing and Retrieval of Cases in a Case - Based Design System. AI EDAM Magazine No 5. Vol. 10. (p.p. 47 - 63 ) 1996. England. Ching, L. Garca, M. y otros. Un sistema basado en casos para el pronstico de la produccin de pltanos I Evento Territorial de Informtica en la ganadera y la agricultura. Mayo 1993. Santa Clara. Cuba. Molina Gutirrez, A. y otros. Ingeniera Basada en el Conocimiento para el diseo y manufactura de productos de vidrio. Transferencia. Ao 13 No. 49 (pg 28-29) Enero 2000. Mxico. Glvez, D., Bello, R., Garcia, M. y Snchez G. Integrated package oriented to intelligent CAD system implementation Conference Proceedings of Conference on CAD/CAM Technology Transfer to Latin America, 1990. La Habana. Cuba. Glvez, D., Bello, R., Garcia, M. y Sanchez G. Knowledge representation form in mechanical engineering. Knowledge Based Systems, Vol. 7, No. 3, sept. 1994. USA. Chagoyn Mndez, Csar A., Utilizacin del SIAD en clculos ingenieriles. Presentado en la 1ra Conferencia Cientfica Internacional del ISACA, 1994. Ciego de vila. Cuba.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
[51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64]
Chagoyn Mndez, Csar A., Utilizacin del Sistema Inteligente de Ayuda al Diseo en clculos de Resistencia. Revista Construccin de Maquinaria No. 2. 1993. UCLV, Cuba. Chagoyn Mndez, Csar A., y otros, Biblioteca de Bases de Conocimientos. Informe de investigacin terminada. 1994. Santa Clara. Cuba. Hedberg, S. New knowledge tools. Byte, Julio 1993. USA. Lou Maher, M. y Gomez da Silva, A. Developing Case-Based Reasoning for Structural Design. IEEE Expert. Vol. 11, No. 3 (June, 1996). USA. Maher, M.L. and Gomez de Silva Garza, A. (1996a) Design Case Adaptation Using Genetic Algorithms. In J. Vanegas (ed.). Computing in Civil Engineering: Proceedings of the Third Congress held in conjunction with A/E/C Systems '96. American Society of Civil Engineers. June 1996. USA. Maher, M.L. and Gomez de Silva Garza, A. (1996b) Developing Case-Based Reasoning for Structural Design. IEEE Expert. Volume 11, Number 3 (June 1996). USA. Maher, M.L. and Gomez de Silva Garza, A. (1996c) The Adaptation of Structural System Designs Using Genetic Algorithms. Proceedings of the International Conference on Information Technology in Civil and Structural. USA. Maher, M.L., and Balachandran, B. (1994) A Multimedia Approach to Case-Based Structural Design. Journal of Computing in Civil Engineering. 8(3):359-376. American Society of Civil Engineers. USA. Maher, M.L., and Balachandran, B. (1994) Flexible Retrieval Strategies for Case-Based Design. In Gero, J.S., and Sudweeks, F. (eds.). Artificial Intelligence in Design '94. 163-180. Kluwer Academic Publishers, Netherlands. Maher, M.L., and Zhang, D.M. (1993) CADSYN: A Case-Based Design Process Model. Artificial Intelligence in Engineering, Design, and Manufacturing. 7(2) 97-110. USA. Bello Prez, Rafael E. Sistemas Basados en el Conocimiento, Monografa. UCLV, 1998. Santa Clara. Cuba. Regalado Estvez, Ariel, Mdulo de recuperacin de un sistema CAPP basado en casos para engranajes. Trabajo de Diploma. Facultad Matemtica, Fsica y Computacin. UCLV. 1997. Santa Clara. Cuba. Morell Prez, Carlos. Mdulo de Recuperacin para un Sistema CAM Basado en Casos para rboles y ejes. Trabajo de Diploma. Facultad Matemtica, Fsica y Computacin. UCLV. 1995. Santa Clara. Cuba. Toledo Rivero, V. R., Estudio de los mtodos para el clculo del peso informacional de los rasgos en los sistemas basados en casos. Tesis de Maestra, Facultad Matemtica, Fsica y Computacin. UCLV, 1997. Santa Clara. Cuba.
Autores: Dr. Csar A. Chagoyn Mndez. cachagoyen@gmail.com MSc. Hugo Cabello Martnez. Dr. Jorge L. Moya Rodrguez.
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com