Le déclaratif c'est une spécification de problème, on laisse l'algorithme résoudre comme un grand. En principe l'algo résoud quasi tout, sauf si il part en boucle infinie, ce qui peut arriver si le langage est suffisamment riche et qu'il y a des problèmes indecidables dans le lot ! Genre Prolog.
Donc on peut d'écrire précisément des problèmes, on sait pas comment l'interprète va les résoudre exactement mais en principe l'interprète donnera toujours la bonne réponse si c'est possible d'en donner. Le peut être langage est suffisamment riche pour décrire bien des problèmes mathématiquement définissable. On peut pas borner le temps d'exécution en general.
[^] # Re: Vrai question C'est quoi l'IA ?
Posté par thoasm . En réponse au journal Cybersécurité: des chercheurs ont créé un ver qui attaque l’IA. Évalué à 2.
Le déclaratif c'est une spécification de problème, on laisse l'algorithme résoudre comme un grand. En principe l'algo résoud quasi tout, sauf si il part en boucle infinie, ce qui peut arriver si le langage est suffisamment riche et qu'il y a des problèmes indecidables dans le lot ! Genre Prolog.
Donc on peut d'écrire précisément des problèmes, on sait pas comment l'interprète va les résoudre exactement mais en principe l'interprète donnera toujours la bonne réponse si c'est possible d'en donner. Le peut être langage est suffisamment riche pour décrire bien des problèmes mathématiquement définissable. On peut pas borner le temps d'exécution en general.