Ingenier´ del Conocimiento ıa

Departamento de Computaci´n o
Curso 2002-2003

Alumna: Profesoras:

Laura M. Castro Souto Amparo Alonso Betanzos Bertha Guijarro Berdi˜as n

´ Indice general
1. La Ingenier´ del Conocimiento ıa 1.1. El conocimiento y su contexto . . . . . . . . . . . . . . . . . . . . . . . 1.2. La ingenier´ del conocimiento . . . . . . . . . . . . . . . . . . . . . . . ıa 1.3. Los sistemas basados en el conocimiento . . . . . . . . . . . . . . . . . 2. Metodolog´ para la construcci´n de SSBBC ıas o 2.1. Diferencias entre la IS y la IC . . . . . . . . . 2.2. Metodolog´ adaptadas de la IS . . . . . . . . ıas 2.2.1. Metodolog´ de prototipado r´pido . . ıa a 2.2.2. Metodolog´ de desarrollo incremental ıas 2.2.3. Metodolog´ en cascada . . . . . . . . ıas 2.2.4. Metodolog´ en espiral . . . . . . . . . ıas 2.3. Metodolog´ CommonKADS . . . . . . . . . . ıa 2.3.1. Nivel de Contexto: ¿Por qu´? . . . . . e 2.3.2. Nivel de Concepto: ¿Qu´? . . . . . . . e 2.3.3. Nivel de Implementaci´n: ¿C´mo? . . . o o 3. Modelado del contexto en CommonKADS 3.1. El Proceso de Modelado del Contexto . . . 3.1.1. El modelo de Organizaci´n . . . . . o 3.1.2. El modelo de las Tareas . . . . . . 3.1.3. El modelo de los Agentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 2 3 5 5 7 7 8 8 8 10 10 12 12 13 14 15 16 16 17 17 20 23 26 28 28 29 29 30 31 31

4. Descripci´n conceptual del conocimiento en CommonKADS o 4.1. El modelo del Conocimiento . . . . . . . . . . . . . . . . . . . . 4.1.1. Conocimiento del dominio . . . . . . . . . . . . . . . . . 4.1.2. Conocimiento inferencial . . . . . . . . . . . . . . . . . . 4.1.3. Conocimiento de la tarea . . . . . . . . . . . . . . . . . . 4.1.4. ¿Inferencia o Tarea? . . . . . . . . . . . . . . . . . . . . 4.1.5. Modelo de Datos (IS) vs. Modelo de Conocimiento (IC) . 4.2. Plantillas de modelos de Conocimiento. Elementos reutilizables . 4.2.1. Tipos de Tareas . . . . . . . . . . . . . . . . . . . . . . . 4.3. Construcci´n de los modelos de Conocimiento . . . . . . . . . . o 4.3.1. Identificaci´n del Conocimiento . . . . . . . . . . . . . . o 4.3.2. Especificaci´n del Conocimiento . . . . . . . . . . . . . . o i

ii 4.3.3. Refinado del Conocimiento . . . . . . . . . . 4.3.4. Documentaci´n del modelo de Conocimiento o 4.4. El modelo de Comunicaci´n . . . . . . . . . . . . . o 4.4.1. Plan de Comunicaci´n . . . . . . . . . . . . o 4.4.2. Transaciones agente-agente . . . . . . . . . . 4.4.3. Patrones transaccionales . . . . . . . . . . . 4.4.4. T´cnicas de validaci´n . . . . . . . . . . . . e o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 34 34 36 36 38 39 41 42 42 43 45 46 48 48 48 49 49 51 51 56 58 59 61 61 62 62 62 63 65 68 69 70 71 71 72 74 77 77 77 77

5. El modelo de Dise˜ o en CommonKADS n 5.1. Principio de Conservaci´n de la Estructura . . . . . . . . . . . . . . . . o 5.2. El modelo de Dise˜o . . . . . . . . . . . . . . . . . . . . . . . . . . . . n 5.2.1. Dise˜o de la arquitectura del sistema . . . . . . . . . . . . . . . n 5.2.2. Identificaci´n de la plataforma de implementaci´n . . . . . . . . o o 5.2.3. Especificaci´n de los componentes de la arquitectura . . . . . . o 5.2.4. Especificaci´n de la aplicaci´n en el contexto de la arquitectura o o 5.3. Dise˜o de prototipos . . . . . . . . . . . . . . . . . . . . . . . . . . . . n 5.3.1. Prototipado de subsistemas de razonamiento . . . . . . . . . . . 5.3.2. Prototipado de interfaces de usuario . . . . . . . . . . . . . . . . 5.4. SBCs distribuidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6. T´cnicas para la adquisici´n del conocimiento e o 6.1. Escenarios de adquisici´n del conocimiento . . . . . . . . . . o 6.2. Las entrevistas . . . . . . . . . . . . . . . . . . . . . . . . . 6.2.1. Entrevistas m´ltiples . . . . . . . . . . . . . . . . . . u 6.3. El an´lisis de protocolos . . . . . . . . . . . . . . . . . . . . a 6.4. Cuestionarios . . . . . . . . . . . . . . . . . . . . . . . . . . 6.5. An´lisis del movimiento de ojos . . . . . . . . . . . . . . . . a 6.6. M´todo de observaci´n directa . . . . . . . . . . . . . . . . . e o 6.7. Extracci´n de curvas cerradas . . . . . . . . . . . . . . . . . o 6.8. Las t´cnicas de escalamiento psicol´gico . . . . . . . . . . . e o 6.8.1. Escalamiento multidimensional (EDM ) . . . . . . . . 6.8.2. An´lisis de clusters (Clustering) . . . . . . . . . . . . a 6.8.3. Redes ponderadas (Pathfinder ) . . . . . . . . . . . . 6.9. La teor´ de constructos personalizados: el Emparrillado . . ıa 6.9.1. Identificaci´n de elementos Ei . . . . . . . . . . . . . o 6.9.2. Identificaci´n de caracter´ o ısticas cj . . . . . . . . . . . 6.9.3. Dise˜o de la parrilla . . . . . . . . . . . . . . . . . . n 6.9.4. Formalizaci´n . . . . . . . . . . . . . . . . . . . . . . o 6.9.5. An´lisis y estudio de los resultados obtenidos . . . . a 6.10. T´cnicas especiales de adquisici´n de conocimiento en grupo e o 6.10.1. Tormenta de ideas (Brainstorming) . . . . . . . . . . 6.10.2. T´cnica nominal de grupo . . . . . . . . . . . . . . . e 6.10.3. M´todo Delphi . . . . . . . . . . . . . . . . . . . . . e Laura Castro

. . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . .

.1. . .1. . . . .1. . o Ap´ndices e A. . . . . . . . . . . . . . . . .1. . .iii 7. . . . . . . . . Bibliograf´ ıa 79 82 82 84 86 87 87 93 Ingenier´ del Conocimiento ıa . . . . . . . . . .1. . . . . . . . . . . . Verificaci´n y validaci´n . Sistemas de verificaci´n autom´tica . Validaci´n . . . . . . . . . . . . . . . . . . . . . .2. . . . . . o a 7. . . . . . . . . . . Figuras . . . . . . Evaluaci´n de los sistemas basados en conocimiento o 7. . . . . . o o 7. . . . Ampliaciones A. .

Cap´ ıtulo 1 La Ingenier´ del Conocimiento ıa
En este primer tema estableceremos algunos conceptos b´sicos relacionados con la a asignatura que nos ocupa.

1.1.

El conocimiento y su contexto

¿Qu´ es el conocimiento? Es dif´ de concretar, pero podemos sin embargo distine ıcil guir claramente que no es lo mismo que un dato ni tampoco es el mismo concepto que el de informaci´n. o Podemos decir que: Dato Conjunto de se˜ales, s´ n ımbolos, signos, que llegan a nuestros sentidos, sin que tengan que tener significado propio. Informaci´n Datos que se agrupan y adquieren un significado que no va o impl´ ıcito en ellos, sino que se aprende a manejar. Conocimiento Conjunto de datos e informaci´n que adem´s tiene sentio a do del prop´sito (sirve para algo) y capacidad de generar nuevo o conocimiento e informaci´n (e incluso acciones). o

Datos Informaci´n o Conocimiento

Caracter´ ıstica Sin interpretar A˜ade significado n Prop´sito y capacidad o de generaci´n o

Ejemplo ...-... S.O.S. Alerta, emergencia, comenzar un rescate

Cuadro 1.1: Diferencias entre dato, informaci´n y conocimiento o La definici´n de lo que es conocimiento se hace m´s dif´ a´n si consideramos o a ıcil u que puede depender del contexto. Obviamente, un f´ ısico y un ajedrecista no tendr´n la a misma concepci´n de lo que es conocimiento referente a sus respectivas actividades. o

1

2

Apuntes – 1. La Ingenier´ del Conocimiento ıa

En el caso de la Ingenier´ del Conocimiento1 , esta situaci´n se agrava, puesto que ıa o su aplicaci´n se realiza en dominios muy concretos y diferentes (lo “normal” es distinto o en cada caso, por ejemplo, para diversos pacientes en un hospital). A veces se define el conocimiento como “informaci´n sobre la informaci´n”, puesto o o que hay que tener cierta informaci´n sobre la informaci´n que se va a manejar para o o poder usarla adecuadamente. La representaci´n expl´ o ıcita del conocimiento es clave para distinguir entre sistemas software cl´sicos y sistemas software basados en conocimiento. a Como ya hemos estudiado con anterioridad (ver [2]), se pueden establecer categor´ ıas en el conocimiento barajado, en relaci´n al origen y procedencia del mismo con respecto o al experto de quien lo extraemos: Conocimiento p´ blico, que puede obtenerse directamente a partir u de fuentes t´ ıpicas (manuales, libros), com´nmente aceptado y univeru salmente reconocido. Conocimiento semip´ blico, expl´ u ıcito pero no universalmente reconocido ni com´nmente aceptado, utilizado casi de forma exclusiva por u los especialistas del ´rea concreta. a Conocimiento privado, no expl´ ıcito, no universalmente reconocido ni com´nmente aceptado, de marcado car´cter heur´ u a ıstico, end´geno o de cada uno, fruto de la propia experiencia. Un sistema de conocimiento pretende familiarizarse con el conocimiento p´blico, u implementar el semip´blico y extraer el privado. u

1.2.

La ingenier´ del conocimiento ıa

Denominamos ingenier´a del conocimiento al conjunto de conocimientos y t´cnicas ı e que permiten aplicar el saber cient´ ıfico a la utilizaci´n del conocimiento, entendiendo o “conocimiento” como inteligencia o raz´n natural. o Partiendo de la siguiente definici´n de ingenier´ del software 2 (IEEE-99): o ıa La IS es la aplicaci´n de una aproximaci´n sistem´tica, disciplinada y cuano o a tificable, al desarrollo, funcionamiento y mantenimiento del software (aplicaciones) podemos adaptarla a la IC y decir, asimismo, que la IC es la aplicaci´n de una o aproximaci´n sistem´tica, disciplinada y cuantificable, al desarrollo, funcionamiento y o a mantenimiento del conocimiento (en aplicaciones, software).
1 2

En adelante, IC. En adelante, IS.

Laura Castro

1.3. Los sistemas basados en el conocimiento

3

Es por ello que muchas de las metodolog´ utilizadas en el campo de la IS se han ıas adaptado a la IC, y que tambi´n muchos de los problemas que aparecen en una se e reproducen en la otra tambi´n. La mayor´ de ellos, como veremos en el tema correse ıa pondiente, se deben con frecuencia a la especificaci´n d´bil de requisitos, a la presencia o e de entradas inconsistentes, etc. que dan lugar a dise˜os no limpios. n Resumiendo, podemos definir la ingenier´ del conocimiento como el conjunto de ıa principios, m´todos, t´cnicas y herramientas que permiten la construcci´n de sistemas e e o computacionales inteligentes.

1.3.

Los sistemas basados en el conocimiento

Entendemos por sistema basado en conocimiento 3 un sistema computerizado (software) que utiliza y representa expl´ ıcitamente conocimiento sobre un dominio concreto para realizar una tarea que requerir´ un experto (de ser realizada por un huıa mano), es decir, que es capaz de exportar ese conocimiento a trav´s de los mecanismos e apropiados de razonamiento para proporcionar un comportamiento de alto nivel en la resoluci´n de problemas en ese dominio (Guida & Tasso). o Las dos caracter´ ısticas clave, tal y como se ha se˜alado, son: n la representaci´n expl´ o ıcita del conocimiento, algo que diferencia a los SBC de los sistemas software que se construyen en IS un dominio concreto, algo que los particulariza y diferencia de los sistemas de IA A partir de la IA, surgieron una serie de ramas: la rob´tica, los sistemas conexioniso tas, los sistemas expertos,. . . Estos ultimos fueron uno de los logros m´s importantes, ´ a porque fueron los primeros en enfrentarse a problemas reales utilizando conocimiento espec´ ıfico de peque˜os dominios. No obstante, en los a˜os 60 se produjo un retroceso n n en su desarrollo debido al aumento de la complejidad de los problemas que se pretend´ ıa abordar. A˜os m´s tarde, surgir´ la IC. n a ıa Los beneficios m´s importantes que aportan los SBCs son: a Mayor rapidez en la toma de decisiones Mayor calidad en la toma de decisiones Mayor productividad El desarrollo de un SBC es caro para la empresa: se necesita contratar al menos un ingeniero de conocimiento, se va a consumir tiempo del experto. . . Si todo ello se compensa es por estas ventajas competitivas que acabamos de mencionar.
3

A partir de ahora, SBC.

Ingenier´ del Conocimiento ıa

