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
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.