[论文解读] Sequential Thresholds: Context Sensitive Default Extensions

Choh Man Teng|arXiv (Cornell University)|Feb 6, 2013

Logic, Reasoning, and Knowledge参考文献 21被引用 3

一句话总结

本文提出序列阈值化作为默认逻辑的上下文敏感扩展，建模了推理如何随上下文变化而动态演进。通过将上下文依赖的阈值整合到非单调推理中，该方法为常识推理提供了一个更灵活、更现实的框架，形式化地连接了默认逻辑与上下文感知推理机制，增强了在动态推理环境中的语义表达力与适应性。

ABSTRACT

Default logic encounters some conceptual difficulties in representing common sense reasoning tasks. We argue that we should not try to formulate modular default rules that are presumed to work in all or most circumstances. We need to take into account the importance of the context which is continuously evolving during the reasoning process. Sequential thresholding is a quantitative counterpart of default logic which makes explicit the role context plays in the construction of a non-monotonic extension. We present a semantic characterization of generic non-monotonic reasoning, as well as the instantiations pertaining to default logic and sequential thresholding. This provides a link between the two mechanisms as well as a way to integrate the two that can be beneficial to both.

研究动机与目标

• 解决在动态、演化的上下文中建模常识推理时，传统默认逻辑存在的概念性局限。
• 开发一种定量的、上下文敏感的替代方案，作为不假设普遍适用性的传统默认规则的补充。
• 形式化一个通用非单调推理的语义框架，整合默认逻辑与序列阈值化。
• 建立默认逻辑与序列阈值化之间的原则性整合，实现推理系统中相互受益。
• 提供一种机制，使推理扩展在推理过程中对上下文演化保持敏感。

提出的方法

• 提出序列阈值化作为默认逻辑的定量对应物，其中规则应用的阈值根据上下文动态调整。
• 提出一种非单调推理的语义表征，明确建模推理过程中上下文的演化。
• 定义一种构建非单调扩展的机制，其中规则的适用性取决于上下文更新后的阈值。
• 使用正式框架通过共享的语义原则将默认逻辑与序列阈值化联系起来。
• 采用动态评估过程，使上下文影响每一步推理中哪些默认被触发。
• 将该框架应用于实例化默认逻辑环境中的上下文敏感推理，实现自适应推理。

实验结果

研究问题

• RQ1 如何扩展默认逻辑以在推理过程中考虑上下文演化？
• RQ2 何种形式化机制可实现在非单调推理中对上下文敏感的规则应用？
• RQ3 如何将序列阈值化与默认逻辑整合，以提升推理的适应性？
• RQ4 何种语义特性可确保上下文敏感的非单调扩展具有一致性与表达力？
• RQ5 上下文感知的阈值化在建模常识推理方面相较于传统默认逻辑有何改进？

主要发现

• 序列阈值化为默认逻辑提供了一种正式的、上下文敏感的替代方案，能更好地建模现实世界推理的动力学。
• 该框架通过共享的语义表征，成功地将默认逻辑与序列阈值化整合在一起。
• 上下文演化被显式建模，使推理能够随着新信息的引入而自适应调整。
• 该方法通过使规则应用依赖于演化的上下文阈值，实现了更真实的非单调扩展。
• 该方法在处理不确定、依赖上下文的推理任务时，相较于标准默认逻辑表现出更强的表达力。
• 本文为在动态环境中结合定性默认推理与定量阈值化奠定了理论基础。