La Ingenier´ del Conocimiento ıa Hay varios conceptos que ayudan a distinguir los SBC de software m´s convencional a y tambi´n de programas de inteligencia artificial: e √ √ √ La naturaleza m´s bien heur´ a ıstica del conocimiento que contienen (IA. a˜os 50-60).4 Apuntes – 1. 1976). La separaci´n del conocimiento de c´mo se usa —control— (General o o Problem Solver de McCarthy. 1963.1: Esquema de un SBC. BASE de CONOCIMIENTOS −Declarativos −Operativos o de Accion −Metaconocimiento Memoria Activa MOTOR DE INFERENCIAS explicaciones y consejos hechos y datos especificos INTERFAZ DE COMUNICACION. EXPLICACION Y ADQUISICION DE CONOCIMIENTO SUBSISTEMA DE USUARIO SUBSISTEMA DE EXPLICACION SUBSISTEMA DE ADQUISICION DE CONOCIMIENTO Usuario Ingeniero de Conocimiento Figura 1. 1970). Mycin. Laura Castro . n La naturaleza altamente espec´ ıfica del conocimiento (Dendral.

Diferencias entre la IS y la IC Los ingenieros de conocimiento y los ingenieros de software estuvieron enfrentados durante mucho tiempo. En IC es muy importante la adquisici´n del conocimiento. ´sta desarrolla su software en o e problemas mal estructurados o mal definidos que no son tratables en IS. Adem´s. Las especificaciones de requisitos en IS son completas antes de empezar. por ello en los ultimos tiempos ha surgido la idea de reutilizaci´n del conocimiento. en IC se hacen modelos computacionales de un ´mbito concreto. Esta o e no es una tarea trivial. el conocimiento no es s´lo algo dif´ de extraer.1. En IS el cliente pide lo que quiere.Cap´ ıtulo 2 Metodolog´ para la construcci´n ıas o de SSBBC El ingeniero de conocimiento debe: √ elicitar √ estructurar √ formalizar √ operacionalizar ´ toda la informaci´n y el conocimiento que est´n relacionados con el dominio. sino tambi´n un recurso a o ıcil e caro. que adem´s es continua. Es necesario organizar de alguna manera el trabajo a realizar. porque el conocimiento no es algo que se pueda observar. se hace un an´lisis exhaustivo de la organizaci´n donde vamos a a a o aplicar nuestro modelo. en IS se adquiere todo lo que se necesita para funcionar. pues la IS no incluye a los sistemas de IC. hasta que se dieron cuenta de no hab´ motivo para la conıa frontaci´n. se presenta en diferentes formatos. ´ o 2. en IC esto es casi imposible. o a es el cuello de botella de todos los sistemas. o puede incluso ser a veces contradictoria. la informaci´n procede a menudo de diversas fuentes. 5 .

Metodolog´ para la construcci´n de SSBBC ıas o PROBLEMA PROBLEMA DOMINIO DE APLICACION ANALISIS DEL PROBLEMA Y DEL DOMINIO METODOS DE SOLUCION E S P ECI F I CACIONES MODELADO DE CONOCIMIENTO (o desarrollo del sistema vacio) CONOCIMIENTO DEL DOMINIO DISEÑO DE LA ARQUITECTURA DISEÑO MODULAR ADQUISICION DE CONOCIMIENTO CONSTRUCCION BC CODIFICACION Y COMPROBACION DE CADA MODULO PROTOTIPO COMPROBACION Y EVALUACION ENSAMBLADO DE MODULOS Y COMPROBACION DEL SISTEMA GLOBAL CONSTRUCCION DEL SISTEMA META SISTEMA SOFTWARE TRADICIONAL SISTEMA BASADO EN CONOCIMIENTO Figura 2.6 Apuntes – 2. IC. Laura Castro .1: IS vs.

lo que origina debilidades a el crecimiento incontrolado complica la BC las interacciones no contempladas entre distintas partes o m´dulos del o sistema son fuente de muchos problemas.2. ya que se ha conseguido que el control. Metodolog´ adaptadas de la IS ıas En esta secci´n revisaremos superficialmente algunas de las metodolog´ que la IC o ıas ha “heredado” de la IS.2. Tras una serie de entrevistas con los clientes. . .e.1. a que se ir´ refinando y ampliando. ).2. e 2. a Las ventajas de esta metodolog´ residen en que la rapidez en el desarrollo de ıa una primera versi´n del sistema motiva al experto (pronto se ve algo operativo).. No obstante. 2. comunicaci´n con otro software. y o adem´s ayuda a centrar el desarrollo del conocimiento adem´s de no requerir demasiada a a experiencia. Metodolog´ adaptadas de la IS ıas 7 En IC no se trabaja con lenguajes.2. Metodolog´ de prototipado r´pido ıa a Esta metodolog´ consiste en adquirir conocimientos y codificar hasta considerar ıa que tenemos un modelo lo suficientemente bueno. sino con herramientas. con todo o lo que ello conlleva. Ingenier´ del Conocimiento ıa . el modelo crece distorsionado el c´digo resulta generalmente muy poco y mal estructurado o no se produce un an´lisis completo de requisitos a no hay una buena documentaci´n (o ´sta es nula) o e el mantenimiento es pr´cticamente imposible a Esta metodolog´ descuida todo lo que no tiene que ver directamente con el core ıa del conocimiento (desarrollo de una IU. se desarrolla un prototipo r´pido para mostrar al experto. usuarios y/o expertos. se intenta ver si el dominio puede: ◦ tener una parte “central” de la que puedan colgarse las dem´s postea riormente ◦ tener varias partes que se puedan tratar inicialmente por separado y comenzar con una de ellas Si el contexto es favorable. motores de inferencias). el manejo del conocimiento sea gen´rico (i. desde el punto de vista de la IC son m´s importantes las a desventajas que se presentan: dificulta la recogida de requisitos se sustituye el estudio de especificaciones y el dise˜o por la codificaci´n n o r´pida.

3.2: Esquema de la metodolog´ de desarrollo incremental.2.4. Metodolog´ para la construcci´n de SSBBC ıas o 2. como la pronta obtenci´n de un sistema y una buena a o comunicaci´n con los expertos). a la par que no dejaba lugar para una etapa ulterior de mantenimiento preceptivo. ıa Aunque por incremental es m´s ordenada (manteniendo a la par algunas de las a ventajas del prototipado r´pido. 2. no obstante. esta metodolog´ trata de ajustar el alcance de la iterae ıa ci´n de desarrollo. Metodolog´ en cascada ıas Tambi´n adaptada de la IS. p´gina o a a 11). que aporta un interesante o an´lisis de riesgos. Si bien en IS no se utiliza demasiado porque resulta muy pesado. en torno a la impleo ıa mentaci´n y aunque logr´ organizar un poco m´s los sistemas. se volvi´ la vista a ıa a o la IS y una de las primeras metodolog´ que se adopt´ fue la de desarrollo incremental. Metodolog´ de desarrollo incremental ıas Ante el desbordamiento de la metodolog´ de prototipado r´pido. esta metodolog´ gira.8 Apuntes – 2. Metodolog´ en espiral ıas De los modelos planos se pas´ al modelo en espiral.2. el mantenimiento a sigue siendo demasiado complejo para un sistema basado en conocimiento. adem´s e plantear las iteraciones como capas en lugar de como a a bloques cerrados. se pueden u a˜adir especificaciones en cada vuelta hasta llegar a concretar finalmente el elemento n Laura Castro . ıas o Analisis formalizar objetivos Especificaciones formalizar objetivos Ajustes del diseño Diseño prototipos codificacion inicial Implementacion Prototipo inicial Prueba (V&V) Evaluacion Mantenimiento Diseño inicial Figura 2.2.2. A pesar de conseguir reducir los errores al analizar m´s el modelo. no centraba tampoco la o o a atenci´n en la captura de requisitos y especificaciones.3. que ser´ m´s adecuado para un o ıa a sistema basado en conocimiento. 2. que resultaba problem´tico en el caso anterior (ver figura 2. en IC iba a resolver m´ltiples cuestiones: los prototipos sucesivos se van refinando y ampliando.

los que impulsar´ el desarrollo de metodolog´ propias de la IC (con ra´ ıan ıas ıces.2. al ıa a fin y al cabo. en las que acabamos de ver). sin que se alteren los fundamentos a ıas anteriores. Metodolog´ adaptadas de la IS ıas 9 de test. uno de los modelos que mejor funcion´. y posteriormente McDermott con su teor´ sobre las “Tareas o ıa gen´ricas” seg´n la que la adquisici´n del conocimiento sigue siempre unos pasos repee u o titivos. Esto permiti´ tambi´n abordar las o e primeras ideas sobre reutilizaci´n del conocimiento: abstraer las tareas gen´ricas para o e volver a utilizarlas en sistemas similares. La soluci´n pasa por a˜adir el Nivel o o n de Conocimiento. reflexionando sobre lo que hay que representar y c´mo se quiere hacerlo. Una metodolog´ que usa el nivel de conocimiento es KLIC (KBS Life Cycle). ya que coo nocimiento y motivos iban juntos. aunque no es demasiado bueno al o desarrollar SBC m´s grandes. El nivel de conocimiento El mayor problema detectado hasta el momento es la no-diferenciaci´n de lo que o es conocimiento de la representaci´n del mismo. indivisiblemente Debido a esto. Fue. a´n quedaban dos cuestiones por solucionar: a u ∗ la adquisici´n del conocimiento segu´ siendo el cuello de botella o ıa ∗ la capacidad de explicaci´n no estaba realmente presente. los SBC eran por a˜adidura muy dif´ n ıciles de mantener. Cada fase ayuda a completar la anterior. la verdadera diferencia entre IS e IC es el tratamiento. los propios SBC no ten´ conciencia de sus l´ ıan ımites. pues. ıa Ingenier´ del Conocimiento ıa . De entre ellas. Como consecuencia de estos problemas. con fases de validaci´n muy extensas. Newell.2. Se necesitaba una metodolog´ que estructurase el conocimiento de una forma m´s adecuada. Permite situar el mantenimiento en un nivel adecuado gracias al mencionado an´lisis de riesgos. en lugar de s´lo sumar. Todas las metodolog´ empleadas hasta el momento lo encuadraban ıas en un lugar o en otro. En este nivel el sistema se a o comporta como un agente que tiene tres vistas: componentes ≡ objetivos acciones cuerpo (conocimientos sobre objetos y acciones) El medio sobre el que act´a es el conocimiento: el agente toma el conocimiento. que est´ por encima del nivel simb´lico. No obstante. estudiaremos la metodolog´ a ıa CommonKADS. trat´ndolo sin darle un nivel espec´ a ıfico como es imperativo. claro est´. el manejo del conocimiento. lo u procesa y realiza acciones para conseguir objetivos. a o que era m´s el enfoque de metodolog´ anteriores. o Fue primero Newell el que dio la voz de alarma indicando la necesidad de tratar el conocimiento como algo especial.

la ingenier´ del conocimiento y o a o ıa del software. su viabilidad. McDermott propuso estudiar los m´todos de resoluci´n de problemas. Como conclusi´n. e o Todos los sistemas ten´ un motor de inferencias separado del conocimiento hasta ıan ese momento. ıa Para evitarlo.4 (p´gina 11). Surge de su predecesora. reutilizaci´n a o y gesti´n del riesgo) y. McDermott pens´ que el problema de reutilizar el motor era que parte o del conocimiento de control deb´ ir codificado en la base de conocimiento. El conocimiento se encuentra as´ perfectamente estructurado y documentado. es el momento a de intentar descomponer el/los sistemas en “primitivas” con el fin de Laura Castro . Adem´s. permite un gran nivel de desacoplamiento. ıa a a 2. o Modelo de Tareas Ubicadas las tareas m´s importantes. desarrollada en Europa o ıa en torno a 1983. es decir. .3. pues cada modelo ı posee una serie de plantillas asociadas. permite definir a en qu´ orden hay que adquirir el conocimiento y tambi´n c´mo se implementa (al e e o ordenarlo. el an´lisis de la organizaci´n. el impacto. Metodolog´ para la construcci´n de SSBBC ıas o McDermott. Nivel de Contexto: ¿Por qu´? e Los modelos de este nivel analizan los beneficios. extrajo que hay familias a o de tareas que se pueden resolver por m´todos cuyo conocimiento de control es abstracto e y se puede aplicar a distintas instanciaciones de esa tarea. vez que se met´ conocimiento declarativo nuevo se iba deteriorando el anterior. Es un estudio profundo de la organizaci´n. As´ a la ıa ı. Metodolog´ CommonKADS ıa La metodolog´ CommonKADS (Knowledge Analysis and Documentation Sysıa tem) es una variaci´n de la metodolog´ en espiral de la IC. Conceptual Modell Language). la utilidad que tendr´ el a SBC que se pretende construir. una metodolog´ estructurada que cubre ıa ıa la gesti´n del proyecto. del impacto y posibles resultados de la implantaci´n o o del SBC. se organiza o ´ o tal y como se puede observar en la figura 2.3. espectativas. etc. M´todos de limitaci´n de roles e o Los estudios de McDermott constituyeron los primeros intentos para reutilizar el m´todo de resoluci´n de problemas. . Plasma tres de las ideas m´s utilizadas en IS e IC (modelado. siendo la unica que utiliza Orientaci´n a Objetos. 2. KADS. a Esta divisi´n en niveles y modelos permite su desarrollo sin que unos sean intero dependientes de otros.. Modelo de Organizaci´n Estudia qu´ ´reas de la organizaci´n son m´s o ea o a susceptibles de sacar provecho de un SBC. disminu´ ımos la entrop´ y es m´s f´cil implementarlo). al serle a˜adido un lenguaje de mon delado conceptual (CML. pues. e o diferenci´ndolos de la base de conocimientos. predisposici´n.1. muy parecido a UML. y que facilita el dise˜o del sistema.10 Apuntes – 2. n La metodolog´ CommonKADS es.

3: Esquema de la metodolog´ en cascada. Metodolog´ CommonKADS ıa 11 Analisis del sistema Especificaciones de requisitos Diseño Codificacion Prueba Mantenimiento Figura 2. ıa Ingenier´ del Conocimiento ıa .3. ıa Contexto Modelo de la Organizacion Modelo de Tareas Modelo de Agentes Concepto Modelo de Conocimiento requisitos funcionalidades Modelo de Comunicacion requisitos sobre interacciones Implementacion Modelo de Diseño Figura 2.4: Niveles de la metodolog´ CommonKADS.2.

Da una o visi´n de la estructura del conocimiento independiente de la impleo mentaci´n.12 Apuntes – 2. funcioe nes. Metodolog´ para la construcci´n de SSBBC ıas o poder abordarlas m´s f´cilmente. 2. arquitectura.3.2. identificar sus entradas y salidas. a a criterios de rendimiento. plantillas. . pre y postcondiciones. Modelo de Agentes Los agentes son los ejecutores de las tareas de la organizaci´n (ya sean personas f´ o ısicas. o Se analiza en este modelo qu´ normas se les aplican. o Modelo de Conocimiento Explica en detalle qu´ tipos de conocimiento e e informaci´n tenemos involucrados (naturaleza y estructura). etc. Nivel de Implementaci´n: ¿C´mo? o o Este nivel se centra en la manera de llevar a cabo. a Modelo de Dise˜ o Usando fundamentalmente el Modelo de Conocimienn to y el Modelo de Comunicaci´n. .. el sistema: mecanismos computacionales. . . de realizar de manera concreta. Nivel de Concepto: ¿Qu´? e Los modelos de este nivel conforman una descripci´n conceptual del conocimiento.3.3. a Laura Castro .. se intentan obtener los requisitos y o restricciones pr´cticas del sistema. o Modelo de Comunicaci´n Disecciona c´mo es la comunicaci´n entre ageno o o tes involucrados (conceptualmente). 2. representaci´n del conocimiento o m´s adecuada. sistemas de informaci´n.). etc.

lo ıan ıas que supone un gran avance. en general.Cap´ ıtulo 3 An´lisis de viabilidad e impacto: a modelado del contexto en CommonKADS El conocimiento siempre funciona dentro de una organizaci´n. o Un SBC act´a como un agente que coopera con otros. El laboratorio es diferente del “mundo real”. o o Un SBC es una herramienta de apoyo dentro del proceso general de la organizaci´n. Un sistema s´lo puede funcionar de forma adecuada si est´ propiao a mente integrado a largo plazo en la organizaci´n en la que trabaja. humanos o no. al igual que cualquier sistema de informaci´n. 13 . Tareas y Agentes o Pasos y t´cnicas en el an´lisis del conocimiento orientado a las empree a sas y las instituciones Casos de ejemplo Razones del modelado del contexto A menudo es dif´ identificar el uso rentable de tecnolog´ basadas ıcil ıas en conocimiento. veremos: √ √ √ √ Por qu´ es necesario modelar el contexto e El papel de los modelos: Organizaci´n. u y lleva a cabo una fracci´n de las tareas de la organizaci´n. En este cap´ o ıtulo. La aceptabilidad de los usuarios es muy importante. o o Muchas de estas cuestiones no se ten´ en cuenta en metodolog´ anteriores. entre otras cosas.

El Proceso de Modelado del Contexto 1. Estudio del alcance y viabilidad: a) An´lisis. Los pasos a seguir son: Cada estudio consta de una parte de an´lisis y una parte de decisi´n constructiva: a o 1.. e a Decidir soluciones y su viabilidad.. ◦ El papel t´ ıpico de los SBCs es el de un asistente interactivo inteligente. ubic´ndolos en una perspectiva a m´s amplia en la organizaci´n. elegir el ´rea (o ´reas) m´s comprometedora y la a a a soluci´n meta.Se trata de identificar las ´reas problema/oportunidades a a y buscar soluciones potenciales. Herramienta: Modelos de o Tareas y de Agentes (TM. o El papel de los SBC se rige por una serie de directrices: ◦ Normalmente los SBCs encajan mejor en proyectos de mejora de la organizaci´n. ıa a 3. e Planificar la necesidad de cambios en la organizaci´n. t´cnica y o e del proyecto. a ra´ de expectativas poco realistas. Llevar a cabo un estudio de impacto y mejora (para enfocar/ampliar/refinar el modelo de la organizaci´n). Modelado del contexto en CommonKADS Las metas del modelado del contexto son: Identificar qu´ cuestiones suponen problemas y cu´les no.. AM). o 2. Mejorar las tareas y el conocimiento relativo a ´stas. o 2. que son pasivos.14 Apuntes – 3. Llevar a cabo un estudio de alcance y viabilidad. Herramienta: Modelo de Organizaci´n (OM). a o b) S´ ıntesis.Se estudian las interrelaciones entre la tarea. ız ◦ Es mejor usar los SBCs como herramientas de mejora de procesos. Estudio de impacto y mejoras (para cada ´rea elegida en el paso ana terior): a) An´lisis. e Laura Castro . e intentando ver qu´ mejoras se pueden lograr.Se trata de estudiar la viabilidad econ´mica. a diferencia de la mayor´ de los sistemas autom´ticos. los agentes a involucrados y el uso de conocimiento para un sistema con ´xito. ◦ Las tareas son normalmente demasiado complejas y el proyecto se suele convertir en un fracaso.1. m´s que en la visi´n tradicional de automatizar las tareas o a o del experto.

