Esta es la aplicación de Linux llamada frdcsa para ejecutarse en Linux en línea, cuya última versión se puede descargar como frdcsa-panoply-git-20200329.tgz. 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 frdcsa para ejecutar en Linux en línea con 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.
CAPTURAS DE PANTALLA:
frdcsa para ejecutar en Linux en línea
DESCRIPCIÓN:
Primera versión de 20 años de duración del sistema de inteligencia artificial libre / libre. El proyecto consta de dos puntas: FRD, para la demostración automatizada de teoremas, y CSA, para software de propósito general. Otra dimensión es si el software se recopila y / o se escribe. FRDCSA adopta ambos enfoques. En general, FRDCSA es multiestrategia. Por ejemplo, utiliza tecnologías simbólicas y conexionistas. El objetivo es maximizar la capacidad de resolución de problemas / capacidad de teoría de la prueba. Considera las computadoras como sistemas matemáticos formales. Por tanto, relacionado con los teoremas de completitud de Turing y Feferman. La versión publicada (Panoply-Git) está necesariamente redactada y desactualizada. Con algo de ayuda, podría lanzar una versión más actualizada. Viene con una versión inicial de Free Life Planner, un sistema basado en Prolog para ayudarlo a administrar su vida. Muchos (89) otros sistemas, excepto las bases de código externas y git, en su mayoría no están incluidos debido al espacio, pero RADAR le permite recopilarlos. Se lanzará más tarde con ayuda.Caracteristicas
- Inteligencia Artificial
- Ingeniería de Software
- Conglomeración de software
- Planificación, programación y ejecución
- GNU / Linux
- Máquina virtual
- Demostración automatizada de teoremas
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/frdcsa/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.