计算机 符号主义 生命符号系统 形式化 国际象棋 人工智能