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

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