El Proceso de Modelado del Contexto b) Dise˜o. metas. enfocan las partes relevantes • TM: tareas y conocimiento relativo a ellas directamente relacionado con el problema a resolver con el SBC • AM: agentes involucrados en las tareas del TM Para simplificar este trabajo se dispone de formularios u hojas de trabajo que ayudan en el proceso de modelado: 5 formularios para el OM 2 formularios para el TM 1 formulario para el AM 1 formulario resumen Estas hojas de trabajo funcionan como “checklist” y como archivo de informaci´n. sistema de soporte. equipos.. ) √ potencial y cultura √ recursos (conocimiento.1.1.3.. el nivel contextual aglutina tres modelos: Estudio de alcance y viabilidad • Modelo de la Organizaci´n (OM) para describir y analizar la oro ganizaci´n en sentido amplio o Estudio de impacto y mejoras • Modelo de Tareas (TM) y Modelo de Agentes (AM).Se decide acerca de los cambios en las tareas y las medidas n de la organizaci´n para asegurar su aceptaci´n y la integraci´n de o o o una soluci´n basada en SBC. o 15 Como ya hemos visto en el cap´ ıtulo anterior. . m´s centrados a y detallados. . .1. El modelo de Organizaci´n o ∗ Describir aspectos de la organizaci´n o — carpeta de oportunidades/problemas — contexto de negocio. o debiendo ser utilizados de forma flexible. roles funcionales. ) ∗ Hacer este trabajo para la organizaci´n presente y la futura o ∗ Comparar y tomar las primeras decisiones de qu´ hacer e Ingenier´ del Conocimiento ıa Veremos ahora c´mo analizar una organizaci´n intensiva en conocimiento: o o .. 3. estrategia — organizaci´n interna o √ estructura √ procesos √ personas (plantilla. .

conocimiento y otras caracter´ ısticas relativas a los agentes que llevan a cabo o participan en las tareas identificadas en el modelo de Tareas. utilizando tambi´n una serie de plantillas que se e adjuntan en los ap´ndices. el modelo de Agentes detalla el papel. los que no se ı. relevancia. Laura Castro . El modelo de los Agentes Por su parte. 3. a o Hasta aqu´ es el an´lisis de los aspectos est´ticos de la organizaci´n. o 3.1. a a o supone que vayan a cambiar. remitimos a los ap´ndices para estudio e de las plantillas asociadas.2. De nuevo.1.1: Modelo de la Organizaci´n.3.16 Apuntes – 3. o Se remite a los ap´ndices para detalle de las plantillas correspondientes a cada paso e del an´lisis del Modelo de Organizaci´n. El modelo de las Tareas El modelo de Tareas describe. las tareas que se determinan componen los procesos de la e organizaci´n y que fueron esbozadas en algunos apartados referentes al modelo de la o Organizaci´n. Modelado del contexto en CommonKADS Modelo de Organizacion OM−5 OM−1 OM−2 OM−3 OM−4 Problemas/Oportunidades Descripcion del area elegida Contexto general Soluciones potenciales Estructura Procesos Personal Cultura y potencial Recursos Conocimiento Decomposicion detallada Descripcion a traves de activos de conocimiento Figura 3.

El modelo del Conocimiento Los modelos de Conocimiento son una herramienta especializada para especificar tareas en dominios intensivos de/en conocimiento.Cap´ ıtulo 4 Descripci´n conceptual del o conocimiento en CommonKADS Como hemos visto. No incluye aspectos de comunicaci´n con los usuarios ni con o otros agentes software. o 17 . Un modelo de conocimiento especifica los requisitos de conocimiento y razonamiento del sistema futuro.1. CommonKADS organiza la aproximaci´n a un SBC de la sio guiente forma: Modelo de la Organizacion Modelo de Tareas Modelo de Agentes Modelo de Conocimiento Modelo de Comunicacion Modelo de Diseño En este cap´ ıtulo nos centraremos en el modelado del Conocimiento. ni tampoco contiene t´rminos espec´ e ıficos de implementaci´n. 4.

o Conocimiento Inferencial Encarna los pasos b´sicos del razonamiento que se pueden hacer en el a dominio (en el contexto de un problema) y que se aplican mediante las tareas. de suerte que no o hay realmente una frontera definida entre informaci´n y conocimiento. un link entre dos ıas clases. que proporciona informaci´n sobre la relaci´n entre ambas.18 Apuntes – 4. Descripci´n conceptual del conocimiento en CommonKADS o Su estructura es similar a la de los modelos de an´lisis tradicional en ingenier´ del a ıa software. a Normalmente. o o El conocimiento se puede utilizar para inferir nueva informaci´n. de manera que sea posible su reutilizaci´n y tambi´n o e su correcci´n de forma m´s sencilla. en las jerarqu´ superclase-subclase de tipos de objetos. Conocimiento del Dominio Aglutina el conocimiento y la informaci´n relevantes del dominio eso t´tico. o a Dentro del modelo del conocimiento. se prefiere tener varias bases de conocimiento. Laura Castro . o En un SBC. el conocimiento est´ presente como tal en la base de conocimientos. Un ejemplo de ello podr´ ser. o Requisitos y especificaciones de interaccion MODELO COMUNICACION TAREA INTENSIVA en CONOCIMIENTO MODELO CONOCIMIENTO MODELO de ORGANIZACION MODELO de TAREAS MODELO de AGENTES MODELO DISEÑO Tarea seleccionada en estudio de viabilidad y desarrollada en modelos de tareas y agentes Requisitos y especificaciones de razonamiento El t´rmino conocimiento ya ha sido comentado con anterioridad: lo hab´ e ıamos definido como “informaci´n sobre la informaci´n”. por o o ıa ejemplo. cada una aglutinando reglas de un tipo determinado. distinguiremos varias categor´ de conociıas miento: Conocimiento de la Tarea ¿Qu´ y c´mo? e o Es un conocimiento orientado a la meta y que realiza una descomposici´n funcional. siendo un aspecto importante para la reutilizaci´n del software. equivaliendo de alg´n modo al modelo de datos o de objetos en a u IS.

4. ıas Ingenier´ del Conocimiento ıa .1.1: Categor´ en el modelo del Conocimiento. El modelo del Conocimiento 19 Conocimiento de la Tarea: DIAGNOSIS (tarea) HIPOTETIZAR (inferencia) VERIFICAR (inferencia) Conocimiento Inferencial: Conocimiento del Dominio: SINTOMA (tipo) ENFERMEDAD (tipo) PRUEBA (tipo) Modelo de Conocimiento Conocimiento del Dominio Conocimiento Inferencial Conocimiento de la Tarea Figura 4.

siendo comparable al contenido de una base de datos.1. conjuntos de instancias de conocimiento). Conocimiento del dominio El conocimiento del dominio describe la informaci´n est´tica m´s importante y los o a a objetos de conocimiento en un determinado dominio.20 Apuntes – 4. Constructos en el esquema del dominio La mayor´ son similares a los de O.1. Descripci´n conceptual del conocimiento en CommonKADS o 4.2: Constructos del modelo del Conocimiento. siendo comparable al modelo de datos/objetos en IS.O. Tiene dos partes principales: Esquema del Dominio Describe la estructura est´tica de la informaci´n/conocimiento a trav´s a o e de definiciones tipo. e Base de Conocimientos Contiene instancias de los tipos que se especifica en el esquema del dominio (es decir. Modelo de Conocimiento Conocimiento del Dominio Conocimiento Inferencial Conocimiento de la Tarea Esquema del Dominio Base de Conocimientos CONSTRUCTOS Conceptos Relaciones Tipos de Regla Figura 4. Queda definido a trav´s de los constructos del dominio. (especialmente los diagramas de clases): ıa Laura Castro .

1. otros para cubrir aspectos espec´ a ıficos del modelado SBC.O. El modelado de las reglas Las reglas son una forma natural y com´n de representar el conocimiento simb´lico. Relaciones ´ Las relaciones entre conceptos pueden definirse con el constructo relacion o re´ ´ lacion binaria (e incluso relacion n-aria) a trav´s de las especificaciones de e argumentos.3: Relaciones en el modelo del Conocimiento. Conceptos y Atributos 21 Como hemos dicho. Tipos de reglas Introducen expresiones (no hay equivalente en IS). La propia relaci´n puede tener atributos. ¿c´mo representamos dependencias entre conceptos en un modelo de datos o tradicional? Ingenier´ del Conocimiento ıa .O. adem´s. Se incluyen. u o Ahora bien. e Relaciones Como las asociaciones en O. Es posible especificar un rol para cada argumento. Los conceptos son el punto de comienzo para el modelado del conocimiento. o pertenencia 0+ coche propiedad−de 0−1 persona DIRECCIONAL coche persona NO DIRECCIONAL coche propiedad fecha−adquisicion persona REIFICACION (si la relacion tiene atributos o participa en otras relaciones) Figura 4. Las caracter´ ısticas de los constructos se definen mediante atributos. pero sin operaciones ni m´todos). que pueden tener un valor (at´mico) que se define a trav´s de un tipo de valor (definici´n de los valores o e o permitidos).4. Caracter´ ısticas de los conceptos. un concepto describe un conjunto de objetos o instancias. Atributos Valores primitivos. El modelo del Conocimiento Conceptos Describen un conjunto de objetos o instancias del dominio que comparten caracter´ ısticas similares (como los objetos en O. La cardinalidad se define para cada argumento y su valor por defecto es 1.

Las relaciones no son estrictamente l´gicas. Estructura de tipo de regla La estructura es sencilla: <antecedente> <s´mbolo-de-conexi´n> <consecuente> ı o Su uso flexible permite la representaci´n de cualquier tipo de dependencia (tipos o m´ltiples para antecedente y consecuente).. Se modelan un conjunto de reglas de estructura similar. donde antecedente y consecuente no son o instancias de conceptos sino expresiones de esas instancias. u ESTADO INVISIBLE causa ESTADO dependencia estado tiene−manifestacion manifestacion regla ESTADO INVISIBLE ESTADO OBSERVABLE TIPO−de−REGLA regla−manifestacion DESCRIPCION "." ANTECEDENTE estado−invisible CONSECUENTE estado−observable SIMBOLO tiene−manifestacion END−TIPO−de−REGLA Figura 4.4: Ejemplos de representaci´n de Tipos de Regla. es necesario especificar un o ´ s´ ımbolo de conexion entre antecedente y consecuente.22 Apuntes – 4. Descripci´n conceptual del conocimiento en CommonKADS o Para modelar la construcci´n de las reglas se usa el constructo tipo de regla: o Es similar a una relaci´n.. o Laura Castro . Se modela una relaci´n entre expresiones acerca de los valores de los o atributos.

o Los roles din´micos son las entradas y salidas en tiempo de ejecuci´n de las infea o rencias. EXPRESIONES /* dependientes−estado */ . o BASE−CONOCIMIENTOS USA .. o 4. Ingenier´ del Conocimiento ıa . son las unidades b´sicas a de procesado de informaci´n. de ... o Describe c´mo las estructuras est´ticas del conocimiento del dominio se pueden usar o a para realizar el proceso de razonamiento. esta cuesti´n se trata realmente en el Moa o delo de Comunicaci´n).. permitiendo la reutilizaci´n del conocimiento... .1.. Una inferencia usa el conocimiento de alguna base de conocimiento para derivar nueva informaci´n.. /* manifestacion−regla */ ... o Funciones de Transferencia Relativas a la comunicaci´n con otros ageno tes (a un nivel muy b´sico. o bien semiformalmente con el s´ ımbolo de conexi´n separando antecedente y consecuente. END−BASE−CONOCIMIENTOS Figura 4.1. Conocimiento inferencial El conocimiento inferencial describe el nivel inferior de descomposici´n funcional. El modelo del Conocimiento Base de Conocimientos 23 Es una partici´n conceptual de la BC que contiene instancias de los tipos de conoo cimiento definidos en el esquema del dominio. o Sus elementos principales se aprecian en la figura 4. Su estructura tiene dos partes: ◦ el slot usa: <tipos-usados>de <esquema> ◦ el slot expresiones: <instancias> Las instancias pueden representarse formalmente. Las instancias de los tipos de reglas contienen reglas. de .4..5: Ejemplo de representaci´n de Base de Conocimientos. o Roles de Conocimiento Relacionados indirectamente con el conocimiento del dominio.2..6 y son: Inferencias Relacionadas con el razonamiento.

6: Elementos del Conocimiento Inferencial. explicar ENTRADA (rol dinamico) queja Modelo Causal (rol estatico) INFERENCIA SALIDA (rol dinamico) hipotesis Figura 4. Laura Castro .7: Ejemplo de Inferencia.24 Apuntes – 4. Descripci´n conceptual del conocimiento en CommonKADS o Modelo de Conocimiento Conocimiento del Dominio Conocimiento Inferencial Conocimiento de la Tarea Inferencias Roles de Conocimiento Funciones de Transferencia Figura 4.

... o otro sistema. Rol de Conocimiento Proporcionan un nombre funcional para elementos dato/conocimiento. que hace ´nfasis en los aspectos a e din´micos del flujo de datos (roles est´ticos opcionales). mientras que los est´ticos son entradas ina a variantes (una base de datos).1. realizando un mapeado expl´ ıcito a los tipos del dominio. La especificaci´n detallada de las funciones de transferencia es o parte de otro modelo.. ). a a Ingenier´ del Conocimiento ıa .. El modelo del Conocimiento Inferencias 25 Las inferencias quedan completamente descritas a trav´s de una especificaci´n dee o clarativa de propiedades de su E/S. o Iniciativa sistema obtener presentar Iniciativa externa recibir proporcionar Informaci´n externa o Informaci´n interna o Cuadro 4. . ESPECIFICACION ". Dicho nombre captura el rol del elemento en el proceso de razonamiento. el de Comunicaci´n... Desde el punto de vista del modelo de conocimiento es una caja negra: s´lo interesa o su nombre y su E/S. SALIDA ...1: Nombres est´ndar de las Funciones de Transferencia. ." END_INFERENCIA ROL−CONOCIMIENTO nombre TIPO dinamico MAPEADO−DOMINIO visible−estado END−ROL−CONOCIMIENTO Funciones de Transferencia Las funciones de transferencia transfieren un item de informaci´n entre el agente de o razonamiento del m´dulo de conocimiento y otro agente del mundo externo (usuario. ESTATICOS . El conjunto de inferencias se puede presena tar gr´ficamente en una estructura inferencial.4. Los roles din´micos son variantes E/S. a Estructura Inferencial La combinaci´n de los diferentes conjuntos de inferencias especifica la capacidad o inferencial b´sica del sistema en desarrollo. INFERENCIA explicar ROLES ENTRADA . Los procesos internos de la inferencia son una caja negra.

Suele ser util realizar anotaciones con ejemplos espec´ ´ ıficos del dominio. la propia Tarea y por otra parte lo que llamaremos el M´todo de la e Tarea. asesorar la suscripci´n o de una hipoteca.3. con el fin de especificar qu´ es necesario saber. se recomienda el uso de nombres lo m´s est´ndar posibles con el fin de favorecer a a la reutilizaci´n. ) y las estrategias que se pueden utilizar para n realizar dichas metas. Reutilizaci´n de inferencias o El estado ideal ser´ disponer de un conjunto est´ndar de inferencias. Esta descripci´n sigue un esquema jer´rquico. o a Tal y como se puede observar en la figura 4. dise˜ar un ascensor. Con ese objeıa a tivo.1. dentro del conocimiento de la tarea. salida). . Tarea La Tarea define la meta del razonamiento en forma de pares (entrada. Las estructuras inferenciales definen las capacidades inferenciales del sistema.8: Ejemplo de Mapa Inferencial. y. el vocabulario y las dependencias de control. distinguiremos. e Laura Castro . e La diferencia principal con las funciones tradicionales es que los datos manipulados por la tarea se describen tambi´n independientemente del dominio.26 Apuntes – 4. pero no el control en s´ (del que se ocupa el ı conocimiento). . Descripci´n conceptual del conocimiento en CommonKADS o rol conocimiento dinamico queja rol estatico explicar modelo causal funcion de transferencia obtener hecho real hipotesis predecir hecho esperado comparar modelo manifestacion resultado Figura 4.. son un veh´ ıculo importante de comunicaci´n o durante el proceso de desarrollo. Uso de las Estructuras Inferenciales Las estructuras inferenciales son representaciones abstractas de los posibles pasos del proceso de razonamiento. a pesar de que a menudo puedan ser provisionales. Conocimiento de la tarea El conocimiento de la tarea describe metas (por ejemplo.9. como tales. o 4.

1.4. El modelo del Conocimiento Modelo de Conocimiento 27 Conocimiento del Dominio Conocimiento Inferencial Conocimiento de la Tarea Tarea Metodo de la Tarea Figura 4. capturando la estrategia de razonamiento. Las subfunciones pueden ser otra tarea. La parte central del m´todo de la tarea se denomina estructura de control y describe e el orden de las subfunciones. como en las inferencias. inferencias o funciones o de transferencia. o Una tarea se describe por medio de tres slots: META Descripci´n textual informal.9: Elementos del Conocimiento de la Tarea. ROLES Los roles de E/S se especifican en forma de roles funcionales. El hecho de que la descripci´n deba ser independiente del dominio tiene como obo jetivo la reutilizaci´n de las tareas. o SPEC Describe de manera textual e informal la relaci´n entre la entrada o y la salida de la tarea. los roles de las tares est´n linkados a los roles inferenciales a cada tarea tiene un m´todo asociado e M´todo de la Tarea e El M´todo de la Tarea describe c´mo se realiza una tarea mediante su descompoe o sici´n en subfunciones. Los elementos de la estructura de control son: Ingenier´ del Conocimiento ıa . pero con algunas diferencias: no hay roles est´ticos a no hay mapeado de los roles en t´rminos espec´ e ıficos del dominio.

Sin embargo. lo que favorece una mayor reutilizaci´n posterior. es usual manejar estructuras inferenciales provisionales. . o 1 Donde por funci´n podemos entender tanto “tarea” como “inferencia”. o Laura Castro . Durante el desarrollo del modelo. ) o ◦ primitivas de control (repetir.28 Apuntes – 4.5.1. Modelo de Conocimiento (IC) Los Modelos de Datos contienen “datos sobre datos”. hace ´nfasis en el control interno y desarrolla funciones e que se describen independientemente del modelo de datos.. e ◦ llamadas a procedimientos (tareas. inferencias. ) ◦ condiciones expresiones l´gicas sobre roles o condiciones especiales: tiene soluci´n y nueva soluci´n o o 4.. entonces es necesario definir esta funci´n como o una tarea. Descripci´n conceptual del conocimiento en CommonKADS o explicar predecir obtener comparar Figura 4. . . ¿Inferencia o Tarea? Si el comportamiento interno de una funci´n1 es importante para explicar el como portamiento del sistema como un todo.10: Ejemplo de esquema de un posible M´todo de la Tarea. funciones de transferencia) ◦ operaciones de roles (asignaci´n. 4.4. . Modelo de Datos (IS) vs. la Ingenier´ del Conocimiento se ıa centra en el conocimiento. ya que en Ingenier´ del ıa Software lo importante son los datos.1. suma/resta.

Los fundamentos de la reusabilidad pasan por no reinventar la rueda cada vez que nos enfrentamos a un problema. Una plantilla es una combinaci´n de elementos del modelo reutilizables: o Estructura inferencial (provisional) Estructura de control t´ ıpica Esquema del dominio t´ ıpico desde el punto de vista de la tarea Todo ello es espec´ ıfico para el tipo de tarea que describe cada plantilla en particular. Plantillas de modelos de Conocimiento. conseguir la m´xima eficiencia coste/tiempo. Elementos reutilizables 29 4.1. Ingenier´ del Conocimiento ıa .2. 4. La estructura de la descripci´n en la plantilla es la siguiente: o 1. 4. Variaciones t´ ıpicas (cambios/ajustes frecuentes). Esto es una ventaja de la IC en compaa raci´n con los antiguos SSEE. ıa o Existe un cat´logo de plantillas de tareas intensivas en conocia miento (como los patrones en O.2.O. M´todo por defecto. Tipos de Tareas El rango de tipos de tareas est´ limitado. La gu´ principal para la reutilizaci´n es el tipo de tarea. destacan una serie de puntos clave en lo que a reutilizaci´n se refiere: o √ √ √ Los modelos de conocimiento pueden ser parcialmente reutilizados en aplicaciones nuevas. Plantillas de modelos de Conocimiento. Gracias a estas plantillas este m´todo de modelado soporta el modelado del e conocimiento “top-down”. Caracterizaci´n general.2.). e 3. o 2. o En el trasfondo de esto se encuentran la ciencia cognitiva y la psicolog´ ıa. Esquema t´ ıpico del conocimiento del dominio (asunciones sobre las estructuras del dominio). disminuir a la complejidad y asegurar la calidad. Elementos reutilizables En lo que llevamos visto hasta el momento.4.

a Descripci´n del sistema construido. construir conceptualizacion inicial. o ˜ diseno modelado ´ planificacion ´ asignacion scheduling Sistemaa Entrada Salida Tipos Entendemos por sistema un t´rmino abstracto que designa el objeto sobre el que se aplica la e tarea. En diagn´stico t´cnico. Datos acerca del sistema. Construcci´n de los modelos de Conocimiento o La metodolog´ CommonKADS enfoca el modelo del conocimiento como un producıa to. especificacion completa del modelo del dominio Validacion del modelo del conocimiento. ıa Laura Castro . o e ıa a a Cuadro 4. el proceso. refinado de las bases de conocimiento Figura 4. ´ clasificacion asesoramiento diagnostico ´ monitorizacion ´ prediccion Tareas Sint´ticas e No existe a´n. ıa a El modelado del conocimiento es una forma especializada de especificaci´n de reo quisitos en el que se usan. lista potencial de componentes reutilizables Escoger plantilla de tareas. Alguna caracter´ ıstica del sistema. el modelado es una actividad constructiva para la que no existe una soluci´n correcta ni un camino ´ptimo. La soluci´n.30 Apuntes – 4. Esto hace que se forme un cuello de botella por falta de experiencia en el modelado del conocimiento. por ejemplo ser´ el artefacto o aparato que est´ siendo diagnosticado.2: Tareas Anal´ ıticas vs.3. a su vez. As´ pues. Descripci´n conceptual del conocimiento en CommonKADS o Tareas Anal´ ıticas Preexiste (aunque no es conocido). como es f´cil de preveer. por tanto. u Requisitos del sistema que se construir´. pasa por modelar. e 4. o a No obstante. principios generales de la IS. ESTADOS Identificacion del Conocimiento Especificacion del Conocimiento Refinado del Conocimiento Familiarizacion con el dominio.11: Gu´ para el modelado del Conocimiento. Tareas Sint´ticas. lo que se hace es proporcionar una o o ı gu´ que funciona bien en la pr´ctica.

). res´menes de textos. Identificaci´n del Conocimiento o META Estudiar los items de conocimiento. o o ACTIVIDADES Explorar fuentes de informaci´n y estudiar la naturaleza de la tao rea. buscar descripci´n est´ndar) o o a 4. principales items de conocimiento identificados. Algunas gu´ ıas: Hablar con la gente que trata a los expertos pero que no son expertos Evitar sumergirse en teor´ complicadas y detalladas ıas Construir unos cuantos escenarios t´ ıpicos No pasar demasiado tiempo en esta actividad Una vez acometidas estas actividades. etc.3. prepararlos para su especificaci´n. e Las t´cnicas para su exploraci´n son las tradicionales: marcado de texe o tos. . .2. Especificaci´n del Conocimiento o META Completar la especificaci´n del conocimiento excepto para los contenidos de o los modelos del dominio (que necesitan s´lo contener instancias). tanto tangibles (listado de fuentes. como intangibles (la propia comprensi´n). Construcci´n de los modelos de Conocimiento o 31 4. o La presencia de una lista de componentes tiene como objetivo allanar el camino en el manejo de componentes reutilizables en dos dimensiones: ◦ Dimensi´n de la Tarea (elegida del tipo asignado en el TM. glosario. Algunas gu´ para la selecci´n de plantillas: ıas o Ingenier´ del Conocimiento ıa . o ENTRADA Tarea intensiva en conocimiento. construir una o lista de plantillas) ◦ Dimensi´n del Dominio (tipo de dominio. restricciones del o contexto. puede realizarse una valoraci´n de resultao dos.3.3.4. El problema principal reside en encontrar un balance entre aprender sobre el dominio y convertirse en un experto. descripci´n u o de escenarios).1. Los criterios de selecci´n son las caracter´ o ısticas de la tarea de la aplicaci´n (naturaleza de las entradas y salidas del sistema. entrevistas. no debemos o olvidar que existe una fuerte preferencia por un modelo de conocimiento basado en aplicaciones ya existentes (por razones de eficacia y calidad asegurada). clasificaci´n de la tarea de la aplicaci´n. o ACTIVIDADES Elegir una plantilla de la tarea Como l´ ınea base de actuaci´n. Los factores m´s importantes con respecto a las fuentes de informaci´n a o son su naturaleza (¿son claras? ¿tienen base te´rica?) y su diversidad o (¿son conflictivas? ¿con qu´ factor de riesgo?).

La estructura inferencial est´ suficientemente detallada si lo est´ la explia a caci´n que proporciona. la plantilla de la tarea ha de ser o una buena aproximaci´n de la estructura inferencial. a ◦ Limitar el uso del lenguaje de modelo de conocimiento a conceptos. cuestionar la intensidad en conocimiento de la tarea. usar t´cnicas est´ndar de IS e a para encontrar conceptos y relaciones. No incluir detalles de la memoria de trabajo. Ruta Middle-In. Construir una estructura inferencial anotada con ejemplos y un esquema del dominio. ◦ Si no existe modelo de datos disponible. que tendr´ dos partes: a Conceptualizaci´n espec´ o ıfica del dominio (que no es probable que cambie). pudiendo enfrentarse de dos maneras: o 1. u Algunas gu´ para especificar el conocimiento de la tarea: ıas ◦ ◦ ◦ ◦ Empezar con la estructura de control. Como “salida” de este paso obtendremos un esquema que debe cubrir al menos las conceptualizaciones espec´ ıficas del dominio. Especificar las tres categor´ del conocimiento Por ultimo. subtipos y relaciones (concentrarse en los “datos”. har´ las cooperaciones ıa a a e intercambios futuros m´s sencillos). por lo que consume m´s tiempo. o tambi´n si es f´cil encontrar para cada inferencia o e a un tipo de conocimiento del dominio que act´e tal y como se espera. Ruta Middle-Out. empieza con el conocio miento inferencial. Elegir nombres de roles aclarativos (Modelar es nombrar ). Si no se ajusta a ninguna plantilla. Como precondici´n. No incluir roles de conocimiento est´tico. Construir una conceptualizaci´n inicial del dominio Ha de construirse un o esquema del dominio inicial. Conceptualizaci´n de m´todos espec´ o e ıficos (s´lo necesaria para resolver o ciertos problemas —excepciones a la norma. o 2. a Laura Castro . de manera similar a cuando se construye un modelo de clases inicial). Es la aproximaci´n preferida. se termina la ıas ´ especificaci´n completa del dominio. no demasiado relevantes en este punto—).32 Apuntes – 4. Comienza en paralelo con la descomposici´n de la tarea o y el modelado del dominio. Descripci´n conceptual del conocimiento en CommonKADS o Preferir las que se usan con m´s frecuencia (por evidencia emp´ a ırica). Es necesario a si la plantilla de la tarea es de grano “demasiado grueso”. Algunas gu´ sobre c´mo actuar: ıas o ◦ Utilizar en lo posible el modelo de datos existente (usar al menos la misma terminolog´ en los constructos b´sicos.

debemos especificar requisitos para obtener herramientas o de soporte potentes. .3. no es u algo diferente del desarrollo del modelo. seg´n el punto de vista de CommonKADS. Construcci´n de los modelos de Conocimiento o 33 ◦ En aplicaciones de tiempo real. o Existen diferentes t´cnicas de validaci´n: e o Interna: • Rutas estructuradas (probar escenarios t´ ıpicos) • Herramientas software Externa: • Suele ser m´s dif´ y/o amplia a ıcil • T´cnica principal: simulaci´n (prototipos. Rellenar las Bases de Conocimiento El esquema contiene dos tipos de dominios: tipos de informaci´n parte de un caso o y tipos de informaci´n parte de un modelo de conocimiento. Algunas gu´ para el rellenado de las bases de conocimiento: ıas Ingenier´ del Conocimiento ıa . simulaci´n basada en e o o papel) En cuanto al mantenimiento. o Algunas gu´ para especificar el conocimiento inferencial : ıas ◦ Comenzar con la representaci´n gr´fica. Validaci´n del modelo de Conocimiento. pues es algo c´ ıclico. ). a a Algunas gu´ para especificar el conocimiento del dominio: ıas ◦ Usar como roles est´ticos los tipos del dominio (no tienen que tener la a representaci´n correcta. a a o datos iniciales. Refinado del Conocimiento El refinado del Conocimiento pasa por: 1. Rellenar las Bases de Conocimiento. o 2. El modelo es como un repositorio de informaci´n. Las instancias s´lo se neo cesitan para un escenario. ¿es el modelo adecuado?) y externa o o (validaci´n contra los requisitos del usuario. . hip´tesis. ¿es correcto el modelo?).3. esta ser´ una tarea del dise˜o). o a ◦ Elegir los nombres de rol cuidadosamente (car´cter din´mico. considerar usar una representaci´n alo ternativa al pseudoc´digo (UML).4.. o a n 4. Validaci´n del modelo de Conocimiento o La validaci´n debe ser interna (verificaci´n. ◦ Usar un conjunto lo m´s est´ndar posible de inferencias. o La meta es determinar todas las instancias de cada tipo.3.

34 Apuntes – 4. ◦ Normalmente no es posible definir una base de conocimientos correcta y completa en un primer ciclo. o 4. ◦ T´cnicas: incorporar facilidades de edici´n para las bases de conoe o cimiento. o Listado de los componentes reusables del modelo. adem´s. o Resultados de validaci´n de la simulaci´n.12: Relaci´n del modelo de Comunicaci´n con otros modelos. Descripci´n conceptual del conocimiento en CommonKADS o ◦ Rellenar las bases de conocimiento es una forma de validar el esquema construido. entrevistas estructuradas. ◦ Las bases de conocimiento necesitan mantenimiento (el conocimiento cambia con el tiempo). pueden.4.3. se redacta un documento KM-1 (ver ap´ndices). El modelo de Comunicaci´n o El papel del modelo de Comunicaci´n es especificar los procesos de transferencia o de informaci´n/conocimiento. Documentaci´n del modelo de Conocimiento o Una vez construido el modelo. en cierto modo. Escenarios t´ ıpicos del problema que resuelve la aplicaci´n. o a Requisitos y especificaciones de interaccion MODELO COMUNICACION TAREA INTENSIVA en CONOCIMIENTO MODELO CONOCIMIENTO MODELO de TAREAS MODELO de AGENTES MODELO DISEÑO Detallada en modelos de tareas y agentes Requisitos y especificaciones de razonamiento Figura 4. Un o a n o ejemplo es la interaci´n b´sica sistema-usuario. o o Laura Castro . o Listado de fuentes de informaci´n. aprendizaje autom´tico. o o Material de elicitaci´n. Tareas de comuo u nicaci´n adicionales. un control de nivel superior sobre o la ejecuci´n de la tarea (m´ltiples tareas intensivas en conocimiento).4. 4. que e contendr´: a Especificaci´n del modelo de conocimiento. a mapeado de otras bases de conocimiento. a˜adir facilidades de explicaci´n al sistema. Es. trazas.

4.4. El modelo de Comunicaci´n o Las “entradas” al modelo de Comunicaci´n son: o Modelo de Tareas Lista de tareas hoja llevadas a cabo por los agentes considerados. Modelo de Conocimiento Funciones de transferencia. Modelo de Agentes Descripci´n de agentes relevantes, capacidades, reso ponsabilidades y restricciones.

35

Cada vez m´s, los sistemas de informaci´n son informaci´n + sistema de comunia o o caci´n: o √ Aplicaciones distribuidas (telem´tica). a √ Organismos virtuales. √ Sistemas multiagente inteligentes. √ Manejo de flujos de trabajo. √ Ingenier´ concurrente. ıa √ Manejo e integraci´n de la cadena de negocio. o El modelado de la informaci´n debe cubrir: o An´lisis de la organizaci´n. a o An´lisis de las tareas. a An´lisis de actores/agentes (sistemas y humanos). a Normalmente, varios actores cooperan en un proceso de negocio o tarea. El modelo de Comunicaci´n se centra en modelar el di´logo entre agentes afront´ndolo mediante o a a una aproximaci´n semiformal estructurada. o

Tarea

Agente

Plan de Comunicacion

Transaccion

Especificaciones sobre el intercambio de Informacion

Estructura de la Tarea

Figura 4.13: Estructura del modelo de Comunicaci´n. o

Ingenier´ del Conocimiento ıa

36

Apuntes – 4. Descripci´n conceptual del conocimiento en CommonKADS o La aproximaci´n por capas al modelado de las comunicaciones consta de tres niveles: o Plan de Comunicaciones general.- Gobierna el di´logo completo entre a dos agentes. Transacciones individuales.- Son las que unen dos tareas hoja llevadas a cabo por dos agentes diferentes. Especificaci´n del intercambio de informaci´n.- Detalla la estructuo o ra de las transacciones.

Como se puede ver, pues, las transacciones son el componente clave del modelo de Comunicaci´n. Describen qu´ objetos de informaci´n se intercambian, indicando los o e o agentes y tareas implicados. Son el bloque de construcci´n para el di´logo completo o a entre un par de agentes, y tienen una estructura interna. Haciendo abuso de lenguaje, suele llamarse transacci´n incluso a lo que se intero cambia entre dos tareas llevadas a cabo por diferentes agentes. A un nivel superior, est´ el plan de comunicaci´n, que gobierna el di´logo coma o a pleto entre los agentes, siendo la especificaci´n concreta del modelo de Comunicaci´n. o o

4.4.1.

Plan de Comunicaci´n o

Generalmente es m´s f´cil comenzar por el plan de comunicaci´n global. El plan de a a o comunicaci´n describe completamente el di´logo de alto nivel, siendo sus transacciones o a t´ ıpicas: entrada de datos, contestaci´n de preguntas, presentaci´n de resultados, etc. o o Actividades Para cada agente se confeccionar´ una lista de todas las tareas en las que participa, a y para cada tarea se identificar´ el conjunto de transacciones agente-agente asociadas. a El resultado se combina en un diagrama de di´logo (DD, ver figura 4.14) que reprea senta las transacciones entre cada par de agentes que se comunican. Se dibuja, pues, un DD para cada combinaci´n de dos agentes que intercambian informaci´n, especificando o o de esta manera el control sobre las transacciones. Como alternativa a la notaci´n del DD, se puede utilizar tambi´n pseudoc´digo o e o con primitivas de control especiales: enviar, recibir, llevar a cabo, esperar, procesar, repetir,. . .

4.4.2.

Transaciones agente-agente

El nivel de especificaci´n medio del modelo de Comunicaci´n est´ encarnado en la o o a especificaci´n de las transacciones individuales, estructuradas en un n´mero de como u ponentes. T´cnicas simples de formulario son utiles aqu´ (ver formulario CM-1 en ap´ndices). e ´ ı e Laura Castro

4.4. El modelo de Comunicaci´n o
Agente A
(por ejemplo, usuario)

37
Agente B
(por ejemplo, sistema)

Tarea A1 Tarea A2 . . . Tarea Ax

transaccion 1 transaccion 2 . . .

Tarea B1 Tarea B2 . . . Tarea By

Dialogo
(las tareas hoja de los agentes son clave para la construccion del DD)

Figura 4.14: Estructura general de un Diagrama de Di´logo. a Las transacciones suelen agruparse tras un unico plan de comunicaci´n, salvo en ´ o sistemas multiagente.
Identificador y Nombre Plan de comunicacion

Agentes

Transaccion Restricciones Objetivo informacion

Especificacion intercambio informacion

Figura 4.15: Esquema de la estructura de una transacci´n (CM-1). o

Tareas Delegaci´n Tareas Adopci´n Tareas Intercambio o o Request Propose Ask Require Offer Reply Order Agree Report Reject ta Inform Reject td Cuadro 4.3: Tipos de comunicaci´n. o Ingenier´ del Conocimiento ıa

o o Textos explicativos de material del dominio.4: Sem´ntica de algunos tipos de comunicaci´n. Su estructura es la siguiente: ◦ Identificador y nombre de la transacci´n. acordar. Los lenguajes de comunicaci´n de agentes (ACL) est´n inspirados a menudo por la o a teor´ del acto del habla. preguntar. ◦ Items de informaci´n. nos centraremos en el nivel de detalle del modelo de Comunicaci´n. o ◦ Agentes involucrados (emisor. se componen a su vez de: o – rol (objeto central + item soporte3 ) 2 3 Intenci´n = prop´sito + cometido. trazados de razonamiento.4. sino tambi´n una relaci´n preteno e o dida entre dos agentes. Ambos aspectos deben especificarse expl´ ıcitamente. informar y enviar informe). ´ o que consiste en la especificaci´n detallada del mensaje: o Su contenido. Las o o transacciones no s´lo admiten. ordenar. explicaciones porqu´/coe mo. ıa 4. rechazar.3 (solicitar. receptor). tambi´n se pueden formar o e cadenas naturales de tipos de mensajes. Cuadro 4.38 Apuntes – 4. no s´lo es posible enviar mensajes simples. Patrones transaccionales Ya por ultimo. una primera parte informativa y una segunda parte de “solicitud de acci´n” (usualmente un mensaje de delegaci´n de tarea).3. Descripci´n conceptual del conocimiento en CommonKADS o Las transacciones tienen. o o Los tipos predefinidos son los ya indicados en la tabla 4. Laura Castro . responder. que s´lo suele ser necesario para patrones de comunicaci´n complejos o o (es un detalle del CM-1). a o request/propose require/offer order/agree reject ask/reply report inform Negociaci´n para colaborar o Compromiso condicional Efectuar un acuerdo Negarse a efectuar la petici´n o Preguntar sobre informaci´n y recibir respuesta o Informe como consecuencia de un acuerdo previo Acci´n informativa independiente o Por supuesto. en general. El resumen de la especificaci´n de los intercambios de informaci´n se aglutina en el o o formulario CM-2. proponer. ofrecer. rechazar. que hace distinciones entre el contenido y el efecto pretendido. expresada mediante un mensaje escrito (ilocuci´n). o o Su intenci´n2 . expresado mediante una declaraci´n proposicional (locuci´n). exigir. pues. un contenido.

4.4.) a – medio (ventana pop-up. . intervenci´n humana. la o o completitud de la lista de items de informaci´n y la necesidad de ayuda o explicaci´n. ) o ◦ Especificaci´n del mensaje. Minimizar la carga de memoria del usuario. Gu´ de Nielsen para la usabilidad ıa Presentar diagramas simples y naturales. o Mostrar salidas claramente marcadas desde los estados no deseados. Mantener la consistencia de la terminolog´ ıa. como la t´cnica Mago de Oz. .4. No obstante. interfaz de l´ ınea de comandos. que usar´ la misma notaci´n: diagramas de estado o o a o pseudoc´digo). su uso es caro pues es una t´cnica e experimental para validar la interacci´n que requiere de la construcci´n de un software o o maqueta. El modelo de Comunicaci´n o – forma sint´ctica (cadenas de datos. Tener en cuenta las capacidades de los agentes (AM). Ofrecer atajos al usuario experto. Decidir sobre la informaci´n de soporte (no en DM). Hablar el lenguaje del usuario. diagramas. o o Existen t´cnicas m´s formales. Proporcionar informaci´n sobre lo que est´ pasando (retroalimentao a ci´n). o Ingenier´ del Conocimiento ıa . Gu´ para pesar el modelo de Comunicaci´n ıas o Entradas clave: → Tareas hoja del TM. que se basa en la e a e misma idea que el test de Turing. → Funciones de transferencia del KM. o ◦ Control del mensaje (es un refinado del control especificado en el plan de comunicaci´n.4. para verificar la adecuaci´n de la estructura de las transacciones. T´cnicas de validaci´n e o Para validar el modelo de Comunicaci´n suelen emplearse walkthroughs en el plan o de comunicaci´n. o 39 4. etc. La formulaci´n sint´ctica del medio es algo entre el CM y el DM (se o a aborda en el CM si existen razones conceptuales para ello).

Validar y pesar el modelo. Laura Castro . Identificar las transacciones asociadas. Especificar las transacciones individuales (CM-1 y CM-2). Combinar esto en un plan de comunicaciones completo.40 Apuntes – 4. Dibujar los DD importantes. Descripci´n conceptual del conocimiento en CommonKADS o Actividades del modelo de Comunicaci´n o Identificar los objetos de informaci´n centrales para ser intercambiados o entre agentes.

Cap´ ıtulo 5 Del an´lisis a la implementaci´n: el a o modelo de Dise˜ o en n CommonKADS El Dise˜o del sistema recibe como entradas: n √ √ √ El modelo de Conocimiento (requisitos para la resoluci´n de probleo mas) El modelo de Comunicaci´n (reglas de interacci´n) o o Otros modelos (requisitos “no funcionales”) Y obtendr´ como salidas la especificaci´n de una arquitectura software y el dise˜o a o n de la aplicaci´n dentro de dicha arquitectura. o Dominio Aplicacion Sistema Software Modelos de Analisis Modelo Conocimiento arquitectura software libros protocolos expertos Modelo Comunicacion Modelo Tareas Modelo Diseño diseño algoritmos diseño TDAs plataforma hardware lenguaje implementacion casos estrategias razonamiento tiempo respuesta requerido Modelo Agentes Modelo Organizacion problemas y oportunidades Figura 5. a n 41 .1: Del an´lisis al dise˜o en CommonKADS.

Principio de Conservaci´n de la Estructura o El principio de Conservaci´n de la Estructura es el principio central del dise˜o o n moderno: “Debe preservarse el contenido y la estructura del modelo de an´lisis durante a el dise˜o. se a˜aden los n n siguientes: √ √ Reusabilidad de elementos de dise˜o/c´digo resultante. El modelo de Dise˜ o n En la construcci´n del modelo de Dise˜ o se seguir´n los siguientes pasos: o n a Laura Castro .1. n o Mantenimiento y adaptabilidad (el desarrollo en un solo paso es normalmente poco realista.” n Seg´n esta filosof´ dise˜ar es “a˜adir detalles espec´ u ıa. El modelo de Dise˜o en CommonKADS n Entendemos por arquitectura del sistema la descripci´n del software en t´rminos de o e descomposici´n en subsistemas. n n ıficos de implementaci´n a los o resultados del an´lisis”. o Especificar esta arquitectura es el punto central el proceso de dise˜o. 5. cuando hablamos de dise˜o de SBCs. seleci´n del r´gimen(es) de control y descomposici´n o o e o de los subsistemas en m´dulos software. Adquisici´n de conocimiento/facilidad para el refinado (el conocimieno to cambia con el tiempo).2. preservando la informaci´n como noci´n clave. A estos criterios generales. especialmente para sistemas intensivos en conocimiento). a o o Esto est´ directamente relacionado con los criterios de calidad del dise˜o en general: a n √ √ √ √ Minimizar el acoplamiento. Mantenimiento. Potencia explicativa. √ √ 5. y se parte de n una serie de arquitecturas de referencia para sistemas basados en CommonKADS. o Transparencia.42 Apuntes – 5. Maximizar la cohesi´n.

O.2. Los datos est´n presentes en forma de bases de conocimiento y datos din´micos a a manipulados durante el razonamiento (por ejemplo. Subsistema Modelo de Aplicacion El modelo de la aplicaci´n contiene los datos y funciones de la aplicaci´n. o n 5.2: Pasos en la construcci´n del modelo de Dise˜o. Dise˜ o de la arquitectura del sistema n El primer paso en la construcci´n del modelo de Dise˜o es.1. El modelo de Dise˜o n Paso 1 Paso 2 Paso 3 Paso 4 43 Diseño de la Arquitectura Especificacion de la Plataforma hw/sw Detalle de la especificacion de la Arquitectura Detalle del diseño de la Aplicacion Arquitecturas de referencia de CommonKADS Lista de entornos disponibles Checklist de decisiones arquitecturales Mapeado predefinido a arquitectura Conocimiento de soporte al Diseño en CommonKADS Figura 5. para lo que. inferencias y funciones de transferencia. en lenguaje Smalltalk-80 pero que ha sido adoptado n mayoritariamente en el dise˜o de software. haciendo posible la visualizaci´n de la informaci´n est´tica y din´mica a los o o o a a agentes externos. e o La arquitectura global seguir´ el modelo MVC (Model View Controller ). indicados en la figura 5. como ya se ha mencionado.5. se descompone el sistema en subsistemas. a Subsistema Vistas Este subsistema se encarga de la visualizaci´n de los datos y funciones de la aplio caci´n. o o los objetos del modelo de conocimiento. esto es. mientras que las a funciones est´n representadas por las tares. pues. como el usuario o bien otro sistema software. Ingenier´ del Conocimiento ıa .2. El principio que se sigue es separar la funcionalidad de aspectos de la interfaz.3. la especificaci´n o n o de la arquitectura global. Este modelo distingue entre los objetos de n una aplicaci´n y su visualizaci´n y define una unidad de control central con r´gimen o o e dirigido por eventos. El sistema construido siguiendo esta filosof´ tendr´ tres subsisıa a temas principales. roles din´micos). que fue a desarrollado para el dise˜o O. se define un r´gimen de control global y se descomponen los subsistemas en m´dulos software.

O. agregar la visualizaci´n de m´ltiples obu o u jetos de la aplicaci´n. inferencias) esquema(s) del dominio bases de datos/conocimiento Figura 5. como pueden ser una tabla de mapeos o protocolos de mensajes o para notificaci´n de cambios en el estado de los objetos. Suele tener un reloj o interno y una agenda. etc. pudiendo tener un comportamiento tipo daemon. pasan por darnos cuenta de que su uso no est´ necesariamente restringido a a una aproximaci´n al dise˜o/implementaci´n O. query a BD) invocacion de funciones informe de resultados Modelo Aplicacion funciones de razonamiento (tareas. Algunos otros aspectos importantes de la arquitectura MVC. o La inclusi´n de este subsistema requiere actualizaci´n arquitectural o bien mecao o nismos de integraci´n. adem´s de haber sido a desarrollada en el contexto de la O. proporcionando handlers para eventos tanto externos como internos. al usuario experto).3: Esquema del Model View Controller. es una descomposici´n funcional de o “objetos”).44 entrada Apuntes – 5. as´ como permitir n ı la integraci´n con otras aproximaciones de la IS. o Subsistema Controlador Es la unidad central de control y comandos. El modelo de Dise˜o en CommonKADS n Controlador usuario sensores maneja entradas desde agentes externos y funciones internas vistas controlador Vistas proporcionan salida a agentes externos (IU. (de hecho. Puede definir sus propias vistas de control para proporcionar informaci´n sobre el proceso (por ejemplo. A la hora de descomponer el modelo de la aplicaci´n en subsistemas debemos tener o en cuenta que se debe permitir el dise˜o preservando la estructura. Suele estar dirigido por eventos. Permite la activaci´n de las funciones de la aplicaci´n y decide qu´ hacer cuando o o e llegan los resultados. aunque el paradigma de paso de o n o mensajes debe ajustarse bien a los entes de la arquitectura..O. o Laura Castro . Es posible tener visualizaciones m´ltiples.

links con herramientas CASE que ıas soporten CommonKADS). deber´ o a ıamos considerar posponerla hasta que se finalizase el tercer paso (especificaci´n de los componentes de la o arquitectura). . a a Facilidades de control/protocolos (soporte de paso de mensajes. CORa BA.2. Soporte de CommonKADS (extensi´n de plataformas dedicadas — o por ejemplo. en muchas herramientas.O.2. Este primer paso en la construcci´n del modelo de Dise˜o queda reflejado en el o n modelo DM-1 (ver ap´ndices).O. El modelo de Dise˜o n 45 Las opciones son dos: una descomposici´n funcional o bien una descomposici´n O. Hoy en d´ la selecci´n o ıa. aunque puede no serlo en a el caso de aplicaciones en tiempo real. Facilidades para la escritura del lenguaje (un “tecleado d´bil” normale mente implica m´s trabajo en el mapeado del modelo de an´lisis). e 5. Formalismo en la representaci´n del conocimiento (preferentemente o una representaci´n declarativa). o del software es mucho m´s importante que la del hardware. o o La opci´n escogida por CommonKADS es la segunda.5. Algunos criterios para la selecci´n de la plataforma de implementaci´n pueden ser: o o Existencia de librer´ de clases de objetos “vista” (puede ser necesario ıas construir muchos uno mismo en caso contrario). Este segundo paso en la construcci´n del modelo de Dise˜o queda reflejado en el o n modelo DM-2 (ver ap´ndices). o Los requisitos espec´ ıficos del cliente suelen restringir esta selecci´n. suelen ser necesarias a menudo). ya que se ajusta bien al car´cter o a declarativo de las especificaciones de los objetos en el modelo de conocimiento (puede verse una tarea como un objeto) y adem´s simplifica el mapeado con implementaciones a O.. . posibilidad de multi-threading).2. En caso de que la selecci´n fuese m´s o menos libre. lo que es una o raz´n para colocarla en un paso temprano dentro del proceso. librer´ de objetos—. e Ingenier´ del Conocimiento ıa . o Existencia de interfaces est´ndar con otro software (ODBC. Identificaci´n de la plataforma de implementaci´n o o El segundo paso en la construcci´n del modelo de Dise˜o es la identificaci´n de la o n o plataforma de implementaci´n.

Especificaci´n de los componentes de la arquitectura o El tercer paso en la construcci´n del modelo de Dise˜o es la especificaci´n de los o n o componentes arquitecturales. El modelo de Dise˜o en CommonKADS n 5. Puede verse como una implementaci´n del modelo de comunicaci´n.46 Apuntes – 5.O. en O. ∗ Inferencias: ◦ Tres operaciones principales: execute. ◦ Declaratividad del lenguaje de control (por ejemplo.3.2. pero por a a a contra destruye la capacidad creativa. es necesario “objetificar” la estructura de control). o o Las declaraciones t´ ıpicas son: ∗ Activaci´n y finalizaci´n de funciones de la aplicaci´n. Utilidades del Controlador El controlador realiza un control dirigido por eventos con un componente central de control. especificando sus componentes. Algunas plataı n formas incorporan una arquitectura CommonKADS en las que las decisiones han sido predefinidas. se definen las interfaces entre los subsistemas y/o m´dulos de o los sistemas. o o o ∗ Decisi´n sobre la posibilidad de que el usuario realice interrupciones o para informarse del trazado/contexto. ∗ Posibilidad de abortar funciones. Se realiza as´ un dise˜o general de las utilidades de la arquitectura. pero destruye o o la naturaleza declarativa. esto tiene como ventaja que este paso se hace m´s r´pido y f´cil. que invoque al m´todo de la tarea. En particular. Utilidades del Modelo de Aplicaci´n o ∗ Tarea: para los objetos necesitamos definir dos operaciones: ◦ Un m´todo de inicializaci´n.. ◦ Enlaces a los m´todos de inferencia. ∗ Manejo de funciones de transferencia/transacciones. e o e ∗ M´todo de la Tarea: e ◦ Elementos del lenguaje de control (constructos de control). e ∗ M´todos de Inferencia: e Laura Castro . e o ◦ Un m´todo de ejecuci´n. para iniciar los valores de la tarea. more solutions y hassolution. ∗ Necesidad o no de procesado concurrente. Esta especificaci´n consiste en definir los componentes de la arquitectura en m´s o a detalle. la implementaci´n natural es una operaci´n execute.

o ıa ∗ Roles din´micos: a ◦ Tipos de datos permitidos: elemento. o ∗ Utilidades arquitecturales de actualizaci´n de vistas: o ◦ Tablas de mapeado. El modelo de Dise˜o n ◦ Librer´ de m´todos. ◦ Interfaz de edici´n/refinado para bases de conocimiento. lista. . o 47 Este tercer paso en la construcci´n del modelo de Dise˜o queda reflejado en el o n modelo DM-3 (ver ap´ndices).2. ◦ Funciones de modificaci´n/an´lisis. consultas SQL). Interfaces de Usuario ∗ Interfaz con el usuario normal: ◦ Considerar utilidades especiales (por ejemplo. eliminaci´n. ∗ Roles est´ticos: a ◦ Funciones de acceso/consulta. ∗ Modelo del dominio (bases de conocimiento): ◦ Formato representacional. generaci´n de leno guaje natural). e ∗ Funciones de transferencia: ◦ Implementaci´n v´ patrones de paso de mensajes. ◦ Protocolos de mensajes. a˜adir. e Ingenier´ del Conocimiento ıa . conjunto. o o o n etc. selecci´n. ◦ Uso de visualizaciones espec´ ıficas del dominio (depende del dise˜o n de la aplicaci´n). o ∗ Interfaz con usuarios expertos: ◦ Interfaz de trazados. a a ∗ Generaci´n de formatos externos (por ejemplo. . ıa e ◦ Permitir relaciones muchos-a-muchos entre m´todos e inferencias. o a ∗ Constructos del dominio: ◦ Simplemente inspeccionar. ◦ Funciones de acceso/consulta.5. Utilidades de las Vistas ∗ Visualizaciones gr´ficas est´ndar.. ◦ Operaciones de acceso/actualizaci´n.

4. No obstante. En general. Otras funciones: manejo de requisitos de explicaci´n o control de usuario sobre el proceso de razonamiento interrupci´n del razonamiento/control estrat´gico o e permitir escenarios what-if (simulaci´n) o La especificaci´n de la aplicaci´n en el contexto de la arquitectura queda reflejado o o en el formulario DM-4 (ver ap´ndices). un API). El modelo de Dise˜o en CommonKADS n 5.Se necesitan o a construir o disponer de herramientas de mapeo (por ejemplo. 5. para validar y verificar el modelo del dominio: • validar (¿es el sistema adecuado?) Laura Castro .. Especificaci´n de la aplicaci´n en el contexto o o de la arquitectura El ultimo paso en la construcci´n del modelo de Dise˜o es la especificaci´n del ´ o n o dise˜o en el contexto de la arquitectura.48 Apuntes – 5. Mapear la informaci´n de an´lisis en la arquitectura. Como m´ ınimo es necesario un procedimiento de bootstraping. o A menudo es necesario el procedimiento natural.3. Cuando sospechemos de agujeros en el conocimiento del dominio. e 5.1. Esta tarea se divide en dos: n 1. La extensi´n del mapeo depende de las decisiones que est´n ya conso a truidas en la arquitectura. A˜adir detalles de dise˜o. to? Prototipado de subsistemas de razonamiento ¿Cu´ndo puede ser necesario construir un prototipo del subsistema de razonamiena Cuando contemos con elementos recientemente construidos en el modelo de conocimiento (plantillas nuevas). hoy en d´ est´ considerada como una buena t´cnica ıa a e para comprobar el grado de comprensi´n que se tiene sobre aquello que se desea llegar o a contruir..3.Debe hacerse el dise˜o de la aplicaci´n para n n n o el controlador: ◦ ◦ ◦ ◦ Su entrada principal es el Modelo de Comunicaci´n. Dise˜ o de prototipos n El “prototipado r´pido” tiene una mala reputaci´n porque este t´rmino ha sido a o e empleado para referirse a implementaciones r´pidas y poco cuidadas imposibles de a mantener y escalar.2. 2.

su consa o trucci´n debe ser cuesti´n de d´ o o ıas. a 5. e Y.4. SBCs distribuidos • verificar (¿es adecuado el sistema?) 49 Adem´s la plataforma de implementaci´n debe soportar el prototipado.2. SBCs distribuidos Hay varios campos en los que potencialmente ser´ interesante usar una arquitectura ıa distribuida a la hora de construir un SBC: Servicios de razonamiento El modelo de aplicaci´n funciona como un servicio. Prototipado de interfaces de usuario La construcci´n de un prototipo de interfaz con el usuario nos brinda la oportunidad o de comprobar la interfaz sin necesidad de desarrollar toda su funcionalidad.3.4. Servidores basados en conocimiento/ontol´gicos o Unifican la terminolog´ SSEE. Puede ser necesario si el formato de vistas es complejo e incluso para poder construir una interfaz externa m´s completa. No es necesaria o una interfaz de usuario.5. Un ejemplo ser´ el GRASP. Ingenier´ del Conocimiento ıa . 5. Servicio de m´todos e Un sistema distribuido en forma de un conjunto de m´todos. un serviıa ıa dor para piezas de arte. combinaciones de los mencionados. por supuesto.

.

varios expertos. o m´s “real” (escenarios). Da soluciones. nunca debemos olvidar que existe un componente personal muy importante. que pueden ´ ser de distintos tipos: Experto te´rico o acad´mico: posee conocimientos m´s encaminados a o e a la parte docente. m´s formales. usualmente m´s e a f´ciles de usar por parte del ingeniero de conocimiento y m´s f´ciles de aceptar por a a a el experto aunque m´s costosas en tiempo. semiautom´ticas e incluso completamente a a autom´ticas. a a Experto pr´ctico: resuelve los problemas d´ a d´ aporta una visi´n a ıa ıa. que no se puede evitar. pues muchas veces es pragm´tico. a o Pese a todo. Escenarios de adquisici´n del conocimiento o Hay cuatro escenarios t´ ıpicos de adquisici´n del conocimiento: o 51 . es un experto t´cnico. que les resulta complicado verbalizar. Suele ser capaz de explicar racionala mente pero est´ poco relacionado en la pr´ctica. a El problema es que la adquisici´n del conocimiento no es una actividad inmediata. Para paliar esto en a mayor o menor medida es util elegir. o Para ello se utilizan una serie de t´cnicas que pueden ser manuales.Cap´ ıtulo 6 T´cnicas para la adquisici´n del e o conocimiento Llamamos adquisici´n del conocimiento al proceso de recoger los datos e inforo maci´n que necesitamos para construir nuestro SBC. 6. o Los propios expertos no son conscientes de su conocimiento y su forma de actuar. aplica a e algo porque funciona.1. dentro de lo posible. sin quiz´s tener una explicaci´n formal.

generalizaciones fundamentalmente. Por supuesto. aunque su mejor trabajo fue teiresias (1976). obviamente.1: Primer escenario de adquisici´n del conocimiento.2: Segundo escenario de adquisici´n del conocimiento. El programa de inducci´n —por ejemplo. T´cnicas para la adquisici´n del conocimiento e o SISTEMA EXPERTO EXPERTO INGENIERO CONOCIMIENTO Motor Inferencias (conocimento general solucionador de problemas) Base Conocimientos (conocimientos del dominio) Figura 6. que la e a o construcci´n de estos programas de inducci´n que generalicen algo util no es f´cil. figura o 6.52 Apuntes – 6. o El escenario 1 (figura 6. u a partir de los datos. Este conocimiento se traducir´ posteriormente al “mundo” del a SBC (paso que.3) intenta extraer alg´n tipo de conocimiento. o o ´ a Laura Castro . puede ser no trivial ni directo). o El escenario 2 (figura 6. SISTEMA EXPERTO EXPERTO PROGRAMA EDITOR INTELIGENTE Motor Inferencias (conocimento general solucionador de problemas) Base Conocimientos (conocimientos del dominio) Figura 6. el que ha construido el programa!). Consiste en que el experto habla con el programa en lugar de con el ingeniero de conocimiento (¡que es. lo extremadamente complejo es la construcci´n del o o mencionado sistema/programa interlocutor.1) es el m´s t´ a ıpico.2) surge de la mente de McCarthy (1968) y su “Advice Taker”. una red de neuronas— (escenario 3. La ventaja es que ya es una t´cnica autom´tica (salvo en la introducci´n de los datos). por cierto. ayudando de este modo a que se implique y favoreciendo la depuraci´n. El problema.

por su parte. figura 6. o aunque sea referido a un campo espec´ ıfico.6. Ingenier´ del Conocimiento ıa . La interpretaci´n del lenguaje natural. o El programa de comprensi´n de texto (escenario 4.1.4) deber´ comprender o ıa diagramas. Escenarios de adquisici´n del conocimiento o 53 SISTEMA EXPERTO DATOS PROGRAMA DE INDUCCION Motor Inferencias (conocimento general solucionador de problemas) Base Conocimientos (conocimientos del dominio) Figura 6. es algo muy complicado. tambi´n puede ser de muchos tipos (lo iremos viene do).4: Cuarto escenario de adquisici´n del conocimiento. esquemas.3: Tercer escenario de adquisici´n del conocimiento. y poseer un “criterio”. El conocimiento. o SISTEMA EXPERTO LIBROS TEXTO PROGRAMA DE COMPRENSION DE TEXTO Motor Inferencias (conocimento general solucionador de problemas) Base Conocimientos (conocimientos del dominio) Figura 6.

54 Apuntes – 6. heuristicas y reglas del dominio Elige la herramienta Construye los distintos prototipos La integra y la mantiene Laura Castro . T´cnicas para la adquisici´n del conocimiento e o DIRECTIVOS Identificacion Aprobacion proyecto EXPERTOS Descripcion tareas Identificacion ejecuciones exito Respuestas y soluciones USUARIOS Hechos y relaciones conocidos Consejos Plantea problemas y cuestiones INGENIERO CONOCIMIENTO Selecciona buen dominio y tarea Aprende sobre la tarea de directivos. expertos y usuarios Conoce como construir SSBBCC Conoce las ventajas e inconvenientes de las herramientas conocimiento estructurado en forma de conceptos y formalizado INGENIERO CONOCIMIENTO Analiza necesidades de representacion y estrategias de control Regla del pulgar.

a Ingenier´ del Conocimiento ıa .1. discusi´n. Escenarios de adquisici´n del conocimiento o 55 Dec´logo del Ingeniero de Conocimientoa a Facultades de Comunicaci´n o Utilizaci´n efectiva del lenguaje (oral y escrito). o Autoconfianza Conocimiento del Dominio de Aplicaci´n o Conocimiento acerca de la Programaci´n del Sistema o El problema es que estas todas estas cualidades no suele reunirlas una sola persona. o Capacidad de representaci´n esquem´tica. cr´ o o ıtica y estimulaci´n. o a Capacidad de interpretaci´n. Apertura de mente y flexibilidad. o Energ´ y Paciencia ıa Valoraci´n del trabajo en equipo. Inteligencia Capacidad de aprendizaje. o Persistencia L´gica o Claridad de pensamiento. Imaginaci´n.1: Dec´logo del Ingeniero de Conocimiento. de modo que es necesario la creaci´n de grupos interprofesionales. o Trato agradable. Tacto y Diplomacia Reflexi´n y tacto. o Capacidad de decisi´n. o a Cuadro 6. Versatilidad e Inventiva Potencia anal´ ıtica. capacidad de orden.6.

en cualquier dominio. . Tras la toma de contacto. las entrevistas no estructuradas (no se esperan respuestas cerradas a las preguntas que se plantean) sirven para familiarizarse con el dominio concreto. ı a pero nos ayudar´n a hacernos una idea sobre posibles estructuras inferenciales. a Estructuradas (sesiones de car´cter espec´ a ıfico). lo que se espera o del experto. Hay que saber conducirlas para evitar divagaciones y an´cdotas del experto. etc. Las entrevistas Las entrevistas son un m´todo sencillo. manual. e o La t´cnica a utilizar para la adquisici´n del conocimiento depende no s´lo del tipo e o o de conocimiento a adquirir. etc. .. e Muchos de los datos que se adquieran aqu´ no ser´n directamente trasladables al SBC. a Se har´ por ultimo una entrevista estructurada para cada parte del sistema identia ´ ficado. T´cnicas para la adquisici´n del conocimiento e o Actividad B´squeda de heur´ u ısticas generales B´squeda de rutinas u y procedimientos B´squeda de conceptos u y vocabulario Heur´ ısticas y Procedimientos de toma de decisiones T´cnica e Entrevistas no estructuradas Entrevistas estructuradas Observaci´n directa o An´lisis de Tareas a Emparrillado Clasificaciones Trazado del proceso de razonamiento Simulaciones Trazado del proceso de razonamiento (An´lisis de a protocolos) Tipo Conocimiento declarativo procesal ´ semantico ´ episodico B´squeda de heur´ u ısticas anal´gicas de soluci´n o o de problemas Cuadro 6. explicar lo que se pretende hacer. e 6. Normalmente hay que vencer una mala predisposici´n. o ıa A continuaci´n aparecen las sesiones de adquisici´n que son de dos tipos: o o No estructuradas (sesiones de car´cter general). y por tanto su duraci´n no deber´ ser muy extensa. etc. conocerse mutuamente. sino tambi´n del dominio.2: M´todos de Adquisici´n del Conocimiento.2. con cualquier tipo de experto y con cualquier tipo de conocimiento. Suelen tener un gui´n con puntos ı o similares a: Laura Castro . de adquisici´n del conocimiento e o que puede ser utilizado por cualquier persona.56 Apuntes – 6. Las primeras entrevistas suelen recibir el nombre de entrevistas de despliegue y su finalidad es interaccionar con el experto. donde s´ ya se necesitan respuestas concretas. circunstancias particulares.

T´cnicas de an´lisis basadas en tareas familiares. 3. e a a) T´cnicas psicol´gicas para estudiar resoluci´n de problemas. a 3) Brainstorming.2. Las entrevistas 57 1. Escalonadas. o e o Ingenier´ del Conocimiento ıa . e a a) Observaci´n directa. a 2) An´lisis de toma de decisiones. o o 2) Resoluci´n de tareas con procedimientos limitados. o b) Resoluci´n de casos destacados o dif´ o ıciles. T´cnicas de an´lisis basadas en tareas especiales. Emparrillado. 1) 2) 3) 4) Clasificaciones.3: Clasificaci´n de los M´todos de Adquisici´n de Conocimiento. 2.6. o Cuadro 6. o c) T´cnicas que enjuician caracter´ e ısticas de los conceptos. e a) No estructuradas. T´cnicas basadas en entrevistas. e o 1) Resoluci´n de tareas con informaci´n limitada. b) T´cnicas psicol´gicas para estudiar aprendizaje y memoria. c) An´lisis de casos hist´ricos destacados y dif´ a o ıciles. e o o 1) An´lisis de protocolos. b) Estructuradas. Escalamiento psicol´gico.

