Ito ang Linux app na pinangalanang SPINdle na ang pinakabagong release ay maaaring ma-download bilang spindle_all__2.2.4.zip. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang SPINdle sa OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA LALAKI
Ad
SPINdle
DESCRIPTION
Ang SPINdle ay isang logic reasoner na maaaring magamit upang makalkula ang kahihinatnan ng mga defeasible logic theories sa isang mahusay na paraan. Ang kasalukuyang pagpapatupad ay sumasaklaw sa parehong pangunahing defeasible logic at modal defeasible logic.
Mga tampok
- Sinusuportahan ang lahat ng mga uri ng panuntunan ng defeasible logic, tulad ng katotohanan, mahigpit na panuntunan, defeasible na panuntunan, mga talunan at superiority.
- Sinusuportahan ang Modal Defeasible Logics na may mga conversion ng modal operator.
- Sinusuportahan ang negasyon at magkasalungat (mutual exclusive) na literal.
- Maaaring ilarawan ang defeasible theory gamit ang XML at plain text (na may paunang natukoy na syntax), at ang teorya at ang extension nito ay maaari ding i-export gamit ang XML.
- Ang isang visual theory editor ay binuo para sa pag-edit ng standard na defeasible logic theory. (Mangyaring sumangguni sa tahanan ng proyekto para sa mga detalye.)
Wika ng Programming
Java
Kategorya
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/spindlereasoner/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
