Exemple de solidité et d'exhaustivité de l'inférence

11

L'exemple suivant est-il correct pour savoir si un algorithme d' inférence est solide et complet ?

Supposons que nous ayons des aiguilles a, b, c dans une botte de foin, et ayons également un algorithme d'inférence conçu pour trouver des aiguilles.

  • son - Seules les aiguilles a, b et c sont obtenues.

  • complet - Les aiguilles a, b et c sont obtenues. D'autres foins peuvent également être obtenus.

logic IsaacS
la source

Réponses:

10

Vous avez presque raison, mais votre définition de la solidité n'est pas tout à fait juste, ou peut-être trop subtile.

Je dirais que l'algorithme d'inférence est sain si tout ce qui est retourné est une aiguille (d'où certaines aiguilles peuvent être manquées) et complet si toutes les aiguilles sont retournées (d'où du foin peut aussi être retourné aussi).

Dave Clarke
la source
Cela peut être un problème de sémantique linguistique. En supposant que les seuls objets à côté du foin sont les trois aiguilles, la formulation de l'OP est correcte.
Raphael
1
En tout cas, ma réponse le précise pour le rendre plus clair.
Dave Clarke
En effet, si le libellé était "Seules les aiguilles a, b et c peuvent être obtenues", je n'aurais pas répondu.
Dave Clarke
Il semble donc son moyen que la fonction algorithmique a gamme des aiguilles d'être, et il est complet signifie que la fonction est surjective à l'ensemble des inutiles dans la botte de foin ;-)
Musa Al-hassy