Verificación de Sistemas basados en el Conocimiento » książka
Verificación de Sistemas basados en el Conocimiento
ISBN-13: 9783845498119 / Hiszpański / Miękka / 2011 / 392 str.
La calidad de un Sistema basado en el Conocimiento (SBC) es uno de los objetivos prioritarios de la Ingenieria del Conocimiento. Dentro de la Ingenieria del Conocimiento, existe una disciplina denominada habitualmente Verificacion & Validacion (V&V) cuyo objetivo es precisamente asegurar la calidad de un SBC. Una de las lineas de investigacion que ha surgido en la V&V se ha centrado en estudiar como comprobar si un SBC satisface una serie de propiedades formales. En particular, se ha prestado especial atencion a la verificacion de la consistencia de un SBC. Como parte de estas investigaciones, se han propuesto metodos automatizables para identificar anomalias en la estructura de un SBC que potencialmente puedan dar lugar a salidas incorrectas.Esta tesis supone un paso hacia delante en el area de los metodos de V&V. En este sentido, se va a presentar un metodo, denominado MECORI, para detectar inconsistencias semanticas en SBCs hibridos basados en reglas de produccion y jerarquias de marcos. Se explicara de que manera este metodo supera a sus predecesores, acabando con muchas de sus limitaciones."
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.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
