本研究探讨了非单调推理中的复杂性，分析了知识库中变量数量对推断问题的影响。我们提供了$ ext{Σ}^P_2$-和NP-及coNP-完全片段的积极结果，并首次展示了超越穷举搜索的$ ext{Σ}^P_2$-完全问题示例，同时提供了下界。

本研究分析大型语言模型在非单调推理中的能力和局限性，提出了基准测试，通过将可反驳规则转为文本形式，评估ChatGPT的推理表现，并与可反驳逻辑进行比较。