Automatic coherence-driven inference on arguments
2509.18523v1
cs.CY, cs.AI
2025-09-25
Авторы:
Steve Huntsman
Резюме на русском
## Контекст
Инконсистенции в законодательстве, административных документах и правовых системах широко распространены. Они возникают из-за несовпадения существующих законов и политик, часто вызывая затруднения в их интерпретации и применении. Несмотря на то, что полное устранение таких противоречий может показаться решением слишком амбициозным, технологические средства могут способствовать их существенному снижению. Большие лингвистические модели (LLMs) позволяют извлекать из аргументов точные выводы и строить их в естественные структуры данных. Этот подход позволяет анализировать аргументы с использованием нейросимволической архитектуры, обеспечивая структурированный и обоснованный подход к оценке их логической когерентности. Такой подход может быть применен в юридических исследованиях, политическом анализе и разработке политик.
## Метод
Методология базируется на использовании больших лингвистических моделей для извлечения и структурирования сущностей аргументов. Аргументы разбиваются на отдельные предложения, которые собираются в семантические элементы. Эти элементы, в свою очередь, преобразуются в естественные структуры, которые могут быть использованы в нейросимволических вычислениях. Технология использует комбинаторные методы оптимизации для построения семантических структур, обеспечивая естественный поиск и выявление противоречий. Эта архитектура разделяет задачи на отдельные компоненты, что позволяет получать значимые выводы о логической когерентности и их использование в различных областях.
## Результаты
В ходе экспериментов был проведен анализ различных аргументов, включая правовые и политические. Использовались различные источники данных, включая юридические документы и тексты политических речи. Результатом являются структурированные семантические структуры, которые успешно позволяют выявить противоречия и сформулировать логические выводы. Полученные результаты показали высокую точность в выявлении противоречий и обеспечивают основу для более глубокого анализа и стратегического принятия решений в юридических и политических сферах.
## Значимость
Полученные результаты могут применяться в юридических исследованиях, политическом анализе и разработке политик. Использование этой технологии позволяет обеспечить более точную интерпретацию законов и политических решений, улучшить анализ их соответствия друг другу, а также помочь в разработке более логически когерентных политик. Эта технология также может повысить прозрачность и четкость в законодательных процессах, что способствует более эффективному управ
Abstract
Inconsistencies are ubiquitous in law, administration, and jurisprudence.
Though a cure is too much to hope for, we propose a technological remedy. Large
language models (LLMs) can accurately extract propositions from arguments and
compile them into natural data structures that enable coherence-driven
inference (CDI) via combinatorial optimization. This neurosymbolic architecture
naturally separates concerns and enables meaningful judgments about the
coherence of arguments that can inform legislative and policy analysis and
legal reasoning.
Ссылки и действия
Дополнительные ресурсы: