单选题：‎从人工智能研究流派来看，西蒙和纽厄尔提出的“逻辑理论家”（LT）方法，应当属于（）