To jest aplikacja dla systemu Linux o nazwie SPINdle, której najnowszą wersję można pobrać jako Spindle_all__2.2.4.zip. Można go uruchomić online w darmowym dostawcy usług hostingowych OnWorks dla stacji roboczych.
Pobierz i uruchom online tę aplikację o nazwie SPINdle z OnWorks za darmo.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
ZRZUTY EKRANU
Ad
Wrzeciono
OPIS
SPINdle to narzędzie do rozumowania logicznego, którego można używać do wydajnego obliczania konsekwencji niemożliwych do obalenia teorii logicznych. Bieżąca implementacja obejmuje zarówno podstawową logikę możliwą do wyłączenia, jak i logikę możliwą do wyłączenia modalnego.
Zakładka Charakterystyka
- Obsługuje wszystkie typy reguł logiki możliwej do obalenia, takie jak fakty, surowe reguły, reguły możliwe do obalenia, pokonywacze i wyższość.
- Obsługuje Modal Defeasible Logics z konwersjami operatorów modalnych.
- Obsługuje negację i sprzeczne (wzajemnie wykluczające się) literały.
- Teorię, którą można obalić, można przedstawić za pomocą XML i zwykłego tekstu (z predefiniowaną składnią), a teorię i jej rozszerzenie można również wyeksportować za pomocą XML.
- Edytor teorii wizualnej został opracowany do edytowania standardowej teorii logiki, której można się przeciwstawić. (Proszę odnieść się do domu projektu, aby uzyskać szczegółowe informacje.)
Język programowania
Java
Kategorie
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/spindlereasoner/. Został umieszczony w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.
