{"id":"W2997707599","doi":"10.48550/arxiv.1909.07296","title":"A Substructural Epistemic Resource Logic: Theory and Modelling\\n Applications","year":2019,"lang":"","type":"article","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Soundness; Epistemic modal logic; Completeness (order theory); Modalities; Computer science; Semantics (computer science); Resource (disambiguation); Theoretical computer science; Modal logic; Epistemology; Multimodal logic; Calculus (dental); Programming language; Mathematics; Description logic; Philosophy; Sociology; Medicine; Modal","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006597245,0.0004245896,0.0004272221,0.0002165823,0.0005064809,0.0002136322,0.001537863,0.0002867357,0.0001518247],"category_scores_gemma":[0.00002265347,0.0004366155,0.0002047512,0.001048197,0.0004881893,0.0006502296,0.000816107,0.0004614328,0.0006442624],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001629344,"about_ca_system_score_gemma":0.0001357087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003473014,"about_ca_topic_score_gemma":0.000009797182,"domain_scores_codex":[0.9969587,0.0004237815,0.0002865425,0.001547991,0.0001101018,0.0006729147],"domain_scores_gemma":[0.9973775,0.0004653453,0.0002857642,0.001327518,0.0001835018,0.0003603688],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000957454,0.00005983232,0.003879299,0.0000723422,0.00005598586,0.0000407522,0.001148515,0.04072149,0.00006342391,0.951829,0.00003971155,0.001993919],"study_design_scores_gemma":[0.0008752142,0.000134138,0.000633328,0.00005320297,0.00009344986,0.00004950688,0.0005248251,0.6838478,0.00005848513,0.3093178,0.003827589,0.0005846775],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3325708,0.0009436306,0.6424682,0.00006981543,0.0002002521,0.0005377617,0.000006690148,0.000135668,0.02306721],"genre_scores_gemma":[0.9812552,0.0003553909,0.0006295473,0.000156073,0.0001063102,0.000001472966,0.000005564433,0.000022515,0.01746787],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6486844,"threshold_uncertainty_score":0.9998085,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04138310706678809,"score_gpt":0.1739822553291686,"score_spread":0.1325991482623805,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}