符号人工智能，力图用数学逻辑解决通用问题