人工智能中邏輯主義流派存在的主要障礙包括：（）

A.通常情況下邏輯推導的結果是不確定的。

B.利用邏輯進行推導的推導過程是復雜的。

C.原則上可解一個問題與實際上解決該問題是不同的。

D.獲取非形式的知識並用邏輯表示法要求的形式術語來陳述之是不容易的

正確答案：原則上可解一個問題與實際上解決該問題是不同的。

；獲取非形式的知識並用邏輯表示法要求的形式術語來陳述之是不容易的