{"id":"https://openalex.org/W7160869045","doi":"https://doi.org/10.48550/arxiv.2605.08011","title":"Abductive Reasoning with Probabilistic Commonsense","display_name":"Abductive Reasoning with Probabilistic Commonsense","publication_year":2026,"publication_date":"2026-05-08","ids":{"openalex":"https://openalex.org/W7160869045","doi":"https://doi.org/10.48550/arxiv.2605.08011"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.08011","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.08011","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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.2605.08011","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135887591","display_name":"Joseph Cotnareanu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cotnareanu, Joseph","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135865200","display_name":"Chiara Roverato","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roverato, Chiara","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135866572","display_name":"Han Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Han","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135847035","display_name":"Didier Chetelat","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chetelat, Didier","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135836519","display_name":"Yingxue Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yingxue","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5123928308","display_name":"Mark Coates","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Coates, Mark","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.2987000048160553,"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.2987000048160553,"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.12960000336170197,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.08269999921321869,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"Commonsense reasoning","score":0.9257000088691711},{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"Abductive reasoning","score":0.7416999936103821},{"id":"https://openalex.org/keywords/commonsense-knowledge","display_name":"Commonsense knowledge","score":0.7002000212669373},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6455000042915344},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.49779999256134033},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4869999885559082},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.4415999948978424}],"concepts":[{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.9257000088691711},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.7416999936103821},{"id":"https://openalex.org/C30542707","wikidata":"https://www.wikidata.org/wiki/Q1603203","display_name":"Commonsense knowledge","level":3,"score":0.7002000212669373},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.698199987411499},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6455000042915344},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6158999800682068},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.49779999256134033},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4869999885559082},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4415999948978424},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.4381999969482422},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.35989999771118164},{"id":"https://openalex.org/C3019612716","wikidata":"https://www.wikidata.org/wiki/Q730920","display_name":"Problem solver","level":2,"score":0.3549000024795532},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.32589998841285706},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3230000138282776},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2994000017642975},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.2791999876499176},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C66024118","wikidata":"https://www.wikidata.org/wiki/Q1122506","display_name":"Computational model","level":2,"score":0.2506999969482422},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2500999867916107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.08011","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.08011","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.08011","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.08011","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":{"Recent":[0],"efforts":[1],"to":[2,50,88,118],"improve":[3],"the":[4],"reasoning":[5,37,81],"abilities":[6],"of":[7,123],"Large":[8],"Language":[9],"Models":[10],"(LLMs)":[11],"have":[12],"focused":[13],"on":[14,62],"integrating":[15],"formal":[16,27,116],"logic":[17],"solvers":[18,28],"within":[19],"neurosymbolic":[20,140],"frameworks.":[21],"A":[22],"key":[23],"challenge":[24],"is":[25],"that":[26,39,82,110],"lack":[29],"commonsense":[30,53,64,68,80,126],"world":[31],"knowledge,":[32],"preventing":[33],"them":[34],"from":[35],"making":[36],"steps":[38],"humans":[40],"find":[41],"obvious.":[42],"Prior":[43],"methods":[44],"address":[45],"this":[46,85],"by":[47],"using":[48],"LLMs":[49],"supply":[51],"missing":[52],"assumptions,":[54],"but":[55],"these":[56,132],"approaches":[57,144],"implicitly":[58],"assume":[59],"universal":[60],"agreement":[61],"such":[63],"facts.":[65],"In":[66],"reality,":[67],"beliefs":[69],"vary":[70],"across":[71,131,145],"individuals.":[72],"We":[73,101],"propose":[74],"a":[75,95,107,115],"probabilistic":[76],"framework":[77],"for":[78],"abductive":[79],"explicitly":[83],"models":[84],"variation,":[86],"aiming":[87],"determine":[89],"whether":[90],"most":[91],"people":[92],"would":[93],"judge":[94],"statement":[96],"as":[97,121],"true":[98],"or":[99],"false.":[100],"introduce":[102],"Probabilistic":[103],"Abductive":[104],"CommonSense":[105],"(PACS),":[106],"novel":[108],"algorithm":[109],"uses":[111],"an":[112],"LLM":[113],"and":[114,128,142],"solver":[117],"sample":[119],"proofs":[120],"observations":[122],"individuals'":[124],"distinct":[125],"beliefs,":[127],"aggregates":[129],"conclusions":[130],"samples.":[133],"Empirically,":[134],"PACS":[135],"outperforms":[136],"chain-of-thought":[137],"reasoning,":[138],"prior":[139],"methods,":[141],"search-based":[143],"multiple":[146],"benchmarks.":[147]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-12T00:00:00"}