法律推理的形式化是"建模不确定性"而非"消除不确定性"

早期法律AI追求的是将法律规则编码为精确的if-then语句，试图消除法律推理的不确定性。但作者指出，法律的不确定性（模糊概念、规则冲突、价值竞争）不是bug而是feature——它允许法律适应社会变化。因此，法律AI的正确方向是"建模"这种不确定性，而非消灭它。