Resumen de Modularization, uncertainty, reflective control and deduction by specialization in milord ii, a language for knowledge-based systems
Milord ii es un lenguaje para el desarrollo de sistemas expertos, en particular para aquellos que son utiles en entornos reales y persiguen objetivos reales. Se propone un lenguaje de programacion modular para el desarrollo de grandes sistemas. Este lenguaje esta basado en modulos, modulos genericos y operaciones entre modulos que forman el nucleo de una metodologia de programacion incremental. Cada modulo representa un especialista y contiene todos los componentes de un sistema experto completo. Los modulos contienen el conocimiento de dominio (hechos y reglas con incertidumbre), el control local (metareglas de primer orden) y la logica local. Se propone un algebra de intervalos de valores de verdad simbolica para el tratamiento de la incertidumbre y la imprecision, asi como los mecanismos para la traduccion sin perdida de la inferencia entre modulos con distintas logicas de estos intervalos. Se propone un nuevo mecanismo deductivo basado en la especializacion de bases de conocimiento. Este nos permite mejorar tanto la comunicacion con el usuario, los metodos de validacion y la comprensibilidad de los sistemas expertos. Tambien se presentan las aplicaciones reales y los ejemplos mas importantes desarrollados con milord ii.
