人工智能中逻辑主义流派存在的主要障碍包括: ( )
·利用逻辑进行推导的推导过程是复杂的。
·通常情况下逻辑推导的结果是不确定的。
·获取非形式的知识并用逻辑表示法要求的形式术语来陈述之是不容易的
·原则上可解一个问题与实际上解决该问题是不同的。