在人工智能的发展历史中,整个80年代,专家系统和机器定理证明在全世界得到迅速发展。()

此题为判断题(对，错)。