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

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

本文探讨了逻辑程序的稳定模型语义及其性质，提出了简洁的抽象表示方法，并扩展了第一阶稳定模型语义。研究了稳定模型与循环公式的关系，定义了新的稳定模型语言，以处理非单调推理和不确定性信息。