Pertanyaan yang diberi tag «unification»

Saya belajar Pembuktian Teorema Otomatis / Pemecah SMT / Asisten Bukti sendiri dan memposting serangkaian pertanyaan tentang prosesnya, mulai dari sini . Saya terus membaca tentang Algoritma Unifikasi . Apa itu dan mengapa begitu penting untuk Inference Engine ? Mengapa begitu penting bagi Ilmu Komputer?

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

Saya membaca di Wikipedia bahwa penyatuan adalah proses penyelesaian masalah kepuasan. Pada saat yang sama, saya tahu bahwa pemecah seperti itu disebut "pemecah SAT" atau "pemecah SMT". Jadi, apakah mereka berbeda nama untuk hal yang sama? Jika Anda mengatakan bahwa mereka berbeda, harap tunjukkan kesalahan dalam perawatan saya.

10 terminology  sat-solvers  unification 

Misalkan Anda memperpanjang Kalkulus Konstruksi dengan "lubang" - yaitu, potongan kode tidak lengkap yang belum Anda isi. Saya ingin tahu apakah ada algoritma untuk mengisi peran itu secara otomatis. Misalnya (menggunakan sintaksis Morte ): Kasus A: λ (pred : ?) -> λ (Nat : *) -> λ (Succ : Nat …

9 machine-learning  programming-languages  unification