3 ms·Out of curiosity, what kind of GOFAI? Planning, SAT-Solving, automated theorem proving, search?by YeGoblynQueenne 2y agoOut of curiosity, what kind of GOFAI? Planning, SAT-Solving, automated theorem proving, search?