标签
该研究将人工智能开发建模为一个转移系统，以探索AGI的形式可达性，使用模态逻辑和可计算性理论区分基本、稳定和安全可达性。
TwiL-LM 是一个针对 SmolLM2-1.7B-Instruct 的参数高效 LoRA 适配器，专为形式逻辑和推理任务设计，在形式逻辑套件上取得了 0.361 的 macro-primary 分数。
本文提出了一种新的次协调AGM类溯因扩展操作，基于次协调逻辑RCbr，能够吸收矛盾的说明性假设而不导致平凡化。这是AGM文献中首个此类操作。
本文指出了人工智能法律推理中法律解释与形式逻辑之间的系统性鸿沟，提出了一种神经符号方法来弥合这一鸿沟，并展示了在严格形式蕴含条件下重新标注法律自然语言推理数据时出现的显著标签偏移。