In defense of hyper-logicist AI
Selmer Bringsjord, Michael John Zenzen · International Joint Conference on Artificial Intelligence · 1991
We argue for hyper-logicism, the view, hitherto unarticulated, that AI can succeed in creating a genuine robot agent by building a symbol system of the appropriate sort which has no sub-symbolic interaction whatsoever with the external world.