📊 Статистика дайджестов

Всего дайджестов: 34022 Добавлено сегодня: 0

Последнее обновление: сегодня
Авторы:

Andrea Brunello, Luca Geatti, Michele Mignani, Angelo Montanari, Nicola Saccomanno

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
Due to its expressiveness and unambiguous nature, First-Order Logic (FOL) is a powerful formalism for representing concepts expressed in natural language (NL). This is useful, e.g., for specifying and verifying desired system properties. While translating FOL into human-readable English is relatively straightforward, the inverse problem, converting NL to FOL (NL-FOL translation), has remained a longstanding challenge, for both humans and machines. Although the emergence of Large Language Models ...
ID: 2511.11816v1 cs.AI, cs.CL, cs.LO
Авторы:

Alexander Boldachev

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
A formalization of a subject-event ontology is proposed for modeling complex dynamic systems without reliance on global time. Key principles: (1) event as an act of fixation - a subject discerns and fixes changes according to models (conceptual templates) available to them; (2) causal order via happens-before - the order of events is defined by explicit dependencies, not timestamps; (3) making the ontology executable via a declarative dataflow mechanism, ensuring determinism; (4) models as epist...
ID: 2510.18040v1 cs.AI, cs.CL, cs.LO
Авторы:

Zhuo-Yang Song

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
The generate-filter-refine (iterative) paradigm based on large language models (LLMs) has achieved progress in reasoning, programming, and program discovery in AI+Science. However, the effectiveness of search depends on where to search, namely, how to encode the domain prior into an operationally structured hypothesis space. To this end, this paper proposes a compact formal theory that describes and measures LLM-assisted iterative search guided by domain priors. We represent an agent as a fuzzy ...
ID: 2510.14846v2 cs.AI, cs.CL, cs.LO
Авторы:

Zhuo-Yang Song

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
The generate-filter-refine (iterative paradigm) based on large language models (LLMs) has achieved progress in reasoning, programming, and program discovery in AI+Science. However, the effectiveness of search depends on where to search, namely, how to encode the domain prior into an operationally structured hypothesis space. To this end, this paper proposes a compact formal theory that describes and measures LLM-assisted iterative search guided by domain priors. We represent an agent as a fuzzy ...
ID: 2510.14846v1 cs.AI, cs.CL, cs.LO
Авторы:

Manuel Borroto, Katie Gallagher, Antonio Ielo, Irfan Kareem, Francesco Ricca, Alessandra Russo

## Контекст Высокопроизводительные языковые модели (LLMs) проявляют великолепные результаты в области понимания естественного языка, но часто сталкиваются с проблемами при выполнении задач, требующих коммонсенс-резонания. Например, в задачах рассказ-основной вопрос-ответ, где необходимо понимание смысла и умение применить логику, LLMs могут сталкиваться с неожиданными ошибками. Эта проблема обусловлена тем, что LLMs часто ориентируются только на контекст, без явного упорядоченного подхода к логической разметке предложений. Одним из подходов, предложенных для устранения этой проблемы, является использование символического рассуждения в сочетании с LLMs. Однако многие из существующих систем требуют ручной разработки символического компонента, что требует большого количества времени и усилий от экспертов. В нашем исследовании мы рассматриваем возможность автоматического вывода символических правил на основе примеров, чтобы улучшить точность и понятность решений в этой области. ## Метод Мы предлагаем LLM2LAS — гибридную систему, которая комбинирует сильные стороны LLMs, ILASP (Learning from Answer Sets) и ASP (Answer Set Programming). Вначале, LLM декодирует текст, извлекая семантические структуры из его компонентов. Затем, ILASP преобразовывает эти структуры в логические правила, на основе которых ASP-решатель может выполнять подробные выводы. ILASP использует методы обучения из примеров (Learning from Answer Sets) для автоматического создания и оптимизации символических правил. ASP, в свою очередь, обеспечивает жесткость и точность вывода, что позволяет LLM2LAS определять правильные ответы даже на новые, ранее невиденные вопросы. Эта система позволяет сочетать естественное понимание языка LLMs с логическими способностями ASP, улучшая решение задач в задачах рассказ-основной вопрос-ответ. ## Результаты Мы провели эксперименты, используя стандартный набор данных для задачи рассказ-основной вопрос-ответ. Наша система LLM2LAS показала высокую точность в тестах на новые вопросы, превосходя другие похожие системы, которые не используют символические правила. В частности, мы выявили, что LLM2LAS обеспечивает значительное улучшение в ситуациях, где выборка ответа не очевидна или требует нескольких шагов рассуждения. Эксперименты также показали, что наша система может адаптироваться к различным видам текстов и задач, улучшая общую точность и понятность ответов. ## Значимость LLM2LAS может быть применено в различных областях, где требуется объединение естественного понимания языка и логического рассуждения. Например, в области здравоохранения, маркетинга, интеллект
Annotation:
Large Language Models (LLMs) excel at understanding natural language but struggle with explicit commonsense reasoning. A recent trend of research suggests that the combination of LLM with robust symbolic reasoning systems can overcome this problem on story-based question answering tasks. In this setting, existing approaches typically depend on human expertise to manually craft the symbolic component. We argue, however, that this component can also be automatically learned from examples. In this ...
ID: 2509.16590v1 cs.AI, cs.CL, cs.LO