{"id":"https://openalex.org/W7155491163","doi":"https://doi.org/10.48550/arxiv.2604.21263","title":"Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages","display_name":"Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages","publication_year":2026,"publication_date":"2026-04-23","ids":{"openalex":"https://openalex.org/W7155491163","doi":"https://doi.org/10.48550/arxiv.2604.21263"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.21263","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.21263","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":"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.2604.21263","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134558929","display_name":"Michael Bouzinier","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bouzinier, Michael","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134484646","display_name":"Sergey Trifonov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Trifonov, Sergey","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134564803","display_name":"Michael Chumack","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chumack, Michael","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134492007","display_name":"Eugenia Lvova","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lvova, Eugenia","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5027577751","display_name":"Dmitry Etin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Etin, Dmitry","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/T11642","display_name":"Genomics and Rare Diseases","score":0.7287999987602234,"subfield":{"id":"https://openalex.org/subfields/1311","display_name":"Genetics"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T11642","display_name":"Genomics and Rare Diseases","score":0.7287999987602234,"subfield":{"id":"https://openalex.org/subfields/1311","display_name":"Genetics"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.055799998342990875,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.050999999046325684,"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/correctness","display_name":"Correctness","score":0.5882999897003174},{"id":"https://openalex.org/keywords/trustworthiness","display_name":"Trustworthiness","score":0.5120000243186951},{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.5073000192642212},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4438000023365021},{"id":"https://openalex.org/keywords/decision-support-system","display_name":"Decision support system","score":0.43639999628067017},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.41760000586509705},{"id":"https://openalex.org/keywords/clinical-decision-support-system","display_name":"Clinical decision support system","score":0.37119999527931213},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.35100001096725464}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6983000040054321},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5882999897003174},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.5120000243186951},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.5073000192642212},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46630001068115234},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4438000023365021},{"id":"https://openalex.org/C107327155","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision support system","level":2,"score":0.43639999628067017},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.41760000586509705},{"id":"https://openalex.org/C63527458","wikidata":"https://www.wikidata.org/wiki/Q5133829","display_name":"Clinical decision support system","level":3,"score":0.37119999527931213},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.35100001096725464},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.3327000141143799},{"id":"https://openalex.org/C534262118","wikidata":"https://www.wikidata.org/wiki/Q177719","display_name":"Medical diagnosis","level":2,"score":0.3305000066757202},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.3255999982357025},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.31940001249313354},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.31700000166893005},{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.30070000886917114},{"id":"https://openalex.org/C19648533","wikidata":"https://www.wikidata.org/wiki/Q691640","display_name":"Evidence-based medicine","level":3,"score":0.2924000024795532},{"id":"https://openalex.org/C90734943","wikidata":"https://www.wikidata.org/wiki/Q17008777","display_name":"Conceptualization","level":2,"score":0.2847999930381775},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.2777999937534332},{"id":"https://openalex.org/C105002631","wikidata":"https://www.wikidata.org/wiki/Q4833645","display_name":"Subject-matter expert","level":3,"score":0.2563000023365021},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.2547999918460846}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.21263","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.21263","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":"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.2604.21263","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.21263","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":"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.7828322649002075,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"\\textbf{Background:}":[0],"Regulatory":[1],"frameworks":[2],"for":[3,33,63,112],"AI":[4,10],"in":[5,72,99,107,131,139,228,237],"healthcare,":[6],"including":[7],"the":[8,119,129,192,239],"EU":[9],"Act":[11],"and":[12,38,88,116,159,182],"FDA":[13],"guidance":[14],"on":[15,52,67,124,225],"AI/ML-based":[16],"medical":[17],"devices,":[18],"require":[19],"clinical":[20,34,68],"decision":[21,44,69,247],"support":[22],"to":[23,242],"demonstrate":[24],"not":[25,42,215],"only":[26,216],"accuracy":[27],"but":[28,41,221],"auditability.":[29],"Existing":[30],"formal":[31],"languages":[32],"logic":[35],"validate":[36],"syntactic":[37],"structural":[39],"correctness":[40],"whether":[43,168],"rules":[45,70,169],"use":[46],"epistemologically":[47],"appropriate":[48,226],"evidence.":[49],"\\textbf{Methods:}":[50],"Drawing":[51],"design-by-contract":[53],"principles,":[54],"we":[55],"introduce":[56],"meta-predicates":[57,194],"--":[58,62],"predicates":[59,61],"about":[60],"asserting":[64],"epistemological":[65,76,164],"constraints":[66],"expressed":[71],"a":[73,132,211],"DSL.":[74],"An":[75],"type":[77],"system":[78],"classifies":[79],"annotations":[80],"along":[81],"four":[82],"dimensions:":[83],"purpose,":[84],"knowledge":[85],"domain,":[86],"scale,":[87],"method":[89],"of":[90],"acquisition.":[91],"Meta-predicates":[92],"assert":[93],"which":[94,154],"evidence":[95,188,197,227],"types":[96],"are":[97,170,219],"permissible":[98],"any":[100,243],"given":[101],"rule.":[102],"The":[103,174],"framework":[104],"is":[105,210],"instantiated":[106],"AnFiSA,":[108],"an":[109],"open-source":[110],"platform":[111],"genetic":[113],"variant":[114,140,158],"curation,":[115],"demonstrated":[117,236],"using":[118],"Brigham":[120],"Genomics":[121],"Medicine":[122],"protocol":[123],"5.6":[125],"million":[126],"variants":[127],"from":[128],"Genome":[130],"Bottle":[133],"benchmark.":[134],"\\textbf{Results:}":[135],"Decision":[136],"trees":[137],"used":[138,190,200],"interpretation":[141],"can":[142,231],"be":[143,199,232],"reformulated":[144],"as":[145,180],"unate":[146],"cascades,":[147],"enabling":[148],"per-variant":[149],"audit":[150],"trails":[151],"that":[152,217,222,230],"identify":[153],"rule":[155],"classified":[156],"each":[157],"why.":[160],"Meta-predicate":[161,208],"validation":[162,209],"catches":[163],"errors":[165],"before":[166,201],"deployment,":[167,202],"human-written":[171],"or":[172],"AI-generated.":[173],"approach":[175,240],"complements":[176],"post-hoc":[177],"methods":[178],"such":[179],"LIME":[181],"SHAP:":[183],"where":[184],"explanation":[185],"reveals":[186],"what":[187,196],"was":[189],"after":[191],"fact,":[193],"constrain":[195],"may":[198],"while":[203],"preserving":[204],"human":[205],"readability.":[206],"\\textbf{Conclusions:}":[207],"step":[212],"toward":[213],"demonstrating":[214],"decisions":[218],"accurate":[220],"they":[223],"rest":[224],"ways":[229],"independently":[233],"audited.":[234],"While":[235],"genomics,":[238],"generalises":[241],"domain":[244],"requiring":[245],"auditable":[246],"logic.":[248]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-25T00:00:00"}