单项选择题

()是专家系统的理论基础。

A、知识表示
B、语义网络
C、知识库
D、数据库