约翰·泰勒 马修·哈特利 通过推理到认知机器。 12-24 2007 2 IEEE计算。智力。美格。 三 https://doi.org/10.109/MCI.2007.385363 db/journals/cim/cim2.html#TaylorH07