ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ SPINdle ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ spindle_all__2.2.4.zip. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີສໍາລັບບ່ອນເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ SPINdle ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
ໜ້າ ຈໍ
Ad
spindle
ລາຍລະອຽດ
SPINdle ແມ່ນຕົວຊີ້ບອກເຫດຜົນທີ່ສາມາດຖືກໃຊ້ເພື່ອຄິດໄລ່ຜົນຂອງທິດສະດີເຫດຜົນທີ່ຫຼົງໄຫຼໄດ້ຢ່າງມີປະສິດທິພາບ. ການປະຕິບັດໃນປະຈຸບັນກວມເອົາທັງເຫດຜົນພື້ນຖານ defeasible ແລະເຫດຜົນ defeasible modal.
ຄຸນລັກສະນະ
- ສະຫນັບສະຫນູນທຸກປະເພດກົດລະບຽບຂອງເຫດຜົນ defeasible, ເຊັ່ນ: ຄວາມຈິງ, ກົດລະບຽບທີ່ເຄັ່ງຄັດ, ກົດລະບຽບ defeasible, defeaters ແລະດີກວ່າ.
- ຮອງຮັບ Modal Defeasible Logics ດ້ວຍການແປງຕົວປະຕິບັດການ modal.
- ສະຫນັບສະຫນູນການລົບລ້າງແລະການຂັດແຍ່ງກັນ (ແຕ່ລະຄົນ) ຕົວຫນັງສື.
- ທິດສະດີ Defeasible ສາມາດຖືກສະແດງໂດຍໃຊ້ XML ແລະຂໍ້ຄວາມທໍາມະດາ (ມີ syntax ທີ່ກໍານົດໄວ້ກ່ອນ), ແລະທິດສະດີແລະການຂະຫຍາຍຂອງມັນຍັງສາມາດຖືກສົ່ງອອກໂດຍໃຊ້ XML.
- ບັນນາທິການທິດສະດີສາຍຕາຖືກພັດທະນາເພື່ອແກ້ໄຂທິດສະດີຕາມເຫດຜົນມາດຕະຖານທີ່ຜິດກົດໝາຍ. (ກະລຸນາອ້າງອີງເຖິງເຮືອນໂຄງການສໍາລັບລາຍລະອຽດ.)
ພາສາການຂຽນໂປຣແກຣມ
Java
ປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/spindlereasoner/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.
