{"type":"ScholarlyArticle","title":"Towards Reasonable AI: Foundations for Abstraction and Generalized Reasoning","authors":[{"name":"Zeynep G. Saribatur","slug":"zeynep-g-saribatur","given":"Zeynep G.","family":"Saribatur","affiliation":""}],"abstract":"Human reasoning relies on abstraction and generalization, in order to make decisions flexible under changing conditions while ignoring irrelevant details and focusing on the essence. Developing AI systems with such abilities, while ensuring transparency and explainability on the reasoning behind the made decision, remains a central challenge. Symbolic AI provides transparent knowledge representations and formal reasoning guarantees, yet lacks principled mechanisms for abstracting away irrelevant details while preserving the information required for reasoning, explainability, and generalization. This paper presents an overview of my research  towards addressing this challenge by developing formal and computational methods for abstraction in Answer Set Programming, one of the core formalisms in symbolic AI, and related logic-based frameworks. The contributions span from foundational abstraction techniques that simplify reasoning representations while preserving essential solution properties, to investigations on how such abstractions can both improve computational reasoning and support human understanding of AI decision processes.","doi":"10.24963/ijcai.2026/912","url":"https://ijcai.org/proceedings/2026/912","pdf":"https://ijcai.org/proceedings/2026/0912.pdf","markdown":"https://ijcai.org/proceedings/2026/912.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/912","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Early Career Spotlight","track":"Early Career Spotlight","number":912,"pages":{"first":8197,"last":8202},"keywords":["AI: Knowledge Representation and Reasoning","AI: Humans and AI","AI: Multidisciplinary Topics and Applications"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}