{"id":"https://openalex.org/W7153042752","doi":"https://doi.org/10.48550/arxiv.2604.08016","title":"Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs","display_name":"Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs","publication_year":2026,"publication_date":"2026-04-09","ids":{"openalex":"https://openalex.org/W7153042752","doi":"https://doi.org/10.48550/arxiv.2604.08016"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.08016","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08016","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.08016","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108868186","display_name":"Moein Salimi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Salimi, Moein","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120032865","display_name":"Shaygan Adim","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Adim, Shaygan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133317294","display_name":"Danial Parnian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Parnian, Danial","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120032866","display_name":"Nima Alighardashi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alighardashi, Nima","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133368481","display_name":"Mahdi Jafari Siavoshani","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Siavoshani, Mahdi Jafari","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5041967349","display_name":"Mohammad Hossein Rohban","orcid":"https://orcid.org/0000-0001-6589-850X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rohban, Mohammad Hossein","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.6632000207901001,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.6632000207901001,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.06260000169277191,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11714","display_name":"Multimodal Machine Learning Applications","score":0.05779999867081642,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"Abductive reasoning","score":0.9440000057220459},{"id":"https://openalex.org/keywords/taxonomy","display_name":"Taxonomy (biology)","score":0.6735000014305115},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.5274999737739563},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5271000266075134},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4830999970436096},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4302000105381012},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.3781000077724457},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.37630000710487366}],"concepts":[{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.9440000057220459},{"id":"https://openalex.org/C58642233","wikidata":"https://www.wikidata.org/wiki/Q8269924","display_name":"Taxonomy (biology)","level":2,"score":0.6735000014305115},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.5274999737739563},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5271000266075134},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5259000062942505},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4830999970436096},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43130001425743103},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4302000105381012},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3781000077724457},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3767000138759613},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.37630000710487366},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.37560001015663147},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.362199991941452},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3483000099658966},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3450999855995178},{"id":"https://openalex.org/C166052673","wikidata":"https://www.wikidata.org/wiki/Q83021","display_name":"Empirical evidence","level":2,"score":0.3037000000476837},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3019999861717224},{"id":"https://openalex.org/C2781140086","wikidata":"https://www.wikidata.org/wiki/Q557945","display_name":"Confusion","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C2777877512","wikidata":"https://www.wikidata.org/wiki/Q1116097","display_name":"Common ground","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.2768000066280365},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.2741999924182892},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.2703000009059906},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.26080000400543213}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.08016","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08016","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.08016","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08016","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Regardless":[0],"of":[1,13,33,37,58,139,169,243],"its":[2,41,64],"foundational":[3],"role":[4],"in":[5,24,61,84,225],"human":[6],"discovery":[7],"and":[8,40,79,114,123,153,187,210,231,239],"sense-making,":[9],"abductive":[10,38,59,148,173,205,244],"reasoning--the":[11],"inference":[12],"the":[14,30,35,55,75,85,118,124,140,188],"most":[15,125],"plausible":[16,126],"explanation":[17,127],"for":[18],"an":[19],"observation--has":[20],"been":[21,47],"relatively":[22],"underexplored":[23],"Large":[25],"Language":[26],"Models":[27],"(LLMs).":[28],"Despite":[29],"rapid":[31],"advancement":[32],"LLMs,":[34,62],"exploration":[36],"reasoning":[39,60,206,218],"diverse":[42],"facets":[43],"has":[44],"thus":[45],"far":[46],"disjointed":[48,80],"rather":[49],"than":[50],"cohesive.":[51],"This":[52,98],"paper":[53],"presents":[54],"first":[56],"survey":[57],"tracing":[63],"trajectory":[65],"from":[66],"philosophical":[67],"foundations":[68],"to":[69,110,158,208,235],"contemporary":[70],"AI":[71],"implementations.":[72],"To":[73],"address":[74],"widespread":[76],"conceptual":[77],"confusion":[78],"task":[81,191],"definitions":[82],"prevalent":[83],"field,":[86],"we":[87,134,163,199],"establish":[88],"a":[89,136,165],"unified":[90],"two-stage":[91],"definition":[92,99],"that":[93],"formally":[94],"categorizes":[95],"prior":[96,143],"work.":[97],"disentangles":[100],"abduction":[101],"into":[102,215],"Hypothesis":[103,115],"Generation,":[104],"where":[105,117],"models":[106],"bridge":[107],"epistemic":[108],"gaps":[109,224],"produce":[111],"candidate":[112],"explanations,":[113],"Selection,":[116],"generated":[119],"candidates":[120],"are":[121],"evaluated":[122],"is":[128],"chosen.":[129],"Building":[130],"upon":[131],"this":[132],"foundation,":[133],"present":[135],"comprehensive":[137],"taxonomy":[138],"literature,":[141],"categorizing":[142],"work":[144],"based":[145],"on":[146,172,204],"their":[147,216],"tasks,":[149,174,212],"datasets,":[150],"underlying":[151],"methodologies,":[152],"evaluation":[154,185],"strategies.":[155],"In":[156],"order":[157],"ground":[159],"our":[160],"framework":[161],"empirically,":[162],"conduct":[164],"compact":[166],"benchmark":[167,229],"study":[168],"current":[170,226],"LLMs":[171],"together":[175],"with":[176],"targeted":[177],"comparative":[178],"analyses":[179],"across":[180],"model":[181,183],"sizes,":[182],"families,":[184],"styles,":[186],"distinct":[189],"generation-versus-selection":[190],"typologies.":[192],"Moreover,":[193],"by":[194],"synthesizing":[195],"recent":[196],"empirical":[197],"results,":[198],"examine":[200],"how":[201],"LLM":[202],"performance":[203],"relates":[207],"deductive":[209],"inductive":[211],"providing":[213],"insights":[214],"broader":[217],"capabilities.":[219],"Our":[220],"analysis":[221],"reveals":[222],"critical":[223],"approaches--from":[227],"static":[228],"design":[230],"narrow":[232,236],"domain":[233],"coverage":[234],"training":[237],"frameworks":[238],"limited":[240],"mechanistic":[241],"understanding":[242],"processes...":[245]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-11T00:00:00"}