研究人员改进了 Gelfond 理性原则，为非单调逻辑编程中的答案集语义开发了更全面的基础原则。该研究质疑了最小模型属性、约束单调性和基础性的强制性，认为它们可能过于严格。提出了新的良好支持性、关于默认否定最小化和关于认知否定最小化的原则，以确保答案集是可构造的并最小化知识。 AI
影响 为答案集语义提出了新的理论基础，可能影响声明式问题解决方法。
排序理由 这是一篇发表在 arXiv 上的研究论文，详细介绍了答案集语义方面的理论进展。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
