单项选择题

A.基于规则方法的符号派
B.形式逻辑系统
C.认知心理学
D.形式语言理论