Opening book details…
Can I read Abductive Symbolic Solver on Abstraction and Reasoning Corpus on EtoBox?
Abductive Symbolic Solver on Abstraction and Reasoning Corpus by Mintaek Lim & Seokki Lee & Liyew Woletemaryam Abitew & Sundong Kim is a book available to read on EtoBox.
What is Abductive Symbolic Solver on Abstraction and Reasoning Corpus about?
Layout by CEURART v0.5.2AbstractThis paper addresses the challenge of enhancing artificial intelligence reasoning capabilities, focusing on logicalitywithin the Abstraction and Reasoning Corpus (ARC). Humans solve such visual reasoning tasks based on theirobservations and hypotheses, and they can explain their solutions with a proper reason. However, many previousapproaches focused only on the grid transition and it is not enough for AI to provide reasonable and human-likesolutions. By considering the human process of solving visual reasoning tasks, we have concluded that thethinking process is likely the abductive reasoning process. Thus, we propose a novel framework that symbolicallyrepresents the observed data into a knowledge graph and extracts core knowledge that can be used for solutionarXiv:2411.18158v1 [cs.AI] 27 Nov 2024generation. This information limits the solution search space and helps provide a reasonable mid-process. Ourapproach holds promise for improving AI performance on ARC tasks by effectively narrowing the solution spaceand providing logical solutions grounded in core knowledge extraction.KeywordsAbstraction and Reasoning Corpus, Abductive Reasoning, Knowledge
- Author
- Mintaek Lim & Seokki Lee & Liyew Woletemaryam Abitew & Sundong Kim
- Published
- 2024
- Language
- EN
More by Mintaek Lim & Seokki Lee & Liyew Woletemaryam Abitew & Sundong Kim
Browse all works by Mintaek Lim & Seokki Lee & Liyew Woletemaryam Abitew & Sundong Kim
Similar books
- ARC-NCA: Towards Developmental Solutions to the Abstraction and Reasoning Corpus — Etienne Guichard & Felix Reimers & Mia Kvalsund & Mikkel Lepperød & Stefano Nichele (2025)
- Intelligent Planning : A Decomposition and Abstraction Based Approach — Qiang Yang (2012)
- SAPPhIRE: A Multistep Representation for Abductive Reasoning in Design Synthesis — Apoorv Naresh Bhatt; Amaresh Chakrabarti (2022)
- System 2 Reasoning for Human-AI Alignment: Generality and Adaptivity via ARC-AGI — Sejin Kim & Sundong Kim (2025)
- NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis — Matthias Cosler; Christopher Hahn; Ayham Omar; Frederik Schmitt (2024)
- Abstraction, Relation, and Induction — Julius R. Weinberg (1965)