{"id":"https://openalex.org/W7162394037","doi":"https://doi.org/10.48550/arxiv.2605.25566","title":"Uncertainty Reasoning with Large Language Models for Explainable Disease Diagnosis","display_name":"Uncertainty Reasoning with Large Language Models for Explainable Disease Diagnosis","publication_year":2026,"publication_date":"2026-05-25","ids":{"openalex":"https://openalex.org/W7162394037","doi":"https://doi.org/10.48550/arxiv.2605.25566"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.25566","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.25566","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.25566","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006145225","display_name":"Xiaoyang Fan","orcid":"https://orcid.org/0009-0005-7716-1253"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fan, Xiaoyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127850599","display_name":"Yufan Cai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cai, Yufan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137078457","display_name":"Zhe Hou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hou, Zhe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5137025563","display_name":"Jin Song Dong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dong, Jin Song","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/T13702","display_name":"Machine Learning in Healthcare","score":0.824400007724762,"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/T13702","display_name":"Machine Learning in Healthcare","score":0.824400007724762,"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.06159999966621399,"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/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.034299999475479126,"subfield":{"id":"https://openalex.org/subfields/2718","display_name":"Health Informatics"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6281999945640564},{"id":"https://openalex.org/keywords/medical-diagnosis","display_name":"Medical diagnosis","score":0.5692999958992004},{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.5350000262260437},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5024999976158142},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4830000102519989},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.44589999318122864},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.4311000108718872},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.4097000062465668},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.4041000008583069}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6281999945640564},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6141999959945679},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6033999919891357},{"id":"https://openalex.org/C534262118","wikidata":"https://www.wikidata.org/wiki/Q177719","display_name":"Medical diagnosis","level":2,"score":0.5692999958992004},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.5350000262260437},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5024999976158142},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4968000054359436},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4830000102519989},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.44589999318122864},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.4311000108718872},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.4097000062465668},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.4041000008583069},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.397599995136261},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.39259999990463257},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.37290000915527344},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.351500004529953},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.34700000286102295},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.33629998564720154},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.3325999975204468},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.3278000056743622},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.3228999972343445},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.31360000371932983},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.3059000074863434},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.27790001034736633},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.2709999978542328},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2535000145435333}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.25566","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.25566","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.25566","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.25566","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":[{"display_name":"Peace, Justice and strong institutions","score":0.7258988618850708,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Clinical":[0],"decision-making":[1],"requires":[2],"reasoning":[3,40,196,210,228],"over":[4],"incomplete,":[5],"imprecise,":[6],"and":[7,29,51,58,76,92,110,121,139,145,163,170,181,193,211,230],"linguistically":[8],"expressed":[9,88],"patient":[10],"narratives.":[11,216],"While":[12],"large":[13],"language":[14],"models":[15],"(LLMs)":[16],"excel":[17],"at":[18],"extracting":[19],"latent":[20],"information":[21],"from":[22,107],"natural":[23],"language,":[24],"they":[25],"lack":[26],"the":[27,184],"verifiability":[28],"interpretability":[30],"essential":[31],"for":[32],"trustworthy":[33],"medical":[34,54,72],"AI.":[35],"We":[36,95,198],"propose":[37],"a":[38,64,84,115,133],"neuro-symbolic":[39],"framework":[41,185,201],"that":[42],"aligns":[43],"LLMs":[44,69,212],"with":[45,125,136,147,190,213],"formal":[46,173],"logic":[47,91,116],"to":[48,103,119,221],"enable":[49],"explainable":[50],"formally":[52,231],"verifiable":[53,232],"diagnosis.":[55],"Patient":[56],"descriptions":[57],"clinical":[59,126,215],"guidelines":[60],"are":[61,81,142],"embedded":[62],"into":[63,83],"neural":[65],"knowledge":[66,86],"base,":[67],"where":[68],"extract":[70],"structured":[71],"entities,":[73],"temporal":[74],"relations,":[75],"fuzzy":[77,90,134],"symptom":[78,129],"patterns,":[79],"which":[80],"decoded":[82],"symbolic":[85,101,209],"base":[87],"in":[89],"declarative":[93],"rules.":[94,174],"perform":[96],"two-stage":[97],"reasoning:":[98],"(1)":[99],"inductive":[100],"generalization":[102,192],"capture":[104],"diagnostic":[105,233],"patterns":[106],"encoded":[108],"narratives,":[109],"(2)":[111],"inference":[112,140,189],"verification":[113],"via":[114],"programming":[117],"engine":[118],"derive":[120],"validate":[122,199],"diagnoses":[123,162],"consistent":[124],"standards.":[127],"Each":[128],"is":[130],"treated":[131],"as":[132],"predicate":[135],"probabilistic":[137,182],"weights,":[138],"paths":[141,229],"auditable,":[143],"adjustable,":[144],"compatible":[146],"physician":[148],"feedback.":[149],"Unlike":[150],"purely":[151],"statistical":[152],"methods,":[153],"our":[154,200],"system":[155],"supports":[156],"iterative":[157],"refinement:":[158],"misalignment":[159],"between":[160],"LLM-generated":[161],"ground":[164],"truth":[165],"can":[166],"be":[167],"traced,":[168],"explained,":[169],"corrected":[171],"through":[172],"By":[175],"combining":[176],"logic-based":[177],"transparency,":[178],"LLM":[179],"adaptability,":[180],"robustness,":[183],"enables":[186],"human-aligned":[187],"healthcare":[188],"strong":[191],"verifiable,":[194],"step-by-step":[195],"chains.":[197],"on":[202],"public":[203],"benchmarks,":[204],"demonstrating":[205],"effective":[206],"reconciliation":[207],"of":[208],"real-world":[214],"Results":[217],"show":[218],"performance":[219],"comparable":[220],"state-of-the-art":[222],"LLMs,":[223],"while":[224],"additionally":[225],"providing":[226],"interpretable":[227],"conclusions.":[234]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-27T00:00:00"}