FORMAL ARTIFICIAL INTELLIGENCE INSTITUTE

Formal AI is a kind of computer programming, and, as a result of this, it will never be limited to any one set of approaches. This flexibility opens up the potential for the highest possible efficiency, as formal AI will be able to target any computing device or platform we can ever physically realize.

Also known as: Formal AI, Formal Artificial Intelligence Institute, Inc.