1. (2022高二下·温州期末) 有如下推理过程：

只有通过今年6月的技术学考才可以参加明年1月份的技术选考（大前提）

小明没有通过今年6月份的技术学考（小前提）

小明不可以参加明年1月份的技术选考（结论）

采用上述方式研究并实现人工智能的方法称为（   ）