1956年之前，人工智能领域的三论不包括（）。