Ini adalah aplikasi Linux bernama SPINdle yang rilis terbarunya dapat diunduh sebagai spindle_all__2.2.4.zip. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan secara online aplikasi bernama SPINdle 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.
Tangkapan layar
Ad
Poros
DESKRIPSI
SPINdle adalah penalaran logika yang dapat digunakan untuk menghitung konsekuensi dari teori logika yang dapat ditolak secara efisien. Implementasi saat ini mencakup logika defeasible dasar dan logika defeasible modal.
Fitur
- Mendukung semua jenis aturan logika defeasible, seperti fakta, aturan ketat, aturan defeasible, pengalah dan superioritas.
- Mendukung Logika Modal Defeasible dengan konversi operator modal.
- Mendukung negasi dan literal yang saling bertentangan (saling eksklusif).
- Teori defeasible dapat direpresentasikan menggunakan XML dan teks biasa (dengan sintaks yang telah ditentukan sebelumnya), dan teori dan ekstensinya juga dapat diekspor menggunakan XML.
- Editor teori visual dikembangkan untuk mengedit teori logika defeasible standar. (Silakan merujuk ke rumah proyek untuk detailnya.)
Bahasa Pemrograman
Jawa
KATEGORI
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/spindlereasoner/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.
