Sto leggendo Introduzione all'intelligenza artificiale di Ertel.
Questa riga mi ha fatto uscire dal libro di testo (pagina 102):
For decidable problems such as the 8-puzzle this means that the whole search tree must be traversed up to a maximal depth whether a heuristic is being used or not.
E decidibile può essere definito così:
an algorithm that can and will return a Boolean true or false value (instead of looping indefinitely)
Perché il programma non può tornare se incontra lo stato obiettivo prima che abbia attraversato l'intero albero? Cosa mi manca?
Nel caso in cui il contesto sia importante, questa è la frase precedente:
In closing, it remains to note that heuristics have no performance advantage for unsolvable problems because the unsolvability of a problem can only be established when the complete tree has been searched through.
Vedi pagina 102 .
Si dice altrove nel libro che l'euristica spesso riduce drasticamente il calcolo per "problemi risolvibili"! C'è una differenza tra i problemi "decidibile" e "risolvibile" che è rilevante qui? Non è spiegato perché l'euristica è buona per i problemi "risolvibili" e cattivi per quelli "decidibili".