| 控制论逻辑 cybernetic logic 应用逻辑的一种。主要指关于自动机描述和研制中涉及的逻辑。控制论最早由美国维纳在《控制论》中提出，用来表示比较研究动物和机器中的控制和通讯的科学，后来被用于任何系统(包括工程技术系统、自然系统、社会系统、智能系统)。维纳强调数理逻辑在控制论中的基础作用。因为任何一种控制系统在从输出端接收反馈信息后，必须根据输出值和目标值的差，进行判断、推理，并据之作出决策，再将相应的信息再输入，从而进行调节、控制。于是就产生了与控制有关的逻辑概念、方法和系统，构成控制理论的逻辑。控制论逻辑起初涉及数理逻辑的基础部分和计算机硬件，以后又涉及可以给出算法的能行性理论，包括图灵机理论和递归函数论等。为了研究控制论中自动机的可靠性等问题，冯·诺伊曼研究了多端网络、概念逻辑，由于自动机要对智能进行模拟，单用演绎理论还不够，因此控制论逻辑还需归纳推理。60年代后，控制论得到广泛应用，渗透到生物学、生理学、化学、数学、工程技术、经济、哲学等领域，从而进入对复杂大系统的研究。为描述和处理这类系统的模糊性特点，美国数学家查德(Lotfi Asker Zadeh， 1921— )提出的模糊子集理论，导致了模糊语言、模糊推理、模糊逻辑、模糊算法的产生。相应地也出现了以“语句控制”为基础的模糊控制器。目前，控制论逻辑吸收了包括多种非标准逻辑(模态逻辑、内涵逻辑等)，应用逻辑(模糊逻辑)，现代归纳逻辑在内的逻辑理论，并逐步使它们成为控制论逻辑的组成部分。 |