单项选择题

将现实世界问题用适当的符号来表达出来,在人工智能课程中被称为()。

A.形式化
B.规范化
C.范式化
D.抽象化