El Proceso de Modelado de la Ingeniera del Conocimiento como Mtodo de Optimizacin en la Resolucin de Problemas

Claudia Jimnez Ramrez y Hernn Daro lvarez Zapata

UNIVERSIDAD NACIONAL DE COLOMBIA, Medelln. {csjimene ; hdalvare} @unal.edu.co Recibido para revisin May2006, aceptado Jun2006, versin nal recibida Jun2006

Resumen: Se propone el uso de modelos conceptuales de la Ingeniera del Conocimiento para la comprensin y anlisis de problemas de carcter cientco y su dominio, sin importar que el modelo de la solucin no sea un modelo computacional. Se ilustrar el uso de estos modelos mediante un ejemplo.

un anlisis cuidadoso del entorno, se plantea una solucin que se suele especicar formalmente mediante un Una de las mayores dicultades para la resolucin de lenguaje algebraico. Este ltimo lenguaje, por ser uniproblemas tiene que ver con la comprensin del mismo y versal y ms formal (pues no da pi a tantas malas interde su entorno para poder plantear la mejor solucin. En pretaciones), tiene la propiedad de generar modelos que el presente trabajo se propone, como mtodo de optimi- pueden ser validados por los expertos en los asuntos en zacin, que la resolucin de problemas de carcter cien- cuestin y compartido con la comunidad cientca. Sin tco se considere como un proceso de elaboracin de embargo, no todos los aspectos relevantes del dominio modelos de la Ingeniera del Conocimiento que faciliten del problema pueden representarse por medio de frmula comprensin del dominio del problema y la comuni- las algebraicas, como cuando se requiere especicar un cacin entre los analistas expertos, o con los interesados, proceso que involucre no slo clculos matemticos, sino antes de llegar a un modelo de la solucin, expresado en ciertas caractersticas estructurales en el entorno para un lenguaje matemtico algebraico. llegar a un planteamiento completo de la solucin. En Metodologas recientes de la Ingeniera del estos casos, la traduccin directa del modelo verbal, al Conocimiento, proponen la elaboracin de varios mode- modelo de la solucin en un lenguaje algebraico implilos para representar todos los aspectos que deben con- cara una prdida de informacin que dicultara la versiderarse sobre el dominio del problema y que conduzcan icacin de que el modelo de diseo de la solucin si es a la mejor solucin informtica, de modo parecido a las el apropiado para la resolucin de un problema dado. metodologas modernas de la Ingeniera del Software. Por otro lado, las especicaciones en lenguaje naEn este trabajo se presenta cmo los modelos de la Inge- tural, por lo regular, son ambiguas y vagas permitiendo niera del Conocimiento pueden usarse en otras reas o diferentes interpretaciones de lo que se quiere decir en un disciplinas que no tengan como n ltimo, o modelo de texto. Por esto, antes de comenzar a disear la solucin la solucin, un modelo de computador. Se mostrar que es necesario vericar si hubo una buena interpretacin el enfoque sistmico, con su forma de representacin y del problema mediante el uso de modelos grcos que sus lenguajes semiformales, puede ser muy til para la sinteticen y aclaren detalles del mismo; evitando malos comprensin de un problema y la representacin de su entendidos que puedan conducir a la no satisfaccin de entorno, cuando la notacin algebraica convencional no las necesidades planteadas. La eliminacin de los errores, es procedente o conveniente para representar todas las lo ms rpido posible, es la clave para aumentar la propropiedades relevantes o las restricciones de un dominio ductividad y optimizar el proceso de desarrollo de una particular. investigacin. 2 PLANTEAMIENTO DEL PROBLEMA 3 ESTADO DEL ARTE

INTRODUCCIN

Una investigacin cientca inicia con el planeamiento, En Inteligencia Articial, se considera la Ingeniera del en lenguaje natural, del problema por resolver y luego de Conocimiento, como la disciplina que orienta en el
Av. Sist Inf., Vol. 3 No. 2 pp. 712, Medelln, Diciembre 2006, ISSN 16577663

C. Jimnez y H.D. lvarez / Avances en Sistemas e Informtica 3 (2) 2006 7 12

