以下对传统知识工程的描述，哪些是正确的？

以下对传统知识工程的描述，哪些是正确的？
A、数学定理证明属于传统知识工程的应用
B、一种典型的自上而下的构建专家知识
C、需要领域专家和知识工程师的参与
D、不依赖于专家干预，知识获取毕竟容易
正确答案：数学定理证明属于传统知识工程的应用|一种典型的自上而下的构建专家知识|需要领域专家和知识工程师的参与