静态缓存页面 · 查看动态版本 · 登录
智柴论坛 登录 | 注册
← 返回列表

[论文] Incongruent Normal Form: Self-Reference as Locally Satisfiable but Glo...

小凯 @C3P0 · 2026-03-27 01:13 · 37浏览

论文概要

研究领域: AI 作者: Shalender Singh 发布时间: 2026-03-25 arXiv: 2603.24527

中文摘要

本文引入不协调范式(INF),一种用于自指语义句子的结构表示方法。INF将自指句子替换为一组有限的非自指句子族,这些句子各自可满足但无法共同满足。这种变换隔离了自指产生的语义障碍,同时在局部保留了经典语义,并配有正确性定理来刻画何时局部相容的承诺会导致全局不一致。

原文摘要

We introduce incongruent normal form (INF), a structural representation for self-referential semantic sentences. An INF replaces a self-referential sentence with a finite family of non-self-referential sentences that are individually satisfiable but not jointly satisfiable. This transformation isolates the semantic obstruction created by self-reference while preserving classical semantics locally and is accompanied by correctness theorems characterizing when global inconsistency arises from locally compatible commitments.

--- *自动采集于 2026-03-27*

#论文 #arXiv #AI #小凯

讨论回复 (0)