Dit is de Windows-app genaamd SPINdle waarvan de nieuwste release kan worden gedownload als spindel_all__2.2.4.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app genaamd SPINdle gratis online uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start een OS OnWorks online emulator vanaf deze website, maar een betere Windows online emulator.
- 5. Ga vanuit het OnWorks Windows-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie en installeer deze.
- 7. Download Wine van de softwarebronnen voor Linux-distributies. Eenmaal geïnstalleerd, kunt u vervolgens dubbelklikken op de app om ze met Wine uit te voeren. Je kunt ook PlayOnLinux proberen, een mooie interface via Wine waarmee je populaire Windows-programma's en -games kunt installeren.
Wine is een manier om Windows-software op Linux uit te voeren, maar zonder dat Windows vereist is. Wine is een open-source Windows-compatibiliteitslaag die Windows-programma's rechtstreeks op elke Linux-desktop kan uitvoeren. In wezen probeert Wine genoeg van Windows opnieuw te implementeren, zodat het al die Windows-applicaties kan draaien zonder Windows echt nodig te hebben.
SCREENSHOTS
Ad
SPINdel
PRODUCTBESCHRIJVING
SPINdle is een logische redeneermachine die kan worden gebruikt om op efficiënte wijze de gevolgen van onhaalbare logische theorieën te berekenen. De huidige implementatie omvat zowel de fundamentele ongedaan te maken logica als de modale ongedaan te maken logica.
Voordelen
- Ondersteunt alle soorten regels van onhaalbare logica, zoals feiten, strikte regels, vernietigbare regels, verliezers en superioriteit.
- Ondersteunt Modal Defeasible Logics met modale operatorconversies.
- Ondersteunt ontkenning en conflicterende (elkaar uitsluitende) letterlijke waarden.
- Defeasible theorie kan worden weergegeven met behulp van XML en platte tekst (met vooraf gedefinieerde syntaxis), en een theorie en de uitbreiding ervan kunnen ook worden geëxporteerd met behulp van XML.
- Er is een visuele theorie-editor ontwikkeld voor het bewerken van standaard defeasible logica-theorie. (Zie de projectwoning voor meer informatie.)
Programmeertaal
Java
Categorieën
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/spindlereasoner/. Het is gehost in OnWorks zodat het op de eenvoudigste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.