Problems of Symbolic AI