Ejemplo de solidez e integridad de inferencia

11

¿Es correcto el siguiente ejemplo sobre si un algoritmo de inferencia es sólido y completo ?

Supongamos que tenemos agujas a, b, c en un pajar, y también tenemos un algoritmo de inferencia diseñado para encontrar agujas.

  • sonido : solo se obtienen las agujas a, byc.

  • Completo : se obtienen las agujas a, byc. También se puede obtener otro heno.

logic IsaacS
fuente

Respuestas:

10

Casi lo has hecho bien, pero tu definición de solidez no es del todo correcta, o quizás demasiado sutil.

Yo diría que el algoritmo de inferencia es sólido si todo lo que se devuelve es una aguja (por lo tanto, se pueden perder algunas agujas) y se completa si se devuelven todas las agujas (por lo tanto, también se puede devolver algo de heno).

Dave Clarke
fuente
Esto puede ser un problema de semántica del lenguaje. Suponiendo que los únicos objetos además del heno son las tres agujas, la redacción del OP es correcta.
Raphael
1
En cualquier caso, mi respuesta lo explica para aclararlo.
Dave Clarke
De hecho, si las frases fueran "Solo se pueden obtener las agujas a, byc ", no habría respondido.
Dave Clarke
Por lo tanto, parece que el sonido significa que la función algorítmica tiene un rango de agujas, y al estar completa significa que la función es sobreyectiva al conjunto de innecesarios en el pajar ;-)
Musa Al-hassy