>>todsac+(OP)
For me, the futility of GOFAI is obvious from simple introspection: is my own brain capable of chaining through vast networks of propositional statements? I wish! I can barely hold a 5 node decision tree in my head while playing a board game. At the same time, my brain is amazingly good at parsing visual and linguistic stimuli.
Still, you have to respect the man's dedication to his quixotic quest.