填空题 基于规则的演绎系统主要有（）、（）和（）

填空题 一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）

填空题 人工智能研究的主要领域有（）、（）、（）、（）、（）和（）