planeamiento y la programacin de las tareas para la construccin de sistemas basados en conocimiento (KBS, por sus siglas en ingls). Actualmente, existe el consenso de considerar el desarrollo de KBS como el desarrollo de modelos de computador con capacidades para la resolucin de problemas comparables a las realizadas por expertos calicados en el dominio [Studer, Benjamins y Dieter (1998)]. Como en la Ingeniera de Software, tambin se han desarrollado varias metodologas y lenguajes de especicacin de KBS con el intento de convertir el desarrollo de KBS en una disciplina ingenieril. Entre ellas, se pueden mencionar a CommonKADS y a PROTEGE-II que explota la nocin de ontologas [Schreiber (2000)]. La metodologa CommonKADS considera una coleccin de modelos para el anlisis y diseo de la solucin a un problema de representacin o de descubrimiento de conocimiento, del mismo modo que se sugiere en las metodologas de la Ingeniera de Software. En ella, se distinguen 6 modelos y cada uno permite representar aspectos especcos del KBS: el modelo del dominio o de la organizacin, el modelo de los agentes (humanos, dispositivos o software) que intervienen en la solucin del problema, el modelo de las tareas requeridas, el modelo de conocimiento (conformado por los datos y las reglas o restricciones aplicables en ese contexto), el modelo de comunicacin, que muestra cmo se comunican los agentes para llevar a cabo las tareas encomendadas y, como un modelo de ms bajo nivel de abstraccin, el modelo de diseo de la solucin que incorpora detalles no funcionales. Es decir, aquellos detalles que tienen que ver con la eciencia y la adopcin de ciertos recursos tecnolgicos necesarios para la solucin del problema. Las metodologas modernas de la Ingeniera de Conocimiento, comparadas con las metodologas de la Ingeniera del Software, aportan el concepto de agente y el modelo de conocimiento como una ampliacin del modelo de datos u objetos del dominio para incluir reglas y procedimientos (operaciones) aplicables en l. Por esto, permiten modelar mayores aspectos relevantes durante la conceptualizacin del problema. El lenguaje de representacin grco puede ser el mismo usado en la Ingeniera del Software, buscando estandarizacin y mayor universalidad. Actualmente, en esta disciplina, se ha generalizado el uso del lenguaje UML (Unied Modeling Language). El lenguaje unicado UML fue propuesto entre nes de los ochenta y principios de los noventa, como una notacin principalmente grca de la que se puede valer cualquier mtodo para expresar los modelos conceptuales y de diseo de sistemas informticos y considerado el estndar por la OMG [Grady, Rumbaugh y Jacobson (1998)]. Actualmente, va en su segunda versin. Otros modelos conceptuales alternativos que son utilizados en la Ingeniera del Conocimiento tambin

pueden ser utilizados para la especicacin de un problema cientco. Actualmente, en muchos establecimientos educativos de distintos sitios del mundo se est enseando a utilizar herramientas para representar el conocimiento como los mapas conceptuales o la "V epistemolgica" para que el estudiante modele lo visto en un captulo o tema de estudio. Con estos modelos conceptuales, el profesor, a su vez, puede evaluar si el estudiante ha comprendido los nuevos conceptos impartidos [Moreira (1997)]. Los mapas conceptuales permiten a los individuos entender fenmenos y hacer inferencias. Se trata de modelos de trabajo que incluyen representaciones proposicionales e imgenes, partes expresables verbalmente y perceptibles del modelo mental, respectivamente para la comunicacin comprensiva entre individuos [Johnson-Laird (2000)]. 4 PLANTEAMIENTO DE LA SOLUCIN

En las fases iniciales del anlisis del problema, los cientcos construyen modelos mentales expertos acerca del fenmeno en cuestin. Los modelos mentales expertos "no se ven", pues estn en las mentes de los cientcos y por eso, deben denirse explcitamente para ser discutidos con pares o con los interesados en la resolucin del problema. No es recomendable pasar directamente del planteamiento del problema a especicaciones formales, en un lenguaje algebraico o a un lenguaje de programacin, pues no slo puede dicultar la comprensin de la solucin propuesta, sino que pueden quedar por fuera algunos aspectos estructurales o restricciones en el dominio o universo del discurso. Los modelos propuestos en CommonKADS pretenden cubrir aspectos funcionales, estructurales y dinmicos del fenmeno bajo estudio y de esta manera no omitir aspectos relevantes que incidan en la calidad de la solucin. Dichos modelos constituyen vistas parciales del mismo dominio que ayudan a reducir la complejidad, separando un pequeo nmero de cosas importantes para tratarlas a la vez. Sin embargo, son vistas no disjuntas pues para tratar un aspecto, muchas veces, es necesario especicar elementos ya descritos o especicados en otros modelos; aunque no necesariamente con el mismo detalle o bajo la misma ptica. De modo que se deber chequear que no existan contradicciones o inconsistencias entre los modelos creados para la representacin de todos los aspectos relevantes en la resolucin de un problema. A continuacin, se describen brevemente cada uno de los modelos conceptuales del CommonKads y se ilustra su utilizacin, con un ejemplo hipottico: una fbrica de comida precocida congelada que est altamente preocupada por el bajo nivel de ventas de algunos de sus productos. No sabe si son los precios o el sabor de los mismos. Por eso, el departamento de Investigacin de

