Método para la verificación de sistemas híbridos basado en la propagación de etiquetas

Ramírez Rodríguez, Jaime (2002). Método para la verificación de sistemas híbridos basado en la propagación de etiquetas. Tesis (Doctoral), Facultad de Informática (UPM) [antigua denominación].

Descripción

Título: Método para la verificación de sistemas híbridos basado en la propagación de etiquetas
Autor/es:
  • Ramírez Rodríguez, Jaime
Director/es:
  • Antonio Jiménez, Angélica de
Tipo de Documento: Tesis (Doctoral)
Fecha: Mayo 2002
Materias:
Palabras Clave Informales: INTELIGENCIA ARTIFICIAL; SISTEMAS AUTOMATIZADOS DE CONTROL DE CALIDAD; CIENCIA DE LOS ORDENADORES; MATEMATICAS;
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

Esta tesis supone un paso hacia delante en el área de la Verificación de Sistemas Basados en el Conocimiento (SBCs). Así pues, se va a presentar un método, al que se ha llamado MECORI, capaz de detectar inconsistencias semánticas en SBCs Híbridos (basados en reglas de producción y jerarquías de marcos). Como parte del proceso de verificación, se construye una teoría ATMS simulando el proceso deductivo que sigue en el SBC para deducir una inconsistencia semántica. Posteriormente, es fácil obtener a partir de la teoría ATMS una secuencia de reglas y una especificación de la BH inicial que permiten deducir la inconsistencia. Ha sido posible superar algunas limitaciones y restricciones impuestas por otros métodos. En este sentido, los aspectos más destacables e innovadores de este método son: primero, este método puede verificar SBCs híbridos; segundo, los SBCs pueden utilizar ciertas clases de razonamiento no monótono; tercero, MECORI puede tratar reglas de producción que incluyan fórmulas expresadas en una lógica de segundo orden restringida; cuarto, MECORI puede verificar SBCs que representen razonamiento con incertidumbre, y quinto, nuestro método puede tratar reglas de producción que incluyan restricciones aritméticas sobre los valores de los atributos y los factores de certeza.

Más información

ID de Registro: 1050
Identificador DC: http://oa.upm.es/1050/
Identificador OAI: oai:oa.upm.es:1050
Depositado por: Archivo Digital UPM
Depositado el: 12 Jun 2008
Ultima Modificación: 20 Abr 2016 06:40
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM