Ini adalah aplikasi Linux bernama Belief Reviser yang rilis terbarunya dapat diunduh sebagai BeliefReviser.zip. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan secara online aplikasi bernama Belief Reviser dengan OnWorks ini secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
SCREENSHOT:
Peninjau Keyakinan
DESKRIPSI:
Revisi keyakinan adalah topik sentral dalam representasi pengetahuan dan penalaran. Ini terdiri dari menggabungkan keyakinan baru, mengubah sesedikit mungkin
mungkin dari keyakinan asli sambil menjaga konsistensi.
Revisi selalu menganggap bukti baru sebagai keyakinan yang lebih baik. Bukti baru seperti itu biasanya
direpresentasikan dalam bentuk formula proposisi yang harus dipertahankan setelah
revisi.
Di sini, operator penggabungan keyakinan ps (PS-Merge) diperluas untuk mempertimbangkan kendala, dan ekstensi ini digunakan sebagai strategi untuk revisi keyakinan. Bukti baru diperlakukan sebagai kendala sehingga operator penggabungan yang diperluas dapat memperoleh basis keyakinan yang direvisi.
Fitur
- Revisi basis kepercayaan K terhadap bukti baru
- Konversi otomatis formula ke DNF
- Sederhana & ramah pengguna
- Platform independen
Para penonton
Sains/Penelitian, Pendidikan
User interface
Ayunan Jawa
Bahasa Pemrograman
Jawa
Kategori
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/beliefreviser/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.