Tesis - sistemas expertos

Tesis de Magister en Ingeniería del Software “Sistema Experto Asistente de Requerimientos”

Ing. Francisco Marcelo Rizzi Directores: Dr. Mariano Fernández López (UPM) Dr. Ramón García Martínez (ITBA)

Buenos Aires, Argentina 2001

Indice

Capítulo 1: Introducción 1.1 Introducción 1.2 Descripción de la composición de la tesis. 2 3

Capítulo 2: Dominio de la aplicación 2.1 introducción2.2 Problemas de Software 2.3 Marcos de Problema 2.3.1 Diagramas de marcos 2.3.2 Marcos de problema elementales Marco de problema de información Marco de problema de control Marco de problema de transformación Marco de Problema Workpieces Marco de Problema de Conexión 2.4 Marcos de Problema Compuestos 2.5 Descomposición del problema 2.5.1 Descomposición Exterior-Interior 2.5.2 Descomposicióninterior-Exterior 2.5.3 Reconocimiento de un marco compuesto 2.6 Documentación: Contenido del documento de requerimientos 6 6 9 10 12 12 14 14 15 16 17 19 20 20 21 21

Indice

i

Capitulo 3: Definición del problema 3.1 Introducción 3.2 Planteamiento del problema 3.3 Objetivos del trabajo 3.4 Alcance 3.5 Participantes y ámbito del proyecto 3.6 Metodología de construcción: IDEAL 3.7 Gestión delproyecto 3.8 Diagrama de Gantt. 26 26 27 28 29 29 33 33

Capitulo 4: Estudio de la Viabilidad 4.1 Introducción 4.2 Test de viabilidad 4.3 Funcionamiento de la técnica 4.4 Análisis del test de viabilidad 4.4.1 Calculo de los intervalos correspondientes a cada dimensión. 4.4.2 Justificación del análisis de viabilidad 4.4.2.1 Justificación de la dimensión de Plausibilidad 4.4.2.2 Justificación de ladimensión de Justificación 4.4.2.3 Justificación de la dimensión de Adecuación 4.4.2.4 Justificación de la dimensión de Éxito. 36 37 40 41 47 49 49 50 52 55

Indice

ii

Capítulo 5: Adquisición de conocimientos 5.1 Introducción 5.2 Ciclo de cada sesión 5.2.1 Preparación de las sesiones 5.2.2 Sesión 5.2.3 Transcripción 5.2.4 Análisis de la sesión 5.3 Sesiones de adquisición 5.3.1 Sesión 1:Primera reunión con los expertos. 5.3.2 Sesión 2: profundización de conocimientos 5.3.3 Sesiones 3, 4, 5 y 6: Otras sesiones de profundización de conocimientos 5.3.4 Sesión 7: Sesión de emparrillado 5.3.5 Sesión 8: Estándares 5.3.6 Sesión 9: Ajustes de Marcos 5.3.7 Sesión 10: Análisis del problema con marcos 5.3.8 Sesión 11: Sesión de análisis de protocolos 5.3.9 Sesión 12: Profundización de ajustede marcos al problema 5.3.10 Sesión 13: Análisis de conexiones 5.4 Sesiones de extracción de conocimientos 62 64 68 82 89 91 94 100 114 116 118 60 61

Capítulo 6: Conceptualización 6.1 introducción 6.2 Elaboración del modelo conceptual 6.2.1. Identificación, Comparación y Categorización de Conceptos 135 136 137

Indice

iii

6.2.1.1 Glosario de Términos 6.2.1.2 Razones para la elección delos conceptos 6.2.1.3 Tabla Concepto/Atributo/Valor 6.2.2 Relaciones entre conceptos: El conjunto relacional de base 6.2.3 Análisis de los conocimientos estratégicos 6.2.3.1 Pasos de Alto nivel 6.2.3.2 Subpasos de la tarea 6.2.3.3 Comprobación de los conocimientos estratégicos 6.2.4 Análisis de los conocimientos tácticos 6.2.4.1 Representaciones Intermedias 6.2.4.2 Metaconocimientos Tácticos6.2.5 Análisis de conocimientos fácticos 6.2.6 Modelo Dinámico o de Proceso 6.2.7 El mapa de conocimientos: comprobación del MC

138 141 143 145 146 148 150 155 156 156 175 177 188 195

Capítulo 7: Formalización de conocimientos 7.1 Introducción 7.2 Selección de formalismos 7.3 Representación de los conocimientos en marcos 7.4 Relaciones entre conceptos 7.5 Propiedades de los conceptos 7.5.1Facetas de propiedades 7.5.1.1 Facetas que definen propiedades de clase, de instancia y de relación. 7.5.1.2 Facetas que definen propiedades de clase y de relaciones. 197 197 198 199 202 204 204 204

Indice

iv

7.5.1.3 Facetas que definen propiedades de instancia 7.6 Los marcos, sus propiedades y facetas 7.7 El sistema de producción 7.7.1 La Base de Hechos (BH) 7.7.2 La base de Reglas (BR)...