Tema6

Tema 6Verificación y Validación
Š Veremos:
„ Diferencias con la ingeniería del software.
„ Verificación.
„ Validación

Ing. Conocimiento UC3M, 2004

Diferencias con Ing. Software
Š IS: Ejecución decasos de prueba.
Š IC:
„ Criterios para medir su éxito no son objetivos.
„ Se tolera incertidumbre y subjetividad.
„ No se pueden probar fácilmente: grandes espacios de
búsqueda.
„ No existenrespuestas 'correctas' del sistema

Ing. Conocimiento UC3M, 2004

Verificación
Š Construir el sistema correctamente.
Š Descubrir y corregir errores en el SBC desarrollado.

Š Quién la realiza?
Š Tipos:estática y dinámica
Š Criterios a verificar en una SBC:
„ Consistencia: alcanzar estado en conflicto con mundo
modelizado
„ Precisión: corrección de la sintaxis. Errores morfológicos.
„ Completitud: lagunasen capacidad deductiva.
Ing. Conocimiento UC3M, 2004

Tipos de inconsistencia
Š Estructural: Si no contiene ninguna regla inútil: inalcanzable,
un callejón sin salida, no ejecutable o redundate. Porejemplo:
Duplicación: p^qÆr ; q^pÆr, No disparables: p^¬p Ær ;
Ciclos de reglas: pÆr ; rÆx ; pÆx
Š Lógica:
„ Reglas con conclusiones o antecedentes redundantes.
„ Subsunción de reglas (ocultas porotras).
„ Reglas ejecutables en una misma situación con
conclusiones que producen contradicción lógica

Ing. Conocimiento UC3M, 2004

Tipos de inconsistencias
Š Semántica: Valores ilegales envariables. Se precisa un
modelo de coherencia para definir conflictos semánticos
porque dependen del contexto.
Š Por ejemplo:
„ Coherencia de un patrón: ($MiZapato velocidad 38)
„ Coherencia de un conjunto depatrones: ($MiZapato talla
38)($MiZapato talla 44)
„ Coherencia de una regla: Si ($MiZapato talla 38) Entonces
($MiZapato talla 44)
„ Coherencia de un conjunto de reglas: Encadenamiento de
reglas quelleva a afirmar un conjunto de patrones
incoherentes
Ing. Conocimiento UC3M, 2004

Automatizar verificación de SBC
Š Teiresias, ad-hoc para Mycin en 1976.
Š CHECK para SBC escritos con LES...