阿尔法狗是第一个击败人类职业围棋选手、第一个战胜围棋世界冠军的人工智能程序，它的主要原理是 。