单项选择题

A.智能判定原则
B.图灵机
C.可计算理论
D.知识工程