自适应逻辑系统(Adaptive logic system，简称ALS)是这样一种控制系统，它能够修正自己的特性以适应对象和扰动的动特性的变化。这种自适应控制方法可以做到：在系统运行中，依靠不断采集控制过程信息，确定被控对象的当前实际工作状态，优化性能准则，产生自适应控制规律，从而实时地调整控制器结构或参数，使系统始终自动地工作在最优或次最优的运行状态。自适应逻辑系统(adaptive logic system，简称ALS)并不是通常意义上的逻辑系统，而是一个形式化的证明框架。自适应逻辑的主要特点是它能够灵活地适应具体的前提集合，根据特定的异常标准“尽可能正常地”解释前提集合，为被解释的推理过程界定一种后承关系。其动态证明使其成为刻画可废止推理的一个有效工具。