{"id":"W1606052289","doi":"10.1007/978-3-642-36976-6_14","title":"The Duality of State and Observation in Probabilistic Transition Systems","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Observable; Probabilistic logic; Computer science; Duality (order theory); State (computer science); Dual (grammatical number); Transition system; Theoretical computer science; Markov chain; Observer (physics); Markov decision process; Representation (politics); Markov process; Artificial intelligence; Algorithm; Mathematics; Discrete mathematics; Machine learning; Physics","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.002587276,0.0002244615,0.0002986737,0.0002598064,0.0001315202,0.0003322341,0.001190979,0.0001423821,0.000001205453],"category_scores_gemma":[0.000192167,0.0001685453,0.00003274493,0.0004328241,0.000664797,0.0006757985,0.000246149,0.0003644923,0.00000418398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000184133,"about_ca_system_score_gemma":0.0001924063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001134573,"about_ca_topic_score_gemma":0.00007014416,"domain_scores_codex":[0.9976977,0.0001343346,0.0006357314,0.0006635789,0.0005801264,0.0002885738],"domain_scores_gemma":[0.9978958,0.0006039428,0.0003606626,0.0008231986,0.0002644421,0.00005200548],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009710032,0.00002361767,0.00007824523,0.0002646182,0.000005380191,0.000004035433,0.00292052,0.08770306,0.0003079288,0.2279016,0.000003374685,0.680778],"study_design_scores_gemma":[0.0001001943,0.00007447073,0.002314085,0.0002625508,0.000002071226,0.00001051062,3.961481e-7,0.8210223,0.0003158165,0.1756274,0.00009543052,0.0001748406],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003358573,0.0003659916,0.9941188,0.0003049083,0.0008035235,0.0007263574,0.000003046232,0.00002751469,0.0002912698],"genre_scores_gemma":[0.3104305,0.0001380415,0.6889663,0.0001685216,0.00008778097,0.00004821939,0.000003135151,0.00001771479,0.0001398555],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7333192,"threshold_uncertainty_score":0.687308,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03755661636585351,"score_gpt":0.2672248957716409,"score_spread":0.2296682794057874,"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."}}