We are creating a large repository of FLOSS AI software that solves problems which affect people through the Free Life Planner and FRDCSA projects. We are making OS packages for external and internal software that employ symbolic AI (Prolog/OpenCYC/etc) and connectionist AI (ML/DL/NN), to solve computational problems. Our goal is to use logic to solve planning problems - to treat the world as a "game" and then win that game by proving that bad things don't happen to people.
https://github.com/aindilis/flp/blob/main/ReferenceManual.md
https://github.com/aindilis/flp/
https://altruisticsoftware.org/frdcsa/
https://app.vagrantup.com/aindilis/
https://frdcsa.org/~andrewdo/
https://facebook.com/frdcsa/
https://github.com/aindilis/
https://github.com/aindilis/frdcsa-installer/
https://github.com/aindilis/frdcsa-panoply-git-20200329/
https://frdcsa.org/~andrewdo/writings/benefits-of-making-packages.html
https://frdcsa.org/~andrewdo/ontolog-20220410-reduced.mp4
Features
- Life Planning
- Artificial Intelligence
- Planning, Scheduling and Execution
- Virtual Machine
- Software Engineering
- Software Conglomeration
- Automated Theorem Proving
- GNU/Linux