原名:GNU/Linux AI & Alife HOWTO by John Eikenberry 出版时间:
2006
页码:
206
本指南主要包含有关在 GNU/Linux 平台上运行的各种 AI 相关软件库、应用程序等的信息和链接。所有这些（至少）都是免费供个人使用的。本文档的新母版页是 http://zhar.net/howto/ 作品摘录:ic 和符号约束。这两个级别共同增强了 Common Lisp，几乎具有 Prolog 和约束逻辑编程语言（例如 CHiP 和 CLP(R)）的所有功能。此外，Screamer 与 Common Lisp 完全集成。 Screamer 程序可以与 Common Lisp 的其他扩展（例如 CLOS、CLIM 和 Iterate）共存和互操作。
SPASS
· 网站：spass.mpi-sb.mpg.de
SPASS：具有等式的一阶逻辑的自动定理证明器
如果您对一阶逻辑定理证明、软件、系统、协议的形式化分析、人工智能规划的形式化方法、决策程序、模态逻辑定理证明感兴趣，SPASS 可能会为您提供合适的功能。
思想宝库
· 网站：www.signiform.com/tt/htm/tt.htm
ThoughtTreasure 是一个创建用于任何应用程序的常识规则数据库的项目。它由一个包含略多于 100K 规则的数据库和一个 C API 组成积分
资源下载
VIP免费升级VIP
