Questions marquées «unification»

Pourquoi l'unification est-elle si importante pour déduire les moteurs?

J'apprends moi-même la vérification automatisée de théorèmes / les solveurs SMT / assistants de vérification et je poste une série de questions sur le processus, en commençant ici . Je continue de lire sur l' algorithme d'unification . Qu'est-ce que c'est et pourquoi est-il si important pour les moteurs d'inférence …

17 logic proof-assistants automated-theorem-proving smt-solvers unification

Unification vs solveur SAT

J'ai lu sur Wikipedia que l' unification est un processus de résolution du problème de satisfaction. En même temps, je sais que de tels solveurs sont appelés "solveurs SAT" ou "solveurs SMT". Alors, sont-ils des noms différents pour la même chose? Si vous dites qu'ils sont différents, veuillez signaler une …

10 terminology sat-solvers unification

Existe-t-il un algorithme général pour remplir les trous en termes de calcul des constructions?

Supposons que vous étendez le calcul des constructions avec des "trous" - c'est-à-dire des morceaux de code incomplets que vous n'avez pas encore remplis. Je me demande s'il existe un algorithme pour remplir ces rôles automatiquement. Par exemple (en utilisant la syntaxe de Morte ): Cas A: λ (pred : …

9 machine-learning programming-languages unification

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.