{"id":"W2087666725","doi":"10.1016/j.ic.2010.12.005","title":"A logical duality for underspecified probabilistic systems","year":2010,"lang":"en","type":"article","venue":"Information and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Probabilistic logic; Galois connection; Duality (order theory); Connection (principal bundle); Probabilistic automaton; Functor; Bisimulation; Mathematics; Automaton; Evidentiality; Simple (philosophy); Computer science; Theoretical computer science; Discrete mathematics; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.0003223182,0.0000731058,0.00008967915,0.00005703776,0.0001400673,0.000340344,0.0001209445,0.00005382047,0.000002187696],"category_scores_gemma":[0.0001155883,0.00005943388,0.00002589404,0.0001090156,0.00003314866,0.0008931205,0.00004162313,0.00007689473,0.00002872179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001697316,"about_ca_system_score_gemma":0.0000409848,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000925142,"about_ca_topic_score_gemma":0.000007095441,"domain_scores_codex":[0.9994056,0.00002346071,0.000235912,0.0001059718,0.0001158601,0.0001132594],"domain_scores_gemma":[0.9993829,0.0001283034,0.0001162096,0.0001052205,0.0002067975,0.00006062961],"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.000006009935,0.0000180253,0.00008524159,0.00004985501,0.0000033264,1.169285e-7,0.001239096,0.0005305954,0.00001558776,0.968383,0.0005069797,0.02916219],"study_design_scores_gemma":[0.0005660416,0.00006993759,0.006167675,0.000006596268,0.000003629327,0.00002175843,0.0001725209,0.9391295,0.00001697349,0.03974667,0.01396867,0.0001300449],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02777844,0.0000141009,0.9651117,0.0002753889,0.0006272004,0.0003706856,0.000002260692,0.0001476258,0.005672561],"genre_scores_gemma":[0.986733,0.000001727929,0.01296563,0.0001434344,0.00005956586,0.00003793764,0.0000247011,0.000001557038,0.00003246623],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9589545,"threshold_uncertainty_score":0.3281945,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03267041144300124,"score_gpt":0.27589539379365,"score_spread":0.2432249823506487,"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."}}