单项选择题

人工智能中用到的逻辑可以概括地分为两大类:一类是经典逻辑和(),另一类是泛指除经典逻辑外的那些逻辑。

A.一阶谓词逻辑
B.模态逻辑
C.时态逻辑
D.二阶谓词逻辑