C. Jimnez y H.D. lvarez / Avances en Sistemas e Informtica 3 (2) 2006 7 12

Actualmente existen gran variedad de herramienMercados debe dar luces a las directivas sobre lo que est pasando para que se tomen las medidas correctivas. tas computacionales, comerciales y de distribucin libre que permiten la creacin de diagramas, usando lenguaje UML y que permiten completar los modelos conceptuales 4.1 Modelo del Dominio con texto para especicar detalles de cada elemento. En Describe todas las funciones llevadas a cabo por cada la Figura 2, se muestra la forma para entrar los detalles unidad organizacional o por los agentes en un dominio del caso de uso "Adquisicin de Informacin". determinado. Se incluyen las deciencias del sistema actual y las oportunidades identicadas para mejorar los procesos con el KBS. Esto ltimo se puede hacer con la construccin de una matriz DOFA y por esto no se muestra grcamente. Tambin el organigrama es parte de este modelo. La especicacin grca del modelo funcional o de comportamiento, en el dominio en cuestin, puede llevarse a cabo con el Diagrama de Casos de Uso, considerando cada uno de ellos como un proceso o actividad de un agente para lograr los objetivos que le son encomendados. Los conceptos principales que permite representar el Diagrama de Casos de Uso en UML 2.0 son los casos de uso, los actores y las relaciones entre ellos [Novak (1988)]. Un caso de uso describe una secuencia de acciones que proveen a los actores un valor agregado o medible y son dibujados como elipses. Los actores son personas, unidades organizacionales o sistemas externos que juegan un papel relevante en una o ms de las acciones del sistema modelado y se dibujan con un icono de una gura humana. El concepto de actor se puede asimilar al concepto de agente de la Ingeniera del conocimiento y por eso, para diferenciar los agentes humanos de los no Figura 2: Forma para la documentacin de la adquisicin de humanos, se usa una caja con el nombre del agente y con informacin el icono en el interior. Las asociaciones entre casos de uso y actores son indicadas por las lneas. En la Figura 1, se muestra el Diagrama de Casos de Uso para los procesos o funciones, de alto nivel de abstraccin, para la 4.2 El Modelo de Tareas dependencia de Investigacin de Mercados. El Diagrama de Actividades permite representar, adems de los procesos de la organizacin, los ujos de datos y materiales necesarios como entradas o salidas de un paso, o proceso, que se suelen representar con cajas cuadriculadas o con bordes redondeados. Tambin permite describir el evento que da inicio al proceso y los eventos terminales del proceso. En este diagrama, la actividad representa un paso de un proceso o un proceso completo, admitiendo la descomposicin de una actividad compleja, en otras ms simples y se dibuja como un crculo o caja redondeada. Adems, permite modelar la lgica compleja de un sistema o proceso pues se consideran puntos de decisin o bifurcacin y se admiten actividades en paralelo. Tambin se admite denir carriles para mostrar como se distribuyen las actividades o tareas entre los agentes o actores. En la Figura 3, se ilustra el diagrama de actividades generales (admiten Figura 1: Diagrama de Casos de Uso en la resolucin de descomposicin) para el ejemplo.
problemas de investigacin de mercados

10

C. Jimnez y H.D. lvarez / Avances en Sistemas e Informtica 3 (2) 2006 7 12

intercambiado y cul agente inicia la interaccin. Tambin se pueden especicar los tiempos de respuesta en cada interaccin. Un ejemplo de este modelo, que se realiz con el Diagrama de Secuencias de UML, aparece en la Figura 4. All se especica, por ejemplo, que se espera que transcurran dos semanas para la entrega de los formularios diligenciados por parte de los encuestadores.

