规则推理从已知事实推导出未知信息；
Rule reasoning can deduce unknown information from known fact.
youdao
应用推荐
模块上移
模块下移
不移动