目前，专家系统主要采用基于（）的知识表示和推理技术。