条件分支是最基本的程序结构。计算机诞生后，人们使用条件分支开发了问答系统。基于规则的系统（简称规则系统）会利用条件分支来判断用户输入的数据。20 世纪 50 年代以后逐渐发展出包含推理机和知识库（knowledge base）的专家系统，其中推理机能够匹配知识库中的规则自动分析输入的数据，而知识库采用了外部存储设备来存储规则方面的设定。本章，笔者将对这些内容进行说明。
