В данной статье представлен теоретический каркас для заземления траекторий рассуждений больших языковых моделей, опирающихся на неполные доказательства из графа знаний, а не на полные состояния истины.
- Состояние доказательств формирует якоря сущностей, остаточные отношения типов, энергии путей и области поддержки, в то время как языковая модель предоставляет априорное распределение по кандидатам траекторий.
- При неполноте открытого мира ни одно жёсткое правило, основанное исключительно на наблюдаемом состоянии, не может одновременно отклонить все ложные неподкреплённые траектории и сохранить все истинные, но ненаблюдаемые.
- Мягкое заземление характеризуется как деформация априорного распределения LLM с регуляризацией KL, где конечный запас сохраняет поддержку для неподкреплённых, но не противоречащих траекторий.
- Каркас даёт границы устойчивости при возмущениях доказательств и проясняет режимы ограничений для GraphRAG, KGQA, графовых агентов, декодирования с ограничениями и достоверной генерации.
Утверждения относительны к доказательствам, рассматривая совместимость с KG как объявленную поддержку, а не фактическую истину.