国际标准期刊号: 2090-4924
保罗·罗基
人工智能(AI)通常被定义为制造智能机器的科学和工程。人工智能专家并不局限于实践,也不对智能的本质提出质疑。为了赢得这一智力和科学挑战,人工智能专家应该得到坚实的理论基础的支持,特别是理论计算机科学(TCS)应该提供探索机器先进特性所需的概念。不幸的是,这种支持似乎不足以满足范围。TCS 通过形式理论来说明计算机系统的各个方面,尽管这些理论是狭隘的、不连贯的和抽象的。当计算机和大脑的观点被证明是支离破碎且不充分的时候,人工智能专家如何回答有关智能的深刻问题?作为一种假设,统一的科学理论如何从一个简单的概念开始,并通过推理过程详细说明该领域发生的所有现象。该理论逐步证明了技术成就和自然事件的合理性。例如,力学是引入速度概念的统一知识体系。然后专家们从中推导出加速度的概念,进而推导出力、功、能量等的概念。一组相互关联的结论阐明了整个领域,并通过演绎推理解开了任何难题。工程和科学的理论建构的结构与哲学无关。保持前进的框架,