A Variable-Centric Framework for Handling Inconsistencies (Extended Version)

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

本文提出了一种新的语法框架,分析和处理命题基础中的不一致性,重点研究变量出现与冲突的关系。引入最小不一致关系(MIR)和最大一致关系(MCR)以捕捉冲突,并通过调整命题基础恢复一致性,提高了对被忽视冲突的识别能力。

🏷️

标签

➡️

继续阅读