一种允许在推理过程中动态调整逻辑规则的系统，常用于人工智能、不确定性推理和非经典逻辑中。