人工智能在煤矿机器人中的应用