控制论逻辑

出处：按学科分类—社会科学总论 中国青年出版社《社会科学学科辞典》第143页（630字）

研究与控制论有关的逻辑概念、方法和系统的理论。

控制论是关于对系统进行控制和通讯的科学，是关于自动机的一般理论，它的出现为制造各种自动机和控制机、改善通讯和交通运输、实行科学管理等开辟了新的途径，也推动了逻辑科学的发展。控制论逻辑主要是指与描述和研究自动机有关的逻辑理论和方法，包括电路开关理论、神经网络模型、有限自动机理论，这与计算机硬件有关。目前，自动机、计算机限于描述和处理具有能行性的、即可以给出确定算法的对象，故它包括图灵机理论和递归函数理论。

无限自动机理论是控制论逻辑中的重要组成部分，它与计算机软件密切相关。

控制论逻辑最初受到重视得力于控制论的奠基人维纳。由于电子计算机在进行智能模拟时必须进行相应的判断与推理，这就使得数理逻辑成为控制论的基础。维纳正是看到了逻辑对于控制论所起的作用。在这一理论的早期发展中，麦卡恪克、匹茨等人作了一些研究。

乔姆斯基的转换——生成语法问世后，人们通过对数理逻辑与数理语言学的研究，深刻揭示出计算机硬件、软件与形式语言的内在联系。在50年代，冯·诺意曼对概念逻辑、多端网络等进行研究，提出自动机要对人工智能进行模拟，须包括演绎和归纳理论。60年代查德的模糊集理论提出后，相应地出现了以语句控制为基础的模糊控制器。为了模拟复杂的智能系统，多种非标准逻辑得到迅速发展。