Esta es la aplicación de Linux llamada SPINdle cuya última versión se puede descargar como spindle_all__2.2.4.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada SPINdle with OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
Huso
DESCRIPCIÓN
SPINdle es un razonador lógico que se puede utilizar para calcular la consecuencia de teorías lógicas anulables de manera eficiente. La implementación actual cubre tanto la lógica anulable básica como la lógica anulable modal.
Caracteristicas
- Admite todo tipo de reglas de lógica anulable, como hechos, reglas estrictas, reglas anulables, derrotadores y superioridad.
- Admite lógicas anulables modales con conversiones de operadores modales.
- Admite la negación y los literales en conflicto (mutuamente excluyentes).
- La teoría anulable se puede representar utilizando XML y texto sin formato (con sintaxis predefinida), y una teoría y su extensión también se pueden exportar utilizando XML.
- Se desarrolla un editor de teoría visual para editar la teoría lógica anulable estándar. (Consulte la casa del proyecto para obtener más detalles).
Lenguaje de programación
Java
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/spindlereasoner/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
