paper-with-me

홈 › Papers

Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering

2026-06-02 · Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch arxiv

Visual Question Answering (VQA) is the task of answering questions about images, requiring the integration of multimodal input and reasoning. Modular approaches that incorporate logic-based representations into the reasoning component offer clear advantages over end-to-end trained systems, particularly in terms of interpretability. However, adapting or extending these representations when task requirements change can place a significant burden on developers. To address this challenge, we present an approach for distilling rules from Large Language Models (LLMs). Our method prompts an LLM to extend an initial VQA reasoning theory, expressed as an answer-set program, to meet new requirements of the task. Examples from VQA datasets guide the LLM, validate the results, and help correct erroneous rules by leveraging feedback from the ASP solver. We demonstrate that our approach is effective across diverse VQA datasets. Notably, only a few examples are needed to elicit correct rules from LLMs. Our experiments suggest that rule distillation from LLMs is a promising alternative to traditional data-driven rule learning approaches. Under consideration in Theory and Practice of Logic Programming (TPLP).

📄 PDF Abstract BibTeX arXiv:2606.03269

Code (0)

등록된 구현이 없습니다.

Tasks

Visual Question Answering

Similar Papers 제목 키워드 기반

Neurosymbolic Methods for Rule Mining

2024-08-11 · Agnieszka Lawrynowicz, Luis Galarraga, Mehwish Alam, Berenice Jaulmes 외

In this chapter, we address the problem of rule mining, beginning with essential background information, including measures of rule quality. We then explore various rule mining methodologies, categorized into three group…

Inductive logic programming

Distilling Answer Set Programming Theories from Large Language Models

2026-07-30 · Nelson Higuera Ruiz, Markus Hofmarcher, Claudiu Leoveanu-Condrei arxiv

Writing Answer Set Programming (ASP) theories from scratch is a difficult and time-consuming task. We take a neurosymbolic approach to study whether a model can distill complete and correct theories, given a fixed agent …

Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming

2026-07-25 · Zirong Chen, Meiyi Ma arxiv

Chain-of-thought (CoT) prompting enables large language models (LLMs) to tackle multi-step reasoning tasks, yet the generated intermediate steps are not guaranteed to be logically sound. We present Reason Popper-ly, a ne…

Inductive logic programming

Answer Set Programming Energised! End-to-End Neurosymbolic Reasoning and Learning with ASP and Energy Based Models

2026-07-09 · Jakob Suchan, Julius Monsen, Salim Baloch, Mehul Bhatt arxiv

We present a general neurosymbolic reasoning and learning methodology based on a modular integration of answer set programming with an energy based model substrate. Key contributions are: (1) supporting joint optimisatio…

Multi-Object Tracking

Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations

2025-09-03 · François Olivier, Zied Bouraoui arxiv

Despite significant progress in natural language understanding, Large Language Models (LLMs) remain error-prone when performing logical reasoning, often lacking the robust mental representations that enable human-like co…

Natural Language UnderstandingSpatial ReasoningLogical Reasoning