[论文解读] Case Adaptation with Qualitative Algebras

Valmi Dufour-Lussier, Florence Le Ber+2 more|arXiv (Cornell University)|Oct 10, 2013

Constraint Satisfaction and Optimization参考文献 19被引用 5

一句话总结

本文提出一种基于修订的案例适应方法，用于处理空间和时间案例，采用诸如Allen时序演算和RCC8等定性代数。通过将源案例中的映射关系应用于目标案例，并利用信念修订技术修复定性关系中的不一致，该方法成功实现了时间动作的重新排序与重新缩放——在烹饪领域示例中，调整并重新排序了蔬菜与米饭的烹饪时间，以满足领域约束。

ABSTRACT

This paper proposes an approach for the adaptation of spatial or temporal cases in a case-based reasoning system. Qualitative algebras are used as spatial and temporal knowledge representation languages. The intuition behind this adaptation approach is to apply a substitution and then repair potential inconsistencies, thanks to belief revision on qualitative algebras. A temporal example from the cooking domain is given. (The paper on which this extended abstract is based was the recipient of the best paper award of the 2012 International Conference on Case-Based Reasoning.)

研究动机与目标

• 解决案例推理（CBR）中空间与时间案例适应的未充分探索挑战，特别是当源案例与目标案例涉及冲突或不一致的时间约束时。
• 将定性代数（如Allen时序演算）作为形式化表示手段，用于在CBR系统中编码时间与空间知识，以支持不确定性和不完整信息下的推理。
• 通过结合替换映射与信念修订，实现一致的案例适应，以解决由领域知识与目标约束引发的不一致。
• 在真实世界场景中（具体为具有冲突时间与顺序要求的烹饪食谱适应）验证该方法的可行性与有效性。
• 提供一个形式化且可实现的基于修订的适应框架，确保与领域知识的一致性，同时最小化对源案例的修改。

提出的方法

• 使用定性代数（如Allen的区间代数）表示源案例与目标案例，以编码诸如'之前'、'衔接'、'重叠'和'等于'等时间关系。
• 定义一个替换σ，将源案例中的描述符映射到目标案例（如'mushroom' → 'carrot'），作为适应过程的输入。
• 将适应形式化为信念修订：AdaptedCase = (DK ∧ Source) ⊕ (DK ∧ Target)，其中⊕为修订算子，确保与领域知识DK的一致性。
• 应用基于距离的修订算子（如基于模型距离），计算对源案例的最小修改，优先选择最接近原始源案例的模型。
• 采用约束满足方法计算修订后所有一致的情景，仅在DK中不重要的关系上进行区分（如'serve'与烹饪动作之间的相对关系）。
• 使用Perl实现算法，并通过Java绑定调用，应用于包含持续时间约束与顺序要求的烹饪示例。

实验结果

研究问题

• RQ1 定性代数在案例推理系统中如何被有效用于表示与推理时间与空间关系？
• RQ2 信念修订算子在多大程度上可被调整，以修复在定性时间与空间表示中由案例替换引发的不一致？
• RQ3 基于修订的适应框架能否成功实现食谱中动作的重新排序与缩放，同时保持与领域知识和用户约束的一致性？
• RQ4 在将定性推理与CBR适应相结合时，其主要挑战是什么？这些挑战能否通过正式的修复机制得以缓解？
• RQ5 与依赖绝对时间戳或事件序列的现有CBR方法相比，该方法在表达力与一致性方面有何优势？

主要发现

• 所提方法在食谱适应任务中成功实现了烹饪动作的重新排序与重新缩放，将源案例中‘蘑菇在上菜前2分钟加入’的设定，转换为一个有效案例，即‘胡萝卜煮25分钟，并在米饭之前加入’。
• 修订算法生成了两个一致的情景，仅在‘上菜’与其他动作之间的关系上存在差异，这证实了核心适应过程的稳健性与最小性。
• 关键变化在于蔬菜与米饭烹饪时间关系的反转：从‘烹饪(rice) 在 烹饪(carrot) 之前’变为‘烹饪(carrot) 在 烹饪(rice) 之前’，从而满足25分钟的要求。
• 适应过程正确识别出原始源案例的时间安排与领域知识不一致（胡萝卜需25分钟，米饭仅需18分钟），并通过最小修改完成修复。
• Perl实现证明了方法的可行性，尽管性能被指出较慢，需进一步优化以集成到Taaable等实际系统中。
• 该方法在处理不完整、上下文相关且定性的领域知识（在农学与烹饪应用中常见）方面表现出色，通过结合替换与正式的不一致修复机制，实现了有效适应。