{"id":"W2294820799","doi":"","title":"A formal account of nondeterministic and failed actions","year":2013,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Nondeterministic algorithm; Computer science; Action (physics); Probabilistic logic; Object (grammar); Phenomenon; Extension (predicate logic); Set (abstract data type); Epistemology; Epistemic modal logic; Categorical variable; Theoretical computer science; Mathematical economics; Artificial intelligence; Mathematics; Machine learning; Multimodal logic; Programming language; Philosophy; Description logic","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.00005922492,0.00005752208,0.00008632959,0.00004028186,0.00006351789,0.00008270655,0.0002198661,0.00002855815,0.0001295383],"category_scores_gemma":[0.00002389619,0.00004068698,0.00002421284,0.00008811591,0.00003561089,0.0006189057,0.0001591045,0.00003783331,0.0001241493],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000719932,"about_ca_system_score_gemma":0.00002798567,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007598649,"about_ca_topic_score_gemma":0.00002853736,"domain_scores_codex":[0.9995487,0.000008944256,0.0001019818,0.0001245624,0.00007094798,0.0001448329],"domain_scores_gemma":[0.9995938,0.00005394645,0.00003757982,0.0001967648,0.00006333597,0.00005456568],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.000005662343,0.0002448601,0.01408964,0.00008383324,0.00004500853,0.000006449285,0.003980809,0.000004668911,0.005449904,0.7632717,0.007422792,0.2053947],"study_design_scores_gemma":[0.00198433,0.0008773934,0.5041046,0.00005435271,0.00003778299,0.0001484169,0.0007572455,0.4234286,0.01087501,0.0389789,0.01786561,0.0008878724],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3384815,0.00005215868,0.4700547,0.0002639097,0.0002810155,0.0002277677,8.482699e-7,0.000132109,0.1905061],"genre_scores_gemma":[0.9880387,0.000004925826,0.01021391,0.00006419277,0.00002260039,0.00001415722,2.274961e-7,0.000001965041,0.001639365],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7242928,"threshold_uncertainty_score":0.1659167,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01845839931709251,"score_gpt":0.2406965260565352,"score_spread":0.2222381267394427,"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."}}