Problèmes
On est intéressé par les problèmes satisfaisant les
deux conditions suivantes:
1. Doit pouvoir se résoudre sur un ordinateur: Par exemple
le problème de trouver une juste sentence pour une
personne reconnu coupable d'un délit fait appel à des
considérations culturelles et philosophiques et ne peut
donc pas être résolu par un ordinateur.
2. L'ensemble des solutions correctes doit être non
ambiguë: Par exemple la traduction d'un texte de l'anglais
au français peut être réalisée par un ordinateur mais il
n'est pas clair ce que l'on doit considérer comme une
traduction correcte.