ProCompNav：用比较判断实现模糊用户查询下的主动实例导航

ProCompNav 是一个两阶段框架，先构建候选池，再通过递归比较判断（RCJ）迭代缩小范围：选择能区分候选的属性-值对，向用户提出二选一问题并剔除不一致候选，无需目标独有属性。在交互式导航基准上，它大幅提升成功率并缩短用户回复长度，在非交互式基准上取得所评估方法中最高的成功率。两项人类研究显示，参与者更偏好其二选一问题及批量交付方式。