: Analistas Expertos

: Encuestadores

: Directivas

Empresa

entregar formularios (fomatos en blanco)

Dos semanas

devolver formularios (respuestas)

Una semana

resultados del anlisis( )

Figura 3: Diagrama de Actividades de Investigacin de Mercados

Decisiones

4.3 El Modelo de Agentes Este modelo describe las caractersticas de los agentes Figura 4: Comunicacin entre Agentes que, como se dijo antes, pueden ser humanos, dispositivos o programas de computador. De cada agente se especica, su tipo, sus responsabilidades y tareas, su grado de autonoma y las restricciones que pueda tener para actuar en el entorno. Para la especicacin de estas caractersticas, se usa la plantilla de trabajo AM-1 en la metodologa CommonKads [Schreiber (2000)] que 4.5 El Modelo del Conocimiento se muestra en la Tabla 1 y usada para mostrar las caractersticas del agente "analista" en el problema de investigacin de mercados. Permite denir el conocimiento necesario para lograr los objetivos especicados en el Modelo de la Organizacin Tabla 1: Hoja de Trabajo AM-1, Agentes y de las Tareas. Es el corazn de la metodologa CommonKads pues permite representar el conocimiento para Nombre Analista la resolucin de problemas empleado por un agente en Tipo Humano una tarea. Este modelo estructura, en un nico esquema, Ubicacin Ocina Investigacin de Merlas tres capas de conocimiento requeridas para resolver cados una tarea particular: una capa del dominio que incluye Involucrado en Planteamiento del problema, los conceptos del dominio y la teora requerida para reanlisis solver un problema, la capa de inferencia que describe Se comunica con Encuestadores, Directivas cmo razonar y usar el conocimiento del dominio y, la Conocimientos Mercado, Ventas, Estadstica tercera capa, la capa de la tarea, representa una estrateOtras competencias Creatividad, recursividad gia particular para lograr los objetivos que se persiguen Restricciones No tener nexos familiares con con una tarea determinada. encuestadores En la Figura 5, se muestra el modelo de experticia para la tarea "prueba de hiptesis para la diferencia de 4.4 El Modelo de Comunicaciones proporciones" que permite evaluar si existen diferencias En ste se especican las interacciones entre los dife- signicativas en la proporcin de respuestas positivas en rentes agentes para llevar a cabo una tarea conjunta. las caractersticas evaluadas de los productos, de acuerdo Especica, por ejemplo, el tipo de informacin que es con el estrato o con el sexo de las personas interrogadas.

C. Jimnez y H.D. lvarez / Avances en Sistemas e Informtica 3 (2) 2006 7 12

11

a) Conceptos. Se entiende por concepto el conjunto de atributos que una persona asocia con el smbolo que representa a una clase (o agrupacin) de objetos, eventos o ideas. b) Estructura. Se constituye por las relaciones signicativas entre dos o ms conceptos. Se forma mediante palabras de enlace y constituyen una unidad semntica cuyo signicado es contextual. c) Palabra-enlace. Son las palabras que unen los conceptos y sealan el tipo de relacin existente entre ellos. d) Jerarquas. En los Mapas Conceptuales los conceptos se disponen en orden de importancia o de inclusin formando jerarquas o niveles de subordinacin, en los que los conceptos ms generales ocupan los lugares superiores de la estructura grca, hasta llegar a la base en la que aparecen los conceptos ms especcos y si es del caso los ejemplos. e) Categoras. Son agrupaciones de conceptos que poseen caractersticas o elementos comunes y se denominan con un trmino conceptual general. Figura 5: Modelo de Experticia para pruebas de hiptesis
de proporciones

f) Enlaces cruzados. Son las relaciones que se establece entre dos o ms conceptos de categoras diversas. g) Ejemplos. Son los eventos u objetos reales simblicos que representan el trmino conceptual. Los ejemplos ponen de maniesto la comprensin de los nuevos conceptos ya que su elaboracin requiere un proceso mental para aplicar el conocimiento en casos concretos. En la Figura 6, se muestra el mapa conceptual de una prueba de hiptesis para la diferencia de proporciones.

