自然语言规则作用域语法的逻辑等价读数计数研究

Sherzod Turaev 与 Mary John 提交论文，研究自然语言规则自动形式化时，连接词括号方式不同会产生多种逻辑读法的问题。他们指出，含 k 个二元连接词的骨架有第 k 个 Catalan 数棵推导树，但逻辑上不同的读法远少于此。 针对正向、无重复片段，作者用 read-once 范式唯一性刻画可实现范式，并以双标签递推计数，经至多 11 个原子的穷举验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。