Sistemas Expertos
Sistemas Expertos
Sistemas Expertos
Averiguar las metodologas por el desarrollo de SBC menciona sus etapas y diferencias entre ellas: METODOLOGIA DE WEISS Y KULIKOWSKI: Sugieren las etapas siguientes para el diseo e implementacin de un sistema experto:
METODOLOGIA DE BUCHANAN: La caracterstica ms importante de esta metodologa es la constante relacin entre el Ingeniero de Conocimiento y el Experto del rea. ETAPAS: 1) Identificacin: Se identifican los participantes y roles, los recursos, fuentes de conocimiento. 2) Conceptualizacin: Se analizaran los conceptos vertidos por el experto del rea. 3) Formalizacin: Se identifican los conceptos relevantes e importantes, el resultado de formalizar el diagrama de informacin coneptul y los elementos sub-problemas es una especificacin parcial para construir un prototipo de la base de conocimiento. 4) Implementacin: Se formaliza el conocimiento obtenido del Experto y se elige la organizacin, el lenguaje y el ambiente de programacin.
5) Testeo: Se observa el comportamiento del prototipo, el funcionamiento de la base de conocimiento y la estructura de las inferencias, verificndose la performance del sistema. 6) Revisin del prototipo: se formulan los conceptos, se redisea y refina el prototipo.
METODOLOGIA BRULE Una de las caractersticas de esta metodologa es que en la mayora de los casos el problema se encuentra en la construccin del software y no en la adquisicin del conocimiento. ETAPAS: 1) Pre-Planeamiento: Definir el problema, investigar la factibilidad del proyecto, el costo de conduccin, probabilidad de xito. 2) Diseo y especificacin: Crear el equipo de trabajo, estructurar las perspectivas, planificar la primera sesin para definir el modelo perspectiva inicial mediante la creacin de un prototipo demostrativo. 3) Desarrollo temprano: El equipo realiza su primer esfuerzo de desarrollo. 4) Implementacin: Si el diseo es satisfactorio, comienza la implementacin. 5) Evaluacin: Se verifica y valida el sistema experto y se establece la performance del sistema. 6) Supervisin: Consiste en un testeo en lnea. 7) Mantenimiento: mantenimiento del sistema y actualizacin.
BGM (BLANQU Y GARCA MARTNEZ) La caracterstica mas importante de esta metodologa es el desarrollo de un SE temprano, que incrementalmente converge al sistema experto final. ETAPAS: 1) Adquisicin del conocimiento: Se realiza el relevamiento del conocimiento involucrado hacindole tener en cuenta al experto que se debe explayar lo mas posible. 2) Enunciacin de conceptos: Se analiza el conocimiento y se toma nota de los conceptos mas frecuentemente utilizados por el experto. 3) Parametizacion de conceptos: Tomar los valores que se encuentran asociados a los conceptos. 4) Planteo de causalidades: Se establecen la relacin de causalidad entre los distintos conceptos por medio de grafos causales y luego se redactan las reglas asociadas. 5) Verificacin: Consiste en la verificacin de la aceptabilidad de las reglas con el experto de campo.
METODOLOGIA DE JHON DURKIN ETAPAS: 1) Evaluacin: Consiste en determinar Por qu esta la organizacin motivada para seguir Sistemas expertos? Algunas organizaciones estn mirando resolver un problema particular mientras que otras estn interesadas en encontrar que puede hacer la tecnologa por ellos. Dentro de esta etapa se presentan las siguientes sub-etapas: Motivacin para el Esfuerzo. Identificar problemas candidatos. Estudio de viabilidad. Anlisis de Costo/Beneficio. Seleccionar el mejor proyecto. Escribir el proyecto propuesto. 2) Adquisicin del conocimiento: Siguiendo las fases, la siguiente tarea es la adquisicin del conocimiento. Esta tarea es el desafo ms difcil en el desarrollo de un sistema experto. Dentro de esta etapa se presentan las siguientes sub-etapas: Recoleccin del conocimiento. Interpretacin. Anlisis. Diseo de mtodos para recolectar conocimiento adicional. 3) Diseo: Esta tarea comienza con la seleccin de la tcnica de representacin del conocimiento y la estrategia de control. Es seguida con la seleccin de una herramienta de software que rene mejor las necesidades del problema. Un sistema prototipo pequeo es luego construido para validar el proyecto y para proporcionar una gua para el trabajo futuro. Dentro de esta etapa se presentan las siguientes sub-etapas: Seleccionar Tcnica de Representacin del Conocimiento. Seleccionar Tcnica de Control. Seleccionar Software de Desarrollo de Sistema Experto. Desarrollo de Prototipo. Desarrollo de Interfase. Desarrollo del Producto. 4) Pruebas: Conforme prosigue el proyecto el sistema experto necesitar ser probado y evaluado peridicamente para asegurar que su performance est convergiendo hacia las metas establecidas. Dentro de esta etapa se presentan las siguientes sub-etapas: Validacin del Sistema.
Evaluacin de la Prueba/Evaluacin. 5) Documentacin: Si est propiamente diseado, esto tambin servir para las siguientes tareas de mantener el sistema y escribir el reporte final del proyecto. Dentro de esta etapa se presentan las siguientes sub-etapas: Relacin de temas que deben ser documentados. Organizacin de la documentacin. Documentacin Impresa. Documentacin en hipertexto. Reporte Final 6) Mantenimiento: Darle el mantenimiento al sistema es de suma importancia. Dentro de esta etapa podemos ver las siguientes sub-etapas: Modificaciones probables del sistema. Responsables de mantenimiento. Interfaces de documentacin del mantenimiento
METODOLOGA COMMON KADS La caracterstica de esta metodologa se basa en que se utiliza como un estndar por los responsables de la gestin del conocimiento e ingenieros del conocimiento para el desarrollo de sistemas de conocimiento.
1) Anlisis del contexto: Responde a las preguntas del porque del sistema a disear, justifica la razn del SGBC que se pretende construir y determina los problemas y oportunidades a resolver, considerando el impacto que se producen en la organizacin. 2) Formalizacin abstracta: Corresponde a la formalizacin del sistema en si. 3) Implementacin: Aqu se pueden ver los diferentes procesos que se emplean si el diseo es satisfactorio, si es as entonces comienza la implementacin. 2. De los modelos de proceso de desarrollo de software expertos, mencionar 5 diferencias entre ellos y algn otro proceso de desarrollo que no se haya mencionado: MODELO INCREMENTAL El modelo incremental es una evolucin del modelo de cascada; viene a suplir el problema de no poder retroceder en las fases de desarrollo del software. Es, por tanto, un modelo no secuencial. MODELO ESPIRAL Este modelo, tambin no secuencial, es algo ms complejo que los anteriores, aunque incluye un elemento muy til e importante en el desarrollo del software: anlisis de riesgos. El modelo en espiral concreta cuatro fases: - Planificacin - Anlisis de Riesgos - Ingeniera (Construccin del prototipo) - Evaluacin por el cliente
MODELO CASCADA Es el ms antiguo de todos los modelos de Ingeniera del Software. El modelo lineal presenta una estructura secuencial (de ah el nombre de Modelo en cascada) formada por seis fases o etapas: - Anlisis del Sistema - Anlisis de Requisitos de Software - Diseo - Codificacin - Prueba - Mantenimiento DIFERENCIAS ENTRE ELLOS: El Modelo en cascada no permite retroceder (ms tarde analizaremos las ventajas e inconvenientes de todos los modelos en comn)
El modelo incremental a diferencia de los otros modelos ofrece la posibilidad de comenzar un diseo, arquitectura, estructura, etc del software, que de no convencer al cliente (o al propio programador) es rechazado y se comienza con una segunda iteracin (o un segundo diseo), sin necesidad de realizar un nuevo anlisis de requisitos. el modelo incremental aade la posibilidad de utilizar iteraciones para doblegar el diseo y contemplar varias posibilidades hasta elegir una.
Lips: - El elemento fundamental en Lisp es la lista, en el sentido ms amplio del trmino, pues tanto los datos como los programas son listas. Algunas de las funciones predefinidas de Lisp tienen smbolos familiares (+ para la suma, * para el producto), pero otras son ms exticas, especialmente dos que sirven precisamente para manipular listas, descomponindolas en sus componentes. Lisp sigue una filosofa de tratamiento no-destructivo de los parmetros, de modo que la mayora de las funciones devuelven una lista resultado de efectuar alguna transformacin sobre la que recibieron, pero sin alterar esta ltima.
Prolog: - La representacin de hechos simples no es lo comn en la clasificacin de elementos, sino que se agrupan los elementos de un mismo tipo en una lista. - Prolog tambin posee varios predicados predefinidos para interaccin con el sistema operativo, como entrada/salida, grficos y comunicaciones de datos. - Los programas en Prolog se componen de clusulas de Horn que constituyen reglas del tipo "modus ponendo ponens", es decir, "Si es verdad el antecedente, entonces es verdad elconsecuente" C++: - Tiene un conjunto completo de instrucciones de control. - Permite agrupacin de instrucciones - Incluye el concepto de puntero (variable que contiene la direccin de otra variable). - Los argumentos de las funciones se transfieren por su valor. - E/S no forma parte del lenguaje, sino que se proporciona a travs de una biblioteca de funciones.