4.6 Los mapas conceptuales Los mapas conceptuales permiten pensar sobre las operaciones mentales que se dan en el cerebro ya que mediante la elaboracin y reelaboracin los mismos, el individuo o el grupo ejercitan sus procesos metacognitivos al reexionar sobre los resultados del propio aprendizaje y comprender el procedimiento implcito que se utiliza para obtener ese conocimiento. Permiten tomar conciencia de varias cosas tiles a la hora de avanzar en una investigacin: a) Cunto s?, b ) Cmo tengo estructurado lo que s? y c) Qu me falta saber en relacin con un determinado cuerpo de conocimiento?. Obviamente, la respuesta estas tres preguntas permiten armar una estrategia de lecturas-discusiones que faciliten la denicin-delimitacin del rea problemtica y dentro de ella, el problema a tratar en la investigacin. El mismo conjunto de preguntas puede utilizarse durante el estudio de las herramientas que se requieren usar para la validacin de las hiptesis de investigacin. Al igual que con las Taxonomas, los Mapas Conceptuales permiten una "Hoja de Ruta" sobre la cual se pueden trazar caminos de solucin (Hiptesis) al Problema e incluso deducir Objetivos a desarrollar para lograr la validacin de la Hiptesis. De acuerdo con la denicin original de Novak (1988) el Mapa Conceptual contiene los siguientes elementos:

Figura 6: Mapa Conceptual para pruebas de hiptesis de

proporciones

12

C. Jimnez y H.D. lvarez / Avances en Sistemas e Informtica 3 (2) 2006 7 12

Un mapa conceptual es muy parecido al Diagrama de Clases de UML pues ste permite representar las distintas clases de objetos (conceptos) y sus relaciones. Tiene mayor poder expresivo puesto que permite especicar todas las propiedades (atributos y operaciones) aplicables a los conceptos, dentro de la caja que representa una clase, y distingue visualmente los tres tipos de relaciones entre las clases: la composicin o relacin "parte de" que se adorna con un rombo junto a la clase agregada, la relacin de especializacin o generalizacin, que se adorna con un tringulo, y la asociacin que equivale a un enlace cruzado del mapa conceptual. Tambin permite denir la cardinalidad mnima y mxima de dichas relaciones. Pero no permite representar las instancias o ejemplos por no considerase conceptos. El modelo del dominio, como capa del modelo de experticia, en la Figura 5, fue construido usando el diagrama de clases de UML All se presenta una relacin de asociacin entre las muestras y las poblaciones con una cardinalidad 0 n y se muestra una relacin de generalizacin, o especializacin, entre la hiptesis y las subclases hiptesis nula y alternativa. 5 CONCLUSIONES

tos relacionados con el dominio del problema o incluso cuando est en la etapa de proponer expansiones a conceptos existentes o un concepto totalmente nuevo. Los modelos conceptuales para la resolucin de un problema particular facilitan la bsqueda de la solucin ptima pero su utilidad depender no slo de las bondades o propiedades de los modelos empleados, sino de las habilidades para modelar de los expertos. Por eso, se requiere del dominio del lenguaje de modelado por parte de los investigadores, tanto en sus aspectos semnticos como sintcticos.
REFERENCIAS Grady, B., Rumbaugh, J. y Jacobson, I. (1998), The Unied Modeling Language User Guide, ISBN 0-201-571684, Addison-Wesley. Johnson-Laird, P. (2000), Mental Models in Reasoning, Garca-Madruga et al., UNED, Madrid, chapter The current state of mental model theory. Moreira, M. (1997), Aprendizaje signicativo: fundamentacin terica y estrategias facilitadoras, Monografas del Grupo de Enseanza de la Universidad Federal do Rio Grande do Sul. Brasil. Novak, J. y Gowin, D. (1988), Aprendiendo a Aprender, Edi-

Los modelos propuestos en la Ingeniera del ciones Martnez Roca S.A. Conocimiento pueden ser muy tiles en la comprensin y anlisis de cualquier tipo de problema como se Schreiber, M. (2000), Knowledge Engineering and Management: The CommonKADS Methodology, MIT Press. corrobora con el ejemplo presentado y no tienen por qu ser exclusivos de los informticos. Studer, R., Benjamins, R. y Dieter, F. (1998), Knowledge enLos modelos conceptuales son aplicables cuando gineering: Principles and methods, Data & Knowledge el grupo de investigacin intenta dirimir sobre aspecEngineering pp. 161197.