Apakah masalah "kehadiran pesta" dapat dipecahkan dalam Prolog? Sebagai contoh: Burdock Muldoon dan Carlotta Pinkstone berkata bahwa mereka akan datang jika Albus Dumbledore datang. Albus Dumbledore dan Daisy Dodderidge keduanya mengatakan mereka akan datang jika Carlotta Pinkstone datang. Albus...
Jika saya memiliki masalah, satu pendekatan standar adalah untuk menyatakannya sebagai instance SAT dan mencoba menjalankan solver SAT di atasnya. Pendekatan standar lain adalah untuk menyatakannya sebagai masalah kepuasan kendala, dan coba gunakan pemecah CSP. Keduanya terasa agak mirip dalam...
Pertimbangkan model CSP di mana mengubah nilai variabel tertentu itu mahal. Apakah ada pekerjaan di mana fungsi objektif juga mempertimbangkan jumlah perubahan nilai variabel selama proses pencarian? Contoh: Variabel mahal-untuk-perubahan mungkin ada dalam kendali beberapa agen lain dan ada...
Kami diberi himpunan dari Fruits. Setiap Buah memiliki harga dan kandungan vitamin ; kami menghubungkan buah dengan pasangan yang dipesan . Sekarang kita harus mengatur buah-buahan ini sedemikian rupa sehingga daftar yang diurutkan berisi harga dalam urutan menaik dan kandungan vitamin dalam urutan...
Kepuasan umum (dengan beberapa pengecualian seperti Klausa Tanduk) tidak diyakini memiliki solusi algoritmik. Namun, algoritma berikut tampaknya menjadi solusi untuk kepuasan umum. Apa sebenarnya cacat dengan algoritma berikut? Membiarkan WWW menjadi set kosong yang akan berisi semua variabel...