Name: Muat turun SPINdle untuk Linux
Brand: OnWorks
SKU: 8d3c80dd39e20bf9a1cfd2ca7571b9a1
Availability: OnlineOnly
Rating: 4.10 (2074 reviews)

Ini ialah apl Linux bernama SPINdle yang keluaran terbarunya boleh dimuat turun sebagai spindle_all__2.2.4.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.

Muat turun dan jalankan dalam talian apl bernama SPINdle ini dengan OnWorks 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.

Muat turun App Jalankan dalam Ubuntu Berlari di Fedora Jalankan dalam Windows Sim Jalankan dalam MACOS Sim

SKRIN

SPINdle

DESCRIPTION

SPINdle ialah penaakulan logik yang boleh digunakan untuk mengira akibat daripada teori logik yang boleh ditolak dengan cara yang cekap. Pelaksanaan semasa merangkumi kedua-dua logik boleh tolak asas dan logik boleh tolak modal.

Ciri-ciri

Menyokong semua jenis peraturan logik yang boleh dinafikan, seperti fakta, peraturan yang ketat, peraturan yang boleh dinafikan, penewas dan keunggulan.
Menyokong Modal Defeasible Logics dengan penukaran operator modal.
Menyokong literal penolakan dan bercanggah (saling eksklusif).
Teori yang boleh ditolak boleh diwakili menggunakan XML dan teks biasa (dengan sintaks yang telah ditetapkan), dan teori serta sambungannya juga boleh dieksport menggunakan XML.
Editor teori visual dibangunkan untuk menyunting teori logik yang boleh ditolak standard. (Sila rujuk rumah projek untuk butiran.)

Bahasa Pengaturcaraan

Java

Kategori

Kepintaran Buatan

Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/spindlereasoner/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.