📊 Статистика дайджестов
Всего дайджестов: 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']
Доступные поля: ['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 ...
Авторы:
Alexander Boldachev
Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Доступные поля: ['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...
Авторы:
Zhuo-Yang Song
Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Доступные поля: ['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 ...
Авторы:
Zhuo-Yang Song
Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Доступные поля: ['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 ...
Авторы:
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 ...