Want access to these systems? Help me release them by signing up to the mailinglist...
The FRDCSA project is an advanced Artificial Intelligence created by automatically scouring the web for advanced AI systems, retrieving and packaging them for various operating systems, and finally building upon these packages. Incidentally, many systems not considered to be AI are also necessary as part of the operating system infrastructure.
FRDCSA was originally two projects, FRD and CSA. FRD stands for Formalized Research Database. It was created as an attempt to fuze all publicly available mathematical knowledge into one store, as this has many practical and theoretical benefits. CSA stands for Cluster, Study and Apply, and is a similar effort to conglomerate useful software. The projects merged when it became apparent that proof systems and programs are equivalent (Curry-Howard Isomorphism).
In attempting to develop practical artificial intelligence systems, one methodology is the symbolic systems approach. When I encountered Goedel's incompleteness theorem, rather than perceive it as the bane of symbolic AI, I took it to be the cornerstone. It yields us important information about theorem provers, namely, that for any given proof system, there exists a larger, more powerful system, and that proof systems under a certain size will find it impossible to solve certain problems. The advantage in knowing this is that it can act as a heuristic for the selection of increasingly capable proof systems and motivates the strategy of software conglomeration, which evidently was not taken to the fullest advantage.
What is the FRDCSA?
"FRDCSA" stands for "Formalized Research Database: Cluster, Study and Apply".
Cluster: The FRDCSA is a large collection of software (codebases) that is actively maintained and expanded using a variety of methods (see RADAR Internal Codebase ).
Study: Depending on licensing, packages or installers are semi-automatically created for each codebase. (see Packager Internal Codebase )
Apply: Packaged systems are then used to solve existing problems. (see Architect Internal Codebase )
The archive can be accessed either manually, or preferably, if you have "apt", by adding the following line to the /etc/apt/sources.list file:
deb http://frdcsa.onshore.net/debian/ unstable/