人工智能
逻辑理论家对人工智能的影响.