Aceasta este aplicația Linux numită SPINdle a cărei ultimă versiune poate fi descărcată ca spindle_all__2.2.4.zip. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită SPINdle cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
SCREENSHOTS
Ad
Ax
DESCRIERE
SPINdle este un raționator logic care poate fi folosit pentru a calcula consecințele teoriilor logice care pot fi anulate într-un mod eficient. Implementarea actuală acoperă atât logica de bază care poate fi anulată, cât și logica modală.
Categorii
- Sprijină toate tipurile de reguli de logica înfrângabilă, cum ar fi faptele, regulile stricte, regulile anulabile, învinșii și superioritatea.
- Sprijină logica modală dezactivată cu conversii ale operatorului modal.
- Sprijină negația și literalele conflictuale (se exclud reciproc).
- Teoria care poate fi anulată poate fi reprezentată folosind XML și text simplu (cu sintaxă predefinită), iar o teorie și extensia ei pot fi, de asemenea, exportate folosind XML.
- Un editor de teorie vizuală este dezvoltat pentru editarea teoriei logice defeasible standard. (Vă rugăm să consultați casa proiectului pentru detalii.)
Limbaj de programare
Java
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/spindlereasoner/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.