o Descripci´n de variables involucradas/influyentes. con condiciones e ıa a diferentes. generando a otras. Plantilla 5: ¿Qu´ pasar´ si? Genera m´s reglas. o Recomendaciones Las entrevistas deben ser peri´dicas. de m´s alto nivel. Plantilla 4: ¿Qu´ alternativas hay? Extrae generalidad de las reglas. hacerse a las mismas horas/d´ preferibleo ıas. aunque si la adquisici´n de conocimiento a a o es de car´cter general (no estructuradas). discuten de sus cosas. . tanto por comodidad como porque o tenga sus materiales a mano para consultar. o Plantilla 3: ¿Cu´ndo? Extrae generalidad de las reglas.58 √ √ √ Apuntes – 6. n Por ello. Laura Castro . e o 6. e generando otras. lo que asegura un mejor refinamiento y m´s y mejor conocimiento. mente por la ma˜ana temprano. T´cnicas para la adquisici´n del conocimiento e o Descripci´n general de la tarea. sobre todo al principio. hay que “digerir” el resultado de una entrevista (realizando un informe para repasarlo con ´l en la siguiente sesi´n) antes de concertar otra.2. El problema puede presentarse tambi´n si es el ingeniero de conocimiento el que no es capaz de controlar e las sesiones (los expertos se centran en un tema. Plantilla 6: ¿Algo m´s? Genera m´s reglas auxiliares o no contema a pladas. Si ´stos e son compatibles. esta clase de entrevistas puede proporcionar muy buenos resultados. Resulta muy conveniente ir ense˜ando al experto los progresos que se van haciendo. no resulta demasiado util hacer esto con a ´ muchos expertos. por el contraste de opiniones y puntos de vista. El problema se presenta si los expertos son incompatibles entre s´ en ese caso se ı. ) o no se puede concentrar (es muy pesado). Es clave tener en cuenta los aspectos no verbales del experto y distinguir sus opiniones personales (sobre todo acerca de la propia ingenier´ de conocimiento e inteligencia ıa artificial) de la informaci´n objetiva. debe prescindir siempre de los conflictos y dividir las entrevistas. .. e Plantilla 2: ¿C´mo? Genera reglas de menor nivel. Es recomendable usar el lugar de trabajo del experto n como lugar de reuni´n.1. Entrevistas m´ ltiples u Un ingeniero de conocimiento y m´ ltiples expertos u Se da cuando los expertos trabajan en grupo o hay varios tipos de expertos. o Reglas generales que ligan a las variables: Plantilla 1: ¿Por qu´? Convierte afirmaciones en reglas.

