只有通过今年6月的技术学考才可以参加明年1月份的技术选考(大前提)
小明没有通过今年6月份的技术学考(小前提)
小明不可以参加明年1月份的技术选考(结论)
采用上述方式研究并实现人工智能的方法称为( )