Domande taggate «unification»

Perché l'unificazione è così importante per i motori di inferenza?

Sto imparando il teorema automatizzato Proving / risolutori SMT / Proof Assistants da solo e postando una serie di domande sul processo, a partire da qui . Continuo a leggere sull'algoritmo di unificazione . Che cos'è e perché è così importante per i motori di inferenza ? Perché è così …

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

Risolutore Unificazione vs. SAT

Ho letto su Wikipedia che l' unificazione è un processo per risolvere il problema della soddisfacibilità. Allo stesso tempo, so che tali solutori sono chiamati "solutori SAT" o "solutori SMT". Quindi, sono nomi diversi per la stessa cosa? Se dici che sono diversi, ti preghiamo di sottolineare un difetto nel …

10 terminology sat-solvers unification

Esiste un algoritmo generale per riempire i buchi in termini di calcolo delle costruzioni?

Supponi di estendere il calcolo delle costruzioni con "buchi", ovvero pezzi di codice incompleti che non hai ancora compilato. Mi chiedo se esiste un algoritmo per ricoprire automaticamente quei ruoli. Ad esempio (usando la sintassi di Morte ): Caso A: λ (pred : ?) -> λ (Nat : *) -> …

9 machine-learning programming-languages unification

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.