sin requerir para ello un entrenamiento especial. e Es necesario nombrar un moderador que controle la sesi´n. Es una de las opciones o m´s usadas. El an´lisis de protocolos a El an´lisis de protocolos es otra t´cnica de adquisici´n del conocimiento que rea e o quiere algo m´s de conocimiento por parte del ingeniero de conocimiento. El an´lisis de protocolos a M´ ltiples ingenieros de conocimiento y un experto u 59 Nunca deber´ hacerse una entrevista con un solo experto y m´s de tres ingenieros ıa a de conocimiento (no apabullar).6. es una t´cnica muy general. Ingenier´ del Conocimiento ıa . M´ ltiples ingenieros de conocimiento y m´ ltiples expertos u u El principal inconveniente de estas entrevistas es que consumen much´ ısimo tiempo.3. Es clave tener en cuenta los aspectos no verbales del experto y distinguir sus opiniones personales (sobre todo acerca de la propia ingenier´ de conocimiento e inteligencia ıa artificial) de la informaci´n objetiva.3. al poder acceder a la grabaci´n cualquier ingeniero o o de conocimiento. cada uno puede aportar cosas. bien s´lo audio o combinado con v´ o ıdeo. Lo que como sea debe e a evitarse son las discusiones entre los propios ingenieros (¡mala imagen!). Consiste en grabar. Es una t´cnica introspectiva (el experto tiene que e pensar en lo que sabe y verbalizarlo) y requiere un esfuerzo adicional por parte del ingeniero de conocimiento (que debe hacerse con el vocabulario. pues estas sesiones son m´s a pesadas para ´l. el m´todo sigue siendo a e introspectivo. un problema concreto del dominio. Pese a ello. que se e puede utilizar en muchos campos y en distintas etapas del desarrollo. e en cualquiera de sus variantes. La ventaja que tiene la participaci´n de varios ingenieros es que se pueden evitar o sesgos introducidos por ellos mismos. a En general. confeccionar informes. aunque siempre pueden hacerse m´s cortas. como hemos dicho. pero tampoco a un nivel excesivo. ıos o o La desventaja suele ser que el experto es reticente. aunque tambi´n aglutina las ventajas de las vistas anteriormente. Visto por el lado bueno. motivo por el cual no goza de demasiada aceptaci´n. Sin embargo. se obvian algunos otros problemas de las entrevistas. sino simplemente verbalizar los pasos que est´ siguiendo. y no se producen vac´ entre la adquisici´n y la implementaci´n del conocimiento. al experto mientras resuelve una tarea. Debe quedarle claro al experto que no tiene que explicar lo que va haciendo. etc). Este tipo de entrevistas resulta util cuando en el equipo ´ de trabajo contamos con ingenieros senior/junior. o 6. la t´cnica de entrevistas para adquirir conocimiento es cara en tiempo.

