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