这是名为 frdcsa 的 Windows 应用程序，其最新版本可以下载为 frdcsa-panoply-git-20200329.tgz。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 frdcsa 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从本网站启动任何 OS OnWorks 在线模拟器，但更好的 Windows 在线模拟器。
- 5. 从您刚刚启动的 OnWorks Windows 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序并安装。
- 7. 从您的 Linux 发行版软件存储库下载 Wine。 安装后，您可以双击该应用程序以使用 Wine 运行它们。 您还可以尝试 PlayOnLinux，这是 Wine 上的一个花哨界面，可帮助您安装流行的 Windows 程序和游戏。
Wine 是一种在 Linux 上运行 Windows 软件的方法，但不需要 Windows。 Wine 是一个开源的 Windows 兼容层，可以直接在任何 Linux 桌面上运行 Windows 程序。 本质上，Wine 试图从头开始重新实现足够多的 Windows，以便它可以运行所有这些 Windows 应用程序，而实际上不需要 Windows。
SCREENSHOTS
Ad
FRDCSA
商品描述
首次发布长达 20 年的免费/自由人工智能系统。 项目由两个分支组成：FRD - 用于自动定理证明，和 CSA - 用于通用软件。 另一个维度是软件是否被收集和/或编写。 FRDCSA 采用这两种方法。 一般来说，FRDCSA 是多策略的。 例如，同时使用符号技术和联结主义技术。 目标是最大化问题解决能力/证明理论能力。 将计算机视为正式的数学系统。 因此与图灵和费弗曼的完备性定理有关。 发布的版本 (Panoply-Git) 必须经过编辑和过时。 在一些帮助下，可以发布更新的版本。 附带早期版本的 Free Life Planner，这是一个基于 Prolog 的系统，可帮助您管理自己的生活。 许多 (89) 其他系统，除了外部和 git 代码库外，由于空间原因大多不包括在内，但 RADAR 允许您收集它们。 稍后将在帮助下发布。
特征
- 人工智能
- 软件工程
- 软件集团
- 计划、调度和执行
- GNU / Linux的
- 虚拟机
- 自动定理证明
分类目录
这是一个也可以从 https://sourceforge.net/projects/frdcsa/ 获取的应用程序。 它已托管在 OnWorks 中，以便从我们的免费操作系统之一以最简单的方式在线运行。