Se obtienen las reglas impl´ o ıcitas (cosas que no nos dice directamente). suele usarse exclusivamente en casos puntuales. El problema es que un protocolo solo no nos sirve. n An´lisis de Casos Dif´ a ıciles En vez de cualquier caso. o An´lisis del Registro a A˜ade una entrevista al final del proceso. No todo el mundo hace las segmentaciones igual.. An´lisis de las dos Fases a Consiste en comparar resultados con el propio experto en la fase de codificaci´n. 3. operadores y relaciones. Ventajas El flujo de informaci´n es unidireccional (en entrevistas era bidireccional). Existen variantes: An´lisis del Recuerdo a Si el experto no es capaz de hablarnos mientras resuelve el problema. o Se obtienen las reglas expl´ ıcitas en el texto (reglas inferenciales sencillas). o o separ´ndolo en frases que tengan sentido (desde el punto de vista del a conocimiento). se puede analizar la forma de razonar (progresivo. Por esto y por su inherente dificultad. a e o y tanto las entrevistas como el an´lisis de protocolos son combinables con cualquier a otra. por lo que se minimizan las interacciones. regresivo.. se resuelven casos concretos de dificultad espec´ ıfica.Se dan las instrucciones al experto: verbalio zar lo que dice en su cabeza durante la resoluci´n del caso. . Interpretaci´n.Escuchar/ver y transcribir lo grabado. ni una misma persona segmentar´ igual una transcripci´n la primera ıa o que sucesivas veces. 4.. Codificaci´n. sin intentar o explicarlo.. del o experto al ingeniero de conocimiento. El an´lisis de protocolos pasa por cuatro fases: a 1.60 Apuntes – 6. . Se pueden tomar notas. puede permit´ ırsele verbalizar el proceso al finalizarlo. 2. Obtenci´n del protocolo.Se identifican objetos. Laura Castro . ). hay que probar muchos casos. T´cnicas para la adquisici´n del conocimiento e o Es recomendable usar siempre m´s de una t´cnica de adquisici´n del conocimiento.. valores. El protocolo puede ser analizado por tantos ingenieros de conocimiento como sea necesario. Transcripci´n y segmentaci´n.

horarios. etc. o o o Ingenier´ del Conocimiento ıa . Es una t´cnica muy costosa en tiempo (el experto debe aprender a hacer el an´lisis e a de protocolos —que no razone sino que act´e—). o o Es una t´cnica introspectiva. ´ ıas. algo inconsciente que aqu´ queda reflejado). relaciones del dominio. . jerarqu´ certidumbres. ı Ventajas Flujo unidireccional.4.6. Consume menos tiempo que las otras t´cnicas vistas hasta ahora. posici´n y duraci´n de la mirada).. Cuestionarios 61 Permite adquirir conocimiento que es dif´ de adquirir mediante entrevistas ıcil (aspectos relacionados con la estrategia de razonamiento que usa el experto. Inconvenientes Se pueden introducir sesgos (igual que en las entrevistas) inconscientes. e 6. o Es una t´cnica introspectiva.4. ı El experto es el reactivo limitante. y es muy larga y pesada para el u ingeniero de conocimiento (sobre todo si no tiene experiencia). etc. El experto puede contestar el cuestionario cuando desee y donde decida (suelen aceptarla con agrado gracias a esto). An´lisis del movimiento de ojos a El an´lisis del movimientode ojos es una t´cnica de adquisici´n del conocimiena e o to que s´lo se puede usar en los campos en que sea necesario un reconocimiento visual o del problema por parte del experto (existe un aparato —Eye Mark Recorder — que registra la direcci´n. e 6. Inconvenientes Su elaboraci´n no es sencilla. . por lo que no hay problemas referentes a concierto de reuniones. que debe realizar la transcripci´n.5. e Es util para describir objetos. Cuestionarios Los cuestionarios son una t´cnica m´s o menos sencilla que consiste en presentar e a al experto una serie de fichas u hojas con preguntas concretas (de ah´ su utilidad). segmentaci´n.

que se desean extraer. 6. Es una t´cnica bastante f´cil de utilizar para el ingeniero de conocimiento. M´todo de observaci´n directa e o Esta t´cnica de adquisici´n del conocimiento es siempre recomendable. T´cnicas para la adquisici´n del conocimiento e o Los datos que se obtienen no tienen por qu´ ser directamente trasladables al sistee ma/dominio. Las t´cnicas de escalamiento psicol´gico e o Las t´cnicas de escalamiento psicol´gico son una serie de m´todos semiaue o e tom´ticos de adquisici´n de conocimiento que constituyen el conjunto de los m´s usados a o a Laura Castro . 6.6. por supuesto. ı por ejemplo). aunque e siempre se pueden hacer preguntas y. rode´ndolos. aparezcan e u ligados. Esta fase puede repetirse cuantas veces se desee. a a encerr´ndolos en un c´ a ırculo.62 Apuntes – 6. por ejemplo. 50) y pedir al experto que relacione. La obsere o vaci´n directa consiste en acudir al lugar de trabajo del experto y observar all´ su o ı comportamiento. aunque s´ pueden dar informaci´n sobre el comportamiento del experto. aqu´llos que seg´n su criterio formen patrones. ı o siendo as´ un buen punto de partida. Su inter´s reside en que se ve lo que realmente pasa.8.7. etc. aunque no afecta en absoluto al experto. tengan caracter´ ısticas similares. aunque e a requiere conocer con relativa profundidad el campo en que trabajamos y puede aparecer el problema de que el criterio de clasificaci´n sea dif´ de explicitar por parte del o ıcil experto. Puede ser clave para descubrir la diferencia entre ı lo que se hace y lo que hay que hacer (que suele ser lo que el experto comunica). Puede ser interesante concertar una entrevista despu´s para aclarar dudas. tomar notas. cuyo principal inconveniente es su carest´ e ıa. pero s´ a lo mejor en aspectos relacionados con la interfaz. e Su objetivo fundamental es captar conocimiento procesal. Es una t´cnica no introspectiva. Es un m´todo no introspectivo. Es obvio que el conocimiento obtenido por medio de la extracci´n de curvas o cerradas puede no ser directamente trasladable al sistema experto. Consiste en confeccionar cartulinas con representaciones de los objetos del dominio (hasta un m´ximo. pero sin duda. aplicando distintos criterios. 6. Su principal inconveniente. eliminando las interpretacioe nes subjetivas sobre el trabajo del experto. Extracci´n de curvas cerradas o Esta t´cnica suele usarse en campos en los que el conocimiento visual es impore tante. siendo especialmente interesante cuando existen relaciones espaciales entre los elementos del dominio. la gran cantidad de tiempo del ingeniero de conocimiento que consume. ayuda en el proceso de establecimiento de relaciones entre los conceptos del dominio y/o para obtener clasificaciones. siendo util para refinar el ´ sistema (no en conocimiento.

0 d12 d13 . mediante entrevistas) es muy importante: el conjunto de elementos debe ser completo y consistente. repitiendo el proceso en varias ocasiones utilizando distintos criterios. elegir demasiados se enfrentar´ con la negativa y/o imposibilidad del a experto de calcular todas las distancias. Las t´cnicas de escalamiento psicol´gico e o 63 en IC. 0 En d1n d2n . . incorrecto y/o inconsistente. a Ingenier´ del Conocimiento ıa . Para ello existen t´cnicas auxiliares u e para suplir el hecho de tener que mostrar al experto la tabla directamente: √ Clasificaciones: consisten en dibujar fichas que representen los elementos del dominio y pedir al experto que haga grupos disjuntos con ellos. la aplicaci´n de estas t´cnicas no es sencilla. . 0 d23 . una matriz triangular superior : E1 E2 . . Escalamiento multidimensional (EDM ) Existen programas estad´ ısticos que contienen herramientas para llevar a cabo un escalamiento multidimensional sobre un conjunto de datos. reduciendo al m´ximo la dimensionalidad de la matriz. o de lo contrario el conocimiento que se obtenga ser´ incompleto. . . y hay una relaci´n constante entre ellas. . y si la a salida tiene m´s de 3 dimensiones no se puede representar. a √ 6. Emparrillado: es un m´todo matem´tico semiautom´tico para calcular e a a las distancias que veremos en m´s profundidad. . En−1 En E1 E2 E3 .. . . La distancia entre dos elementos ser´ entonces el inverso del n´mero a u de veces que esos dos elementos se clasificaron juntos.6. . o No obstante.1. a ya que las distancias est´n condicionadas por el contexto de propios elementos. El EDM intenta colocar los elementos de la matriz en un espacio de la menor dimensionalidad posible. o e encargada de adquirir los elementos del dominio (del experto. Las salidas de los tres m´todos de escalamiento psicol´gico que veremos son distine o tas. n(n − 1) Una vez que se tienen los elementos del dominio. d(n−1)n 0 donde dij son juicios de distancia que representan c´mo se parecen/diferencian o los elementos i y j del dominio. En el a otro extremo. pero siempre est´n igual formateadas (la misma entrada y datos producen siempre a la misma salida). pues la parte manual. hay que obtener las dis2 tancias (si n es el n´mero de elementos a manejar).8. Todas ellas tienen el mismo formato de datos a la entrada. .8. a El problema que tiene es que a veces no es f´cil interpretar los resultados. .

o Laura Castro .64 Apuntes – 6.4: Ejemplo de aplicaci´n de EDM. T´cnicas para la adquisici´n del conocimiento e o Coruna Lugo Santiago Orense P ontevedra V igo Coruna 0 90 60 170 130 150 Lugo 0 120 110 190 210 Santiago 0 120 70 90 Orense 0 100 100 0 20 P ontevedra V igo 0 Coruna Lugo Santiago Orense P ontevedra V igo Latitud Longitud 75 −20 40 60 20 −20 −60 80 −55 −20 −75 −20 Coruña Lugo Santiago Orense Pontevedra Vigo Cuadro 6.

e Ingenier´ del Conocimiento ıa . una vez obtenida la matriz de elementos con sus distancias. An´lisis de clusters (Clustering ) a El clustering consiste en agrupar los elementos que est´n m´s cerca entre s´ En a a ı. porque el m´todo s´lo fija el origen de coordenadas a e o y no la ubicaci´n de los elementos (hay. se buscan los dos elementos m´s pr´ximos. Esta a a t´cnica tambi´n se incorpora en muchos paquetes estad´ e e ısticos. o bien hasta que en n´mero de clases o u generadas sea adecuado en nuestro dominio. infinitas orientaciones. existen infinitas salidas. El resultado final ser´ un dendrograma a o ´rbol jer´rquico (ver figura 6. o No obstante. se eliminan de filas y columnas. este caso. como se puede a observar.8. lo que genera la dificultad en la interpretaci´n. ninguna de las t´cnicas de escalamiento es introspectiva. repitiendo el proceso hasta que s´lo queden dos elementos en la matriz.5).6.8. se agrupan formando un nuevo a o elemento. infinitas o rotaciones de los ejes). por tanto. Las t´cnicas de escalamiento psicol´gico e o 65 Adem´s. a a La cuesti´n m´s delicada en este caso es la forma de recalcular las distancias: o a ¿c´mo lo hacemos? ¿escogiendo el m´ximo? ¿el m´ o a ınimo? ¿una media? La decisi´n deo pender´ de lo que sea m´s conveniente en el contexto en que estemos trabajando. Adem´s. 6.2. se a˜ade el nuevo elemento a la matriz y n se recalculan las distancias con respecto al resto de elementos. ayuda a descompilar conocimiento de los expertos. aunque tambi´n e puede no ser directamente trasladable al sistema experto.

E6 ). E7 ).66 Apuntes – 6. E5 ). E6 ). E3 )) Cuadro 6. ((E2 . E6 ) 10 7 6 8 10 9 12 8 3 5 5 5 6 6 8 E1 E4 E5 E7 ((E2 . E5 ). E3 ) E1 (E4 . E7 ) ((E2 . E6 ). E3 )) 6 E1 (((E4 . E5 ) E7 ((E2 . E3 ) 6 8 10 5 5 8 E1 ((E4 . E3 ) E1 (((E4 . E6 ).5: Ejemplo de clustering (I). E5 ). E6 ). E6 ). ((E2 . E6 ). E5 ) E7 ((E2 . E6 ). T´cnicas para la adquisici´n del conocimiento e o E1 E2 E3 E4 E5 E6 E7 E1 E2 E3 E4 E5 E6 E7 10 10 7 6 13 8 4 7 8 2 8 9 12 3 8 5 5 5 6 6 9 E1 E3 E4 E5 E7 (E2 . E5 ). Laura Castro . E3 ) E1 E4 E5 E7 ((E2 . E7 ) ((E2 . E3 ) E1 6 10 5 ((E4 . E6 ) E1 E3 E4 E5 E7 (E2 . E7 ). E3 ) 7 6 8 10 5 5 5 6 6 8 E1 (E4 .

Las t´cnicas de escalamiento psicol´gico e o 67 7 6 5 4 3 2 1 E1 E4 E5 E7 E2 E6 E3 Figura 6.6.5: Ejemplo de clustering (y II): dendrograma.8. Ingenier´ del Conocimiento ıa .

ya que la traducci´n de u a o conocimiento del dominio es entonces mucho m´s directa. es una red ponderada en la que los nodos son los elementos del dominio y los arcos que los unen aparecen ponderados por un peso que es la distancia que los separa. para construcci´n de interfaces ´ e o o hombre-m´quina (comparaci´n de opiniones sobre la importancia de diferentes aspeca o tos). a 6.3. Redes ponderadas (Pathfinder ) Esta ultima es la menos usada de las tres t´cnicas de escalamiento psicol´gico que ´ e o vamos a ver. Su salida. e incluso para verificar si las respuestas de un grupo de expertos est´n al mismo nivel. Es util tambi´n para validaci´n.6: Ejemplo de redes ponderadas.68 Apuntes – 6. T´cnicas para la adquisici´n del conocimiento e o El clustering permite elicitar muy r´pido conocimiento muy jerarquizado en la a mente del experto. El pathfinder es muy util si la representaci´n del conocimiento en nuestro sistema ´ o utiliza alg´n tipo de red (por ejemplo.8. S´lo existir´ un arco entre dos nodos si o a la distancia entre ellos a trav´s de cualquier camino es mayor que el valor especificado e entre ambos en la matriz de entrada: E1 E2 E3 E1 E2 E3 4 5 13 E1 5 E3 4 E2 E1 E2 E3 E1 E2 E3 4 5 6 E1 5 6 E3 4 E2 Cuadro 6. para comprobar el nivel de nuestro sistema frente a los expertos. como su propio nombre indica. una red sem´ntica). a Laura Castro .

e u 6. sus relaciones. a o Al estar basada en un modelo del pensamiento humano. En la o a e o pr´ctica se usan herramientas que la implementan.9. los e elementos y las distancias poseen un proceso de obtenci´n no trivial. o En cuanto a los inconvenientes. La teor´ de constructos personalizados: el Emparrillado ıa 69 En general. etc. No son t´cnicas demasiado introse pectivas (salvando la etapa de determinaci´n de elementos y distancias entre ellos). que interrogan al usuario sobre los a elementos del dominio. Como hemos o visto. Nosotros e a estudiaremos su funcionamiento interno. En clustering puede no ser directo decidir qu´ criterio (m´ximo. denominada t´cnica de constructos persoe e nalizados o emparrillado (repertory grid). los conceptos y las dimensiones).6. esta es una t´cnica muy e potente que sirve para tener estructurado y accesible el conocimiento de una persona. son utiles no s´lo en adquisici´n sino tambi´n en validaci´n o ´ ´ o o e o y construcci´n de interfaces de usuario. a a Si se usa una herramienta. opiniones y criterios de varios expertos sobre un mismo conjunto de elementos. media) escoger para el rec´lculo de distancias. En general. las ventajas del escalamiento psicol´gico son que proporciona contenio do y a veces incluso arquitectura a nuestra base de conocimientos. La salida es est´ndar y tiene un formato riguroso. sino m´s bien un m´todo auxiliar de clasificaci´n. un psic´logo cl´ o ınico que defend´ que cada persona organiza sus conocimientos de una manera distinta ıa y adem´s cambiante con el tiempo. un m´todo semiautom´tico). y o est´n libres de cualquier interpretaci´n que pudiese ser incluida por parte del ingeniero a o de conocimiento. no es propiamente una t´cnica de ade quisici´n de conocimiento. al igual que en redes sem´nticas. lo que hace que a diferentes ingenieros de conocimiento con distintos expertos deban obtener los mismos resultados. Incluye un di´logo inicial con el experto.EE. 1982). si no existe una estructura de ligaz´n fuerte entre elementos. ´ o o no hay estas relaciones. Por ultimo. siendo as´ una de las primeras t´cnicas de aproximaci´n ı e o autom´tica para tratar el problema de la adquisici´n del conocimiento.9. El emparrillado fue desarrollado inicialmente por George Kelly. debemos familiarizarnos con ella. cada t´cnica tiene los suyos. Su modelo cognitivo utilizado para razonar con dichos constructos ser´ m´s tarde aplicado por Shaw y Griness a ıa a la IC (SS. y reflejaba las opiniones de las personas sobre a las cosas en forma de constructos personalizados. estas t´cnicas son in´tiles. adem´s de proporcionar un m´todo riguroso para combinar conocimiento que a e procede de distintos expertos o incluso del cliente. Planet. hay que tener una base matem´tico-estad´ a ıstica para poder saber si es correcto lo que hacemos y saber interpretarlo. algo que es un buen paso hacia la reutilizaci´n (adem´s de permitir la autoo a matizaci´n). una sesi´n de valoraci´n y un an´lisis de los a o o a resultados (es decir. los EDM no son f´ciles de interpretar y si su salida es gr´fica no es sencilla de a a etiquetar. m´ e a ınimo. Ingenier´ del Conocimiento ıa . La teor´ de constructos personalizados: ıa el Emparrillado La siguiente t´cnica que veremos. Permiten comparar conocimientos. Por ultimo. de los grupos. con el fin de estructurar el conocimiento del experto de una determinada manera (es pues.

que proporcionan una clasificaci´n m´s rica. consistente y representativo. ci ]) es el momento m´s ¯ a peliagudo. los elementos del dominio se obtienen o mediante entrevista con el experto y debe lograrse un conjunto completo. o 5. T´cnicas para la adquisici´n del conocimiento e o Se utilizan dos vertientes: t´cnicas binarias. El emparrillado consta de cinco fases diferenciadas: 1. o 2. pues desvela al experto eso que no es consciente que sab´ Por otra parte. Identificaci´n de elementos Ei o Como ya vimos en escalamiento psicol´gico. etc). a o del dominio en un conjunto de caracter´ ısticas. Una parrilla es una matriz donde las columnas son los elementos del dominio y las filas representan los constructos. o sirvi´ndonos la matriz para ver c´mo piensa el experto. al ser continua. aunque puede considerarse que es intrusiva. n 4. matem´ticamente. e o o cj donde Ei cj . respectivamente. c´mo se organiza. representando una oposici´n de conceptos. la parrilla es una aplicaci´n de los elementos ıa). Identificaci´n de caracter´ o ısticas (cj ). Dichos constructos son bipolares.7: Esquema de una parrilla. Dise˜o de la parrilla. que permiten clasificaci´n simple. de obtenci´n de elementos y caracter´ o ısticas (constructos: [ci .. o o Este m´todo posibilita la obtenci´n de informaci´n que el experto no es consciente e o o que conoce (no es introspectiva. la primera fase. dando opo a ci´n a la inclusi´n de nociones de incertidumbre e incluso conjuntos difusos. cj ¯ 6. pero los elementos a a Laura Castro . por tanto. Como podemos intuir. salvo en su etapa inicial. Las sesiones pueden ser m´s o menos h´biles.. cj ¯ y vij son los valores que se corresponden por la relaci´n entre o unos y otros. o son los elementos del dominio identificados por el experto son. Cuadro 6. Identificaci´n de elementos (Ei ). Interpretaci´n de resultados. Formalizaci´n de la parrilla.9. que son caracter´ ısticas en las que deseamos clasificar. caracter´ ısticas y su contrapartida en el dominio (su opuesto l´gico) o Ei vij . aunque posteriormente existen f´rmulas y ecuaciones que ayudan a eliminar o redundancias e informaciones poco significativas (juicios de umbrales. y e o multivaluadas. 3.70 Apuntes – 6.1.

u a de manera que habr´ que replante´rselos. pudiendo repetirse valores. pero se puede simultarear con alguna de ´stas (o con ambas) para contrastar. Deben poder expresarse como un par de conceptos antag´nicos. se agrupar´n en o o a una misma parrilla los m´s homog´neos a su vez entre s´ a e ı). Dise˜ o de la parrilla n Una vez obtenidos elementos del dominio y caracter´ ısticas (constructos). Se ha estudiado que cognitivamente este sistema de elecci´n es o mucho m´s eficaz. Se obtiene de esta manera una escala de clasificaci´n o o vector clasificador. pues el hecho de que se muestren tres elementos evita sesgos que se a producir´ con dos y ayuda a elaborar los constructos por oposici´n y no por negaci´n.2. n] representa el orden del elemento con respecto al constructo (su proximidad al constructo). ıan o o No obstante. que citamos a continuaci´n de o menos a m´s usada: a Dicot´mica o Se clasifica cada Ei dependiendo de si “tiene” o no cj (asignaci´n o binaria). Clasificatoria Se clasifican los n Ei en un intervalo 1. La teor´ de constructos personalizados: el Emparrillado ıa 71 obtenidos deben ser homog´neos. Evaluativa Se elige una escala que se adapte a los elementos y se les clasifica seg´n u ella. Ingenier´ del Conocimiento ıa . con la propuesta de que enuncie una caracter´ ıstica que diferencia a dos de ellos del tercero. no son los que ´l usa. hay que dar valor a la parrilla. e o e incluso simplemente entrevistas.9.3. aunque se pueden manejar varias. Identificaci´n de caracter´ o ısticas cj Las caracter´ ısticas se obtienen de la misma manera que los elementos. Representa c´mo ve el experto al eleo mento dentro de ese constructo. ıa a Para llevar a cabo la selecci´n de caracter´ o ısticas se usa normalmente el m´todo de las e tr´ ıadas .. Hay varias formas de construirla. No tienen por qu´ ser uno el polo negativo del otro. no siendo en este caso una escalaci´n o de elementos. le estar´ e ıamos obligando a clasificar seg´n otros c´nones. pues siempre e alguna puede funcionar mejor que otra con seg´n qu´ expertos. que consiste en tomar los elementos del dominio de tres en tres y presentarlos al experto.6.9. que ya vimos. Si el experto no fuese luego capaz de ı o o clasificar utilizando los conceptos establecidos ser´ indicativo de que ´stos est´n mal ıa e a elegidos.n de forma que vij ∈ [1.9. pero e s´ su negaci´n l´gica en el contexto del dominio. Siempre es mejor la t´cnica de las tr´ e ıadas. representativos y tener en cuenta que no es util e ´ manejar parrillas demasiado amplias. con el fin de poder manejar o un segmento clasificatorio. lo que tambi´n e plantea la cuesti´n de c´mo “segmentar” los elementos (normalmente. u e 6. 6. tambi´n se puede utilizar extracci´n de curvas cerradas.

. Es decir. . y las columnas c´mo se comporo tan los elementos en el dominio (seg´n las caracter´ u ısticas seleccionadas). uno de elementos y otro de caracter´ a a ısticas.9.. hay varias formas de calcular las distancias. ya que hay t´cnicas de aplicabilidad posterior que no son compatibles con datos e bipolares. .. Esta fase puede automatizarse completamente. calculamos distancias entre elementos para obtener un ´rbol: a c1 c2 c3 c4 c5 c6 c7 c8 c9 E1 E2 E3 . . pero la que se suele usar es la suma de diferencias en valor absoluto de los valores de los elementos para cada caracter´ ıstica: Laura Castro . la tabla indica la participaci´n de un elemento en una caracter´ o ıstica: por columnas. Formalizaci´n o Una vez dise˜ada la parrilla... y ver c´mo est´n o a relacionados. la participaci´n o de todos los elementos en una determinada caracter´ ıstica (constructo): E1 c1 v11 .5].4. 6.. .. siempre es preferible una aproximaci´n por rangos a una binaa o ria. la participaci´n de un elemento en todas las caracter´ o ısticas.. . E8 2 3 2 2 4 5 5 4 5 5 . En general.. 4 4 2 2 4 2 1 1 asumiendo un rango [1. tenemos una matriz en la que las filas nos muestran n c´mo var´ una caracter´ o ıa ıstica de un elemento a otro.72 Apuntes – 6. los e n resultados deber´ ser compatibles independientemente de qu´ forma de construcci´n ıan e o us´semos. .. . horizontal y vertical.. de hecho. vij Ei vi1 cj v1j La parrilla ha de explorarse en dos sentidos. T´cnicas para la adquisici´n del conocimiento e o Estos distintos m´todos de dise˜o de la parrilla no son excluyentes. . y por filas. .. Clasificaci´n de elementos o Analizando la matriz por columnas (elementos). . para obtener dos ´rboles jer´rquicos.

. La regla de c´lculo es la misma: a d1 (ci . como manejamos dos polos.. d1 (ci .. . En c1 ¯ c2 ¯ c1 c2 . tendremos que calcular dos distancias: o Manejable Deportivo ¯ Deportivo . . se eliminan de la o a o tabla. La teor´ de constructos personalizados: el Emparrillado ıa 73 d(E1 . . Si se aplic´ una construcci´n dicot´mica al ¯ o o o elaborar la parrilla. cj ) = 0 + 1 + 3 + 1 + 0 + 1 + 0 + 1 = 7 d2 (ci . . se sigue misma din´mica que en el siguiente ejemplo: a cj cj ¯ 1 2 3 4 5 5 4 3 2 1 E1 E2 E3 E4 E5 E6 E7 E8 2 3 5 2 5 3 3 2 No manejable 2 2 2 1 5 2 3 1 No deportivo ¯ 4 4 4 5 1 4 3 5 N odeportivo . y si fue evaluativa.. ci d1 (ci . . cj ) = 2 + 1 + 1 + 3 + 4 + 1 + 0 + 3 = 15 donde cj se calcula a partir de cj . . cj ) = d1 (ci . )..6.. ci ¯ Ingenier´ del Conocimiento ıa .. cj ) . se recalculan distancias. cj ) = d2 (ci . . y para construir el ´rbol (dendrograma) se siguen los pasos que ya vimos en a escalamiento psicol´gico: se buscan los dos elementos m´s pr´ximos. Clasificaci´n de caracter´ o ısticas Para las caracter´ ısticas tambi´n se va a obtener un ´rbol clasificatorio. si fue clasificatoria. E1 ) = 1 + 0 + 1 + 1 + 0 + 0 + 0 + 2 + 0 = 5 De esta manera se obtiene una matriz triangular superior de distancias entre elementos. . Una vez calculadas las dos distancias para cada par de caracter´ ısticas por elemento. cj ) ¯ . E2 . se agrupan.9.. simplemente se cambian los “polos” (se otorgan los valores complementarios). . pero en esta e a ocasi´n. se invierte el orden. cj ) ¯ d2 (ci . tendremos una matriz construida de la siguiente forma: E1 . E2 ) = d(E2 .

B) y (X. empezando por las m´s pr´ximas. Por su parte. en el ´rbol de caracter´ a ısticas se estudian tambi´n las caracter´ e ısticas por pares. → Debemos comprobar que los valores de la parrilla son correctos y que los c´lculos est´n bien hechos. buscando relaciones entre ellas. Y ) que se comportan: A → X B → Y como por ejemplo (F amiliar. d2 ). las distancias “inversas” (d2 ). seg´n el experto. debemos analizar los ´rboles de elementos y caracter´ a ısticas. T´cnicas para la adquisici´n del conocimiento e o donde la submatriz superior son las distancias “directas” (d1 ) y la submatriz inferior.9. Paralelas Son caracter´ ısticas (A. ya que F amiliar → Habitable Coupe → N oHabitable Laura Castro √ √ . u → Debemos comprobar que los valores de la parrilla son correctos y que los c´lculos est´n bien hechos. 6. Dos elementos est´n muy separados en el ´rbol y el experto afirma a a que no deber´ ıan. N oHabitable). los problemas posibles que podemos encontrar son: √ Dos elementos est´n muy juntos en el ´rbol y el experto afirma que a a no deber´ ıan. El objetivo a o es afinar el polo.74 Apuntes – 6. y a partir de ah´ para obtener el dendrograma el proceso es el que ı ya conocemos.5. An´lisis y estudio de los resultados obtenidos a Fundamentalmente. Coupe) y (Habitable. El paso a una matriz triangular superior se consigue eligiendo la distancia m´ ınima de las dos (d1 . a a → Falta un elemento diferenciador (que participa de una y no de la otra) en la parrilla. Estudiando el primero de ellos. a a → Falta una caracter´ ıstica diferenciadora en la parrilla. → Debemos comprobar que los valores de la parrilla son correctos y que los c´lculos est´n bien hechos. Dos caracter´ ısticas (constructos) aparecen muy ligadas y no deber´ ıan. a a → Falta una caracter´ ıstica conciliadora en la parrilla.

Y ) que se comportan: A ↔ X B ↔ Y como se da por ejemplo en el caso de (GranCilindrada. P ocaCilindrada) y (P otente. o bien ambos imo plican una.9. Ambiguas Son caracter´ ısticas (A.6. puede eliminarse una de ellas o resumir ambas en una nueva. B) y (X. Y ) que se comportan: A → X A Y o B → X B Y A → X B Y como por ejemplo (Deportivo. N oDeportivo) y (N ervioso. el caso es que alg´n polo queda “suelto” (permite eliminar u uno de los polos). B) y (X. Y ) que se comportan: A → X B → X B → Y A A B B → → → → X Y X Y Ingenier´ del Conocimiento ıa o . Ortogonales Son caracter´ ısticas (A. ya que Deportivo → N ervioso Deportivo P esado N oDeportivo N ervioso N oDeportivo P esado En este caso o bien uno de los polos implica relaci´n. Rec´ ıprocas Son caracter´ ısticas (A. de acuerdo con el experto. La teor´ de constructos personalizados: el Emparrillado ıa sin embargo Habitable N oHabitable F amiliar Coupe 75 En estos casos. P ocoP otente). pues GranCilindrada ↔ P otente P ocaCilindrada ↔ P ocoP otente En estos casos las caracter´ ısticas son t´ ıpicamente redundantes. P esado). se pueden resumir ambas caracter´ ısticas en una que mantenga este comportamiento. B) y (X.

por tanto. personales (surgir´n distintas parrillas con diferentes expertos. Ligero) y (Deportivo. e a o Sus problemas residen en que los datos aportados por el experto son subjetivos.76 Apuntes – 6. o a la validaci´n. Ayuda tambi´n en ´mbitos de incertidumbre. el grado de distanciamiento a entre ellos marca su nivel de similitud). Tambi´n se suelen construir ´rboles de por qu´ y c´mo. como ya hemos dicho. N oDeportivo). ya que Deportivo Deportivo N oDeportivo N oDeporitvo → → → → Seguro Ligero Seguro Ligero No queda muy clara la relaci´n entre las caracter´ o ısticas (alguno de los polos no est´ bien definido). util en clasificaci´n o para ´ o catalogar expertos. T´cnicas para la adquisici´n del conocimiento e o como por ejemplo (Seguro. que sirven para obtener e a e o subconjuntos y superconjuntos de caracter´ ısticas. Deportivo BuenaVelocidad Rapido Potente Nervioso BuenFreno (a) Ejemplo de ´rbol por qu´. a e Viajero (Familiar) Confortable Seguro Silencioso Habitable BuenaSuspension Frenos Carroceria Repris (b) Ejemplo de ´rbol c´mo. Laura Castro . a o El emparrillado es. se puede estudiar si es posible cambiar a alguna de ellas.

5. e Entrevistas. Sus ventajas e inconvenientes ya fueron mencionados cuando hablamos de las entrevistas m´ltiples (p´gina 58): el precio de obtener una bases de conocimiento m´s u a a completas y tener la seguridad de que se han tratado todos los aspectos relevantes del dominio/problema es la introspecci´n y el esfuerzo general por ambas partes.10. T´cnica nominal de grupo.10. Reducida la lista. Ingenier´ del Conocimiento ıa .10. Tormenta de ideas (Brainstorming ) En adquisici´n del conocimiento. Suele ser favorable la presencia de un moderador y su utilidad es manifiesta en dominios en los que se requiere inventiva. ). e M´todo Delphi.3. . o 6. se llevan a cabo una serie de cribas. basada en la o e opini´n sajona de que la cantidad mejora la calidad.10. Escalamiento psicol´gico.1. Las primeras se suelen basar en la aplicabilidad inmediata de la soluci´n propuesta. 6. que expondr´n sus ideas (con una breve a explicaci´n) sin ning´n tipo de cr´ o u ıtica. 3. basado en cuestionarios cone e e feccionados por los ingenieros de conocimiento sobre aspectos del problema que se presentan a distintos tipos de expertos.2. pero en ella las ideas se exponen e por escrito. Tormenta de ideas (brainstorming). de coste. T´cnica nominal de grupo e Esta t´cnica es exactamente igual que la anterior.. T´cnicas especiales de e adquisici´n de conocimiento en grupo o Para cerrar este cap´ ıtulo hablaremos de una serie de t´cnicas especiales a usar cuane do queremos trabajar con un grupo de expertos al mismo tiempo. la compatibilidad con otros aspectos del problema (que no supongan conflictos con otros elementos ya implementados/implantados. Emparrillado. o Las t´cnicas de adquisici´n de conocimiento en grupo m´s destacables son: e o a 1. T´cnicas especiales de adquisici´n de conocimiento en grupo e o 77 6. el ajuste con reso pecto a restricciones existentes (de tiempo. o 6. en ultimo caso se puede elegir la definitiva ´ por votaci´n. aplicable fundamentalmente cuando se trata con poca gente. etc). . 4. Es mejor cuando hay gente t´ ımida en el grupo. o que no acepta cr´ ıticas.6. intentaremos tener varios tipos o de expertos e ingenieros de conocimiento. Una vez recopiladas las ideas.10. para aplicar esta popular t´cnica. 6. M´todo Delphi e El m´todo Delphi tambi´n es un m´todo por escrito. 2.

y tambi´n a un cuesa o e tionario sobre los cuestionarios (¿son las preguntas relevantes? ¿importantes? ¿sobran? ¿faltan? ¿cu´les?). a e habr´ que pasar a algo no an´nimo para identificar el problema. T´cnicas para la adquisici´n del conocimiento e o Los expertos responder´n el cuestionario de forma an´nima.78 Apuntes – 6. Laura Castro . Esto ayuda a refinarlos. acometiendo una segunda vuelta acoma pa˜ada de los resultados de la anterior (media y varianza —primer y tercer cuartil—). n Se repite iterativamente (aunque con dos vueltas suele ser suficiente) hasta obtener una respuesta m´s o menos homog´nea —acuerdo—. Si existen dispersiones importantes. aunque no suele ser ıa o necesario.

El primero representa la satisfacci´n que ıa o tiene el usuario con el sistema. la utilidad es un criterio tambi´n din´mico que intenta ´ e a analizar el cambio/mejoras que se producen en el entorno/empresa en que se introduce el sistema. la interfaz. o Usabilidad Usabilidad y Utilidad son conceptos relativamente recientes.Cap´ ıtulo 7 Evaluaci´n de los sistemas basados o en conocimiento La evaluaci´n de los Sistemas Basados en Conocimiento consta de 4 aspectos que o podemos estudiar: Verificaci´n o Trata de estudiar la correcci´n formal de nuestro sistema. Validaci´n o Se trata de ver si el sistema es correcto. No es suficiente realizar validaci´n o por m´dulos. como por ejemplo Nexpert incluyen correcci´n de o sintaxis. influencia de la ingenier´ del software. etc. el sistema a debe estar funcionando. si contempla todos los casos. por tanto. 79 . es imprescindible una prueba global integrada. si el modelo computable es v´lido. Se repasan las propuestas realizadas con el modelo de organizaci´n/contextual o (motivos que impulsaron al desarrollo del sistema) y se comprueba si se han cumplido. Para poder realizarse. Es. es el unico criterio est´tico. La mayor´ de ´ a ıa las herramientas. un criterio din´mico o o a (el sistema debe estar funcionando). adecuaci´n a su nivel. pues. el tipo de respuestas. Utilidad Por ultimo. su redacci´n. De los cuatro aspectos. ver si satisface las expectativas. algo que o puede hacerse tanto durante el desarrollo como al final del mismo.

Evaluaci´n de los sistemas basados en conocimiento o Actuacion tras la evaluacion Figura 7.1: T´cnicas de valoraci´n para SS. e o Hacer resolver al sistema un caso de prueba Comparar el sistema con los requisitos establecidos al inicio de la construccion Uso del sistema por parte del usuario segun un escenario y expresion de su opinion Opinion del usuario sobre el criterio no fue capaz de tratar el caso fue capaz de tratar el caso el sistema no cumple los requisitos el sistema cumple los requisitos ¿V minimo? ampliar la respuesta la respuesta no fue exacta fue exacta los conocimientos reformar el sistema seguir con la construccion reformar el sistema o la interface seguir con la construccion ajustar los conocimientos seguir con la construccion Posibles Valores Laura Castro ¿VALOR DE UN CRITERIO? Validez Usabilidad Utilidad Realizacion del trabajo rutinario con el nuevo tandem: usuario + software Comparacion con la situacion anterior a la instalacion del software La nueva situacion es mejor La nueva situacion no es mejor el proyecto ha sido un exito el proyecto no ha sido un exito Correccion Inspeccionar y Revisar el modelo formal o computable en busca del error sintactico establecido no se se encontraron encontraron errores errores corregir la sintaxis seguir con la construccion .EE.80 Criterios Tecnicas de Valoracion Apuntes – 7.

Modelo Conceptual Modelo Computable VERIFICACION (Redundancia. o o Ingenier´ del Conocimiento ıa USABILIDAD UTILIDAD Verificacion: Validacion: Usabilidad: Utilidad: 81 .PLANO DE LA REALIDAD PRACTICA REAL ORGANIZACION Sw+Usuario REALIDAD CONTROLADA Requisitos USUARIO Sw Casos de Prueba VALIDACION (Completitud y Exactitud) Modelo Formal VALIDACION (Correspondencia) Aspectos mas internos del sistema. Incompletitud. Valora el sistema en el mundo exterior. Aspectos del contexto en un entorno "controlado". Inconsistencia) PLANO DE LA CONSTRUCCION Figura 7. Amplia el entorno al usuario.2: Relaci´n entre los distintos tipos de evaluaci´n.

.1.82 Apuntes – 7.. o bien est´ mal escrita. ∧ βn ⇒ α Reglas no disparables. Con frecuencia es un error debido a que se escribi´ mal a o esa regla o por falta de conocimiento (m´s reglas). a se pueden considerar un tipo especial de reglas no disparables). dependiendo del caso. principalmente sint´ctica. Evaluaci´n de los sistemas basados en conocimiento o 7.. Igual que en el caso anterior (de hecho. o bien falta conocimiento..Si la conclusi´n de una regla no es parte o de un antecedente de otra regla (por ejemplo. herramientas que proporcionan verificaci´n simple o de estructuras. en encadenamiento regresivo) nunca se llegar´ a ella. 7. aunque son necesarias algunas a mayores. reduciendo sobre todo la eficiencia. la regla en cuesti´n nuno o ca se activar´. x) ∧ atributo(a. a Laura Castro .Si las conclusiones de dos reglas son iguales y las premisas o de las condiciones son una un subconjunto de la regla se dice que hay subsunci´n. Es decir.. Verificaci´n y validaci´n o o Sistemas de verificaci´n autom´tica o a Todos las pruebas de verificaci´n de software est´ndares que existen en ingenier´ o a ıa del softwae son aplicables a los SBC y SSEE. a Conclusiones no alcanzables. Cadenas circulares. Ri ) α ⇒ β Rj ) α ⇒ β Ri ) Rj ) Rk ) Rr ) α β γ α ⇒ ⇒ ⇒ ⇒ β γ θ θ Subsunci´n.Pueden ser o no determinantes (puede haber que eliminarlas o ser correctas/necesarias en nuestro sistema).1. como hemos mencionado. Igual que en el caso anterior.. a pueden querer eliminarse o no.Si las premisas que tiene una regla nunca son una conclusi´n de otra ni son hechos iniciales. una regla est´ subsumida en otra si ambas tienen o a la misma conclusi´n y las premisas de una son un subconjunto de las o premisas de la otra (que es m´s general). La mayor´ de los sistemas de verificaci´n a ıa o autom´tica son para sistemas basados en reglas y suelen controlar: a Inconsistencias. Existen. Base Conocimientos + Base Hechos ⇒ P ∧ ¬P atributo(a.Pueden aparecer por propio error o al trabajar varios ingenieros sobre una misma base de conocimientos..1.Son situaciones del tipo: α η0 ηn−1 ∧ η0 ⇒ β1 ∧ β1 ⇒ β2 . y) ⇒ C Redundancias..

para comprobar posteriormente. ıa Ingenier´ del Conocimiento ıa √ . intermedios y conclusiones) y las reglas los arcos. agrup´ndolas por las conclusiones (en una misma fila. des sirven para comprobar la accesibilidad de las conclusiones. en la que hip´tesis y o conclusiones son nodos y las transiciones representan reglas. las reglas o que concluyen algo sobre ci ). El peor inconveniente de este tipo de sistemas de verificaci´n es que o su complejidad es exponencial. √ Sistemas de propagaci´n de restricciones: toman un conjunto de heo chos iniciales e intermedios lo m´s completo posible y lo propagan a por el sistema a trav´z de sus restricciones. si no la tiene. √ Sistemas de verificaci´n basados en redes de Petri: combierten la base o de conocimientos de reglas en una red de Petri .7. circularidad. aunque a pesar de ello son de los m´s a empleados. significa que el sistema tiene o inconsistencias (est´ mal). si se introduce una inconsistencia y el sistema tiene soluci´n.. etc.1. dos a dos. Verificaci´n y validaci´n o o Completitud. Estas reA R1 B G 83 Figura 7. pudiendo as´ detectar redundancias ı e incluso inconsistencias (si adem´s de ci tienen en cuenta la negaci´n a o de ci ). comprobando el resultado e (analizando si hay redundancias. por el contrario.3: Ejemplo de red de Petri. la estructura de dichas reglas. Sistemas de verificaci´n basados en grafos dirigidos: a partir de la o base de reglas construyen un grafo dirigido en el que los nodos son los hechos (iniciales. Adem´s. a una vez se dispone del sistema de ecuaciones. la a primera columna contiene una conclusi´n ci y la segunda.Si la base de conocimientos no est´ completa puede dara se la situaci´n en que no hayamos alcanzado ninguna conclusi´n y o o tampoco quede ninguna regla por ejecutar. etc). de forma que existir´ un arco si y s´lo si existe una regla que ligue ambos a o hechos/nodos. se pueden detectar redundancias. ya que son expresables en forma de sistemas de ecuaciones lineales. A partir del grafo se calculan las matrices de adyacencia y de la traza de la matriz se analiza si ´sta indica la existencia de caminos que no e se deber´ dar. es que el a sistema es correcto. Hay cuatro tipos principales de sistemas de verificaci´n autom´tica: o a √ Sistemas de verificaci´n tabular: se basan en la colocaci´n de las reglas o o en tablas.

Validaci´n o En el proceso de validaci´n es deseable que se involucre un amplio perfil de coo laboradores. sino o tambi´n los expertos y uno o varios de los usuarios finales. que ´ste pueda rehacer el mensaje de otra manera. sin o identificar de qui´n provienen. obviamente. o Hay que ser cuidadosos en c´mo se realiza la validaci´n: debe comunicarse al pero o sonal involucrado cu´nto se estima que va a durar (intervalo temporal realista). u que da el sistema lo hace de forma correcta. cuya opini´n tambi´n es e o e importante. las expresiones. consejo. por ejemplo. como sucede si la referencia es el experto o un grupo a de expertos. paso intermedio. o Laura Castro . lo que puede a establecernos una secuencia de validaci´n por prioridades. una pregunta). ante un problema. no s´lo hay que validar el resultado final (que. hacia el ajuste fino.1. Y. en los ´ que los expertos dan su opini´n sobre respuestas del propio sistema y otros colegas. o En caso de definir un est´ndar. que pueden no estar de acuerdo y ¿c´mo se sabe qui´n tiene raz´n? La o e o compensaci´n que tiene disponer de varios expertos (que deber´ ser siempre de un o ıan mismo “nivel”) es que se puede clasificar el sistema con respecto al tipo de expertos al que se ajusta. en toda validaci´n e o es necesario efectuar m´s de una iteraci´n. etc. o Tanto SBC como SSEE no se dedican a cosas cuyo resultado se conozca siempre perfectamente si es correcto o no. preferible que no se ajuste s´lo a aqu´l que m´s o e a ayud´ al desarrollo del mismo. no s´lo los ingenieros de conocimiento desarrolladores del sistema. o e porque la forma proceder actual sea incorrecta). que el camino que sigue el sistema para llegar a una conclusi´n sea el mismo que utiliza el experto (a no ser que est´ justificado. por supuesto. Referencias est´ndar de los SBC a El problema de la validaci´n es que hay que hacerla con respecto a una referencia. evitar e mensajes de error alarmantes.2. puede ser esp´reo). pues lo hace m´s usable. en el o peor de los casos. la a metodolog´ y pasos que se deber´n seguir. no se puede pretender que el sisa tema vaya m´s all´ de unos determinados niveles. que necesitamos con m´s urgencia que funcionen bien. Evaluaci´n de los sistemas basados en conocimiento o 7. a a Para eliminar sesgos y desviaciones suelen ser utiles los estudios ciegos. casi tanto como la de los propios expertos si son ellos quienes lo van a usar. siendo. la necesaria referencia est´ndar (tambi´n a e llamada en ocasiones regla de Oro) puede no existir. Asimismo es a importante respetar el tipo de lenguaje que se usa. sino si cada paso. debe ser realista. Tambi´n es clave que la forma de razonae miento sea la correcta. es decir. as´ como las expectativas del proceso.84 Apuntes – 7. o bien existir una referencia pero no ser completamente est´ndar. eviıa a ı tando en la medida de lo posible que se convierta en una tarea tediosa. facilitar la recuperaci´n de sesiones y asegurar los pasos o que se dan mediante ventanas de confirmaci´n. a o Puede suceder que haya en el sistema/contexto/problema variables m´s importana tes que otras. Sea como fuere. e incluso cuestiones como que si el usuario no entiende algo que le comunica el sistema (por ejemplo. Como ya se ha mencionado. es decir.

o o Validaci´n prospectiva (contra casos del d´ a d´ o ıa ıa). ◦ ´ Ingenier´ del Conocimiento ıa . o Validaci´n de subsistemas semiindependientes. M´todos de validaci´n e o Existen dos grandes tipos de m´todos de validaci´n: e o M´todos cualitativos e ◦ ◦ ◦ ◦ Validaci´n retrospectiva (contra casos hist´ricos). Test de Turing (validaciones an´nimas en varias iteraciones). relativos a las bases de o conocimiento. esto es.7.1. o M´todos cuantitativos (fundamentalmente m´todos estad´ e e ısticos) ◦ Tanto por ciento de acuerdo. Verificaci´n y validaci´n o o 85 Otro aspecto clave es mantener los problemas relacionados con la usabilidad al margen de los problemas identificados en la validaci´n. Indice kappa.

.

Figuras Detalle de la figura 1. en un mayor nivel de detalle.1.1 (p´gina 4): a 87 . A.Ap´ndice A e Ampliaciones En este ap´ndice se reproducen algunas de las figuras que intercalan el texto de los e cap´ ıtulos de estos apuntes.

? SUBSISTEMA DE ADQUISICION DEL CONOCIMIENTO − Procesado de palabras − Entrada en linea − Ayuda − Herramientas de depuracion de la BC − Librerias de casos y ejemplos − Animacion − Control de la inferencia Usuario Ingenieria del Conocimiento Figura A. Ampliaciones BASE DE CONOCIMIENTOS DECLARATIVOS − Conocimientos del dominio − Objetos y relaciones − Definiciones del vocabulario − Hechos disyuntivos y/o inciertos − Situaciones tipicas: estadisticas y descripciones de la dinamica del comportamiento − Suposiciones − Hipotesis − Restricciones − Taxonomias MOTOR DE INFERENCIAS − Encadenamiento adelante/atras − Unificacion. EXPLICACION Y ADQUISICION DE CONOCIMIENTO SUBSISTEMA DE USUARIO − Menus − Graficos SUBSISTEMA DE EXPLICACION − ¿Como? − ¿Por que? − ¿Que sucede si.. equiparacion − Propagacion de restricciones − Gestion de prioridades − Agenda − Pizarra − Razonamiento hipotetico − Resolucion − Induccion − Demonios − Meta−control − Gestion de incertidumbre − Calculos matematicos OPERATIVOS o DE ACCION − Procesos de solucion − Reglas operativas − Heuristicas − Ejemplos de soluciones METACONOCIMIENTOS − Semantica situacional − Razonamiento de sentido comun − Metarreglas − Aprendizaje − Tareas genericas de solucion de problemas − Clasificacon y construccion de hipotesis y planes de solucion de problemas pre−compilados Explicacion y consejos Hechos y datos especificos INTERFAZ DE COMUNICACION.1: Esquema detallado de un SBC.88 Apuntes – A. Laura Castro ..

. . 6. . . . . . . 6. . . . 4. . . . . . o Ejemplo de clustering (I). .7. . . . . . . . . . Ejemplo de redes ponderadas. . Nombres est´ndar de las Funciones de Transferencia. . . . . . . . . . . e Tipos de comunicaci´n. . . . .´ Indice de cuadros 1. . . . . .2. . e o Clasificaci´n de los M´todos de Adquisici´n de o e o Ejemplo de aplicaci´n de EDM. . . 4. . 4. . a Tareas Anal´ ıticas vs. .1. . . . . . . 6. . . .1. 6. . . . . . . . .6. . . . . . . . . . . . . . . . a M´todos de Adquisici´n del Conocimiento. 1 25 30 37 38 55 56 57 64 66 68 70 . . . . . o 4. . . . . . . . . . . . . .5.3. . . . .4. Diferencias entre dato. . . . . . . . . . . . . . . . . . . . . . .1. . . . Esquema de una parrilla. . . . . . . . 89 . . . . . . . . . a o Dec´logo del Ingeniero de Conocimiento. . . . . .3. . . . . . Tareas Sint´ticas. . . . . . . . informaci´n y conocimiento . . Conocimiento. . . . . 6. . . .4. . o Sem´ntica de algunos tipos de comunicaci´n. . . . . . . . . . . . 6. . . . . . . . 6. . . . . . . . . . . .2. . . . . . . . . . . . . .

.

. .4. . . . . . . . . .2. . . . . . . . . . e o 7. . . . . .3. . Constructos del modelo del Conocimiento. . . . . T´cnicas de valoraci´n para SS. . . . . . . . . . . . . . . . . . . . . . . . . o n 5. . Elementos del Conocimiento Inferencial. . . . o Cuarto escenario de adquisici´n del conocimiento. . . Esquema del Model View Controller. . . . . . o . . 4. ıa Niveles de la metodolog´ CommonKADS. .6. . . . . . . . . . . . . .11. . . . . . .5. . . . . . . . e 4. .4. . . . . . . . . . . ıas 4. .4. . . . . . . 4.1. . . . . . 7. Primer escenario de adquisici´n del conocimiento. a n 5. . . .2.1. . . . Esquema de la metodolog´ de desarrollo incremental. . . . . . . . . . . . . . . . . . . 4. . . o 4.2. . . 2. . . . . 6. a 4. . . . . . . . . Relaci´n del modelo de Comunicaci´n con otros modelos. . . . . . . . . . . . . . . . . . . . . . . Gu´ para el modelado del Conocimiento. . . .1. . . . . . . . .1. . . . . . . . . . . . . . . . .7. . 4 6 8 11 11 16 19 20 21 22 23 24 24 26 27 28 30 34 35 37 37 41 43 44 52 52 53 53 67 80 81 3. . . . . . . . . . . . . o Tercer escenario de adquisici´n del conocimiento. . . . . .3. . . . . . .5. . .3. . . .1. . . . IC. . ıa Esquema de la metodolog´ en cascada. . Pasos en la construcci´n del modelo de Dise˜o. . . . . . . . . . . . . . . . . . . 6. . . . . . . . ıa . . . Esquema de la estructura de una transacci´n (CM-1). . . . . . . . .1. . . Estructura del modelo de Comunicaci´n. . . . . o o 4.12. . . .3. . . . . . . . . . . . o 4. . . . . . . . . . . .15. . . . . . . . Del an´lisis al dise˜o en CommonKADS. . . . . . . Ejemplo de representaci´n de Base de Conocimientos. . . Ejemplo de esquema de un posible M´todo de la Tarea. . . . . Ejemplos de representaci´n de Tipos de Regla. . . . . Estructura general de un Diagrama de Di´logo. . . . 2. . . . . . . . . . . . . . . . . . . . . . . .2. 2. . . . . . . . . . 6. . . . . . . .EE. . . . o 4. . Ejemplo de Mapa Inferencial. o 4. 4. . . . . . . . . . . . . . .8. . . . . . . . 6. . . . . . . . Relaciones en el modelo del Conocimiento. . Modelo de la Organizaci´n. . . . . Categor´ en el modelo del Conocimiento. . o o 91 . . . . . Ejemplo de Inferencia. . . .9. .´ Indice de figuras 1. . . . o Segundo escenario de adquisici´n del conocimiento. Elementos del Conocimiento de la Tarea. . . . . . .14. . . . . . .1.2. . . . . . . . . . . . . . . .13.10. . . . . . . . . . . . . IS vs. o Ejemplo de clustering (y II): dendrograma. . 6. . . . . . . . Relaci´n entre los distintos tipos de evaluaci´n. . . . . . ıa 4. . . 5. . . . . Esquema de un SBC. . . . . . . . . . . . . . . . . . . . . . 2. . . . 4. . 4. . .

. . . . . . . Ejemplo de red de Petri. . . . . . . . . . . Esquema detallado de un SBC. .92 Apuntes – A. . . . . . 83 88 Laura Castro . . . . . . . . . . . .3.1. . . . . Ampliaciones 7. . . . A. . . . . . . .

et al.Bibliograf´ ıa [1] Alonso Betanzos. Apuntes de clase. [2] Vicente Moret. 2000. Amparo Alonso. Servicio de Publicaciones de la Universidad de La Coru˜a. Amparo. Fundamentos de Inteligencia Artificial. n 93 .

29 validaci´n. 63 emparrillado. 69 cuestionarios. 77 e t´cnicas especiales. 12. 20 especificaci´n. 62 entrevistas. 62 o redes ponderadas. 12 de contexto. 83 plan de comunicaci´n. 2 ıa p´blico. 41 n de organizaci´n. 68 t´cnica nominal. 8 en espiral.´ Indice alfab´tico e conocimiento. 1 adquisici´n. 51 a te´rico. 15 o de tareas. 33 o de dise˜o. 8 prototipado r´pido. de la tarea. 10 desarrollo incremental. 34 o de conocimiento. 56 no estructuradas. 31 o inferencial. 33 semip´blico. 51 m´todo delphi. 56 o de despliegue. 51 o an´lisis de protocolos. 34 o plantillas. 61 curvas cerradas. 26 del dominio. 10. 59 a brainstorming. 69 entrevistas 94 de adquisici´n. 77 e categor´ 18 ıas. 31 o identificaci´n. 56 experto acad´mico. 65 constructos personalizados. 1 dendrograma. 68 Petri red de. 51 o informaci´n. 62 o escenarios. 12 o nivel de contexto. 56 escalamiento multidimensional. 16 de comunicaci´n. 36 o . 56 estructuradas. 63 escalamiento psicol´gico. 10 pathfinder. 2 u privado. 12. 12. 1 o metodolog´ ıa CommonKADS. 7 a modelo de agentes. 17 construcci´n. 2 refinamiento. 30 o documentaci´n. 20 dato. 23 ingenier´ del. 12. 3 constructos. 13 de implementaci´n. 65 EDM. 8 en cascada. 61 observaci´n directa. 16 nivel de concepto. 77 clustering. 12. 2 u sistema basado en. 51 e pr´ctico. 77 e movimiento de ojos.

2 ıa tr´ ıadas. 36 o usabilidad. 82 no disparables. 84 o verificaci´n. 79 validaci´n. 84 a reglas cadenas circulares.referencia est´ndar. 82 inconsistencia. 79 o 95 . 79 utilidad. 71 transacci´n. 82 completitud. 82 o SBC. 82 redundancia. 3 evaluaci´n. 79. 83 conclusiones no alcanzables. 79 o software ingenier´ del. 82 subsunci´n.