Ini ialah apl Linux bernama Belief Reviser yang keluaran terbarunya boleh dimuat turun sebagai BeliefReviser.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama Belief Reviser dengan OnWorks ini secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
SKRIN:
Penyemak Akidah
HURAIAN:
Semakan kepercayaan adalah topik utama dalam perwakilan pengetahuan dan penaakulan. Ia terdiri daripada memasukkan kepercayaan baru, berubah sesedikit pun
kemungkinan kepercayaan asal sambil mengekalkan konsistensi.
Semakan sentiasa menganggap bukti baharu sebagai kepercayaan yang lebih baik. Bukti baru seperti itu biasanya
diwakili dalam bentuk formula cadangan yang mesti dipelihara selepas
ulang kaji.
Di sini, pengendali penggabungan kepercayaan Δps (PS-Merge) dilanjutkan untuk mempertimbangkan kekangan, dan sambungan ini digunakan sebagai strategi untuk semakan kepercayaan. Bukti baharu dianggap sebagai kekangan supaya pengendali penggabungan lanjutan boleh mendapatkan asas kepercayaan yang disemak semula.
Ciri-ciri
- Semakan asas kepercayaan K terhadap bukti baharu μ
- Penukaran automatik formula kepada DNF
- Mudah & mesra pengguna
- Platform bebas
Penonton
Sains/Penyelidikan, Pendidikan
Antaramuka pengguna
Java Swing
Bahasa Pengaturcaraan
Java
Kategori
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/beliefreviser/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.