标签
本文研究了描述逻辑DL-Lite家族的理性闭包，提供了一种插件架构，用于高效的非单调推理和合取查询回答，且计算开销最小。
本文通过实证测试了“更结构化的控制（harness）能普遍提高LLM智能体可靠性”这一常见假设，发现不同模型层级间存在非单调关系。它引入了HEAT-24基准，并揭示了严格的控制可能会损害前沿聊天模型，但有利于推理模型。