frdcsa:正式的研究数据库：集群，研究和应用-开源

20年免费/自由人工智能系统的第一个版本。 该项目包含两个分支：FRD（用于自动定理证明）和CSA（用于通用软件）。 另一个方面是软件是否被收集和/或编写。 FRDCSA采取两种方法。 通常，FRDCSA是多策略的。 例如，同时使用符号技术和连接主义技术。 目标是最大化解决问题的能力/证明理论的能力。 将计算机视为正式的数学系统。 因此与图灵和费弗曼的完备性定理有关。 已发布的版本（Panoply-Git）必须已编辑且已过时。 在某些帮助下，可以发布更新的版本。 随附Free Life Planner的早期版本，这是一个基于Prolog的系统，可帮助您管理生活。 由于空间的原因，除外部和git代码库外，很多其他（89）系统都不包括在内，但是RADAR允许您收集它们。 稍后将在帮助下发布。