Synopses & Reviews
Synopsis
La calidad de un Sistema basado en el Conocimiento (SBC) es uno de los objetivos prioritarios de la Ingenier a del Conocimiento. Dentro de la Ingenier a del Conocimiento, existe una disciplina denominada habitualmente Verificaci n & Validaci n (V&V) cuyo objetivo es precisamente asegurar la calidad de un SBC. Una de las l neas de investigaci n que ha surgido en la V&V se ha centrado en estudiar c mo comprobar si un SBC satisface una serie de propiedades formales. En particular, se ha prestado especial atenci n a la verificaci n de la consistencia de un SBC. Como parte de estas investigaciones, se han propuesto m todos automatizables para identificar anomal as en la estructura de un SBC que potencialmente puedan dar lugar a salidas incorrectas.Esta tesis supone un paso hacia delante en el rea de los m todos de V&V. En este sentido, se va a presentar un m todo, denominado MECORI, para detectar inconsistencias sem nticas en SBCs h bridos basados en reglas de producci n y jerarqu as de marcos. Se explicar de qu manera este m todo supera a sus predecesores, acabando con muchas de sus limitaciones.