{"id":"W4288046400","doi":"10.24963/kr.2022/40","title":"Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing","year":2022,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Nondeterministic algorithm; Computer science; Projection (relational algebra); Artificial intelligence; Theoretical computer science; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.0002825159,0.00003709282,0.00006835168,0.00006897168,0.0001033111,0.00001750042,0.0002090837,0.00001061328,0.000006608926],"category_scores_gemma":[0.00004501973,0.00002617603,0.00001673186,0.0003552653,0.00003709384,0.0001019088,0.0001785634,0.00007471992,4.061787e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001077649,"about_ca_system_score_gemma":0.00004540241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002016692,"about_ca_topic_score_gemma":0.0001069699,"domain_scores_codex":[0.9994749,0.00009178708,0.0001086743,0.0001208606,0.0001274598,0.00007630513],"domain_scores_gemma":[0.9995678,0.0001626845,0.00005570404,0.0001787725,0.00002535855,0.000009658249],"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.00005677591,0.001393449,0.02798812,0.0003138783,0.0000482436,0.00005278618,0.09788138,0.001717623,0.0392243,0.6201034,0.00244122,0.2087788],"study_design_scores_gemma":[0.0009264341,0.001371995,0.05788495,0.00005290418,0.00002459227,0.0004507991,0.007564084,0.8933877,0.01332362,0.0179063,0.006742114,0.0003645352],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7424469,0.0001403842,0.173663,0.0004778161,0.0004193064,0.0004907159,0.000002767842,0.00006332268,0.08229574],"genre_scores_gemma":[0.9956188,0.000004531898,0.003984265,0.00002479078,0.000008024421,0.000005290374,2.289075e-7,0.000001351337,0.0003527434],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.89167,"threshold_uncertainty_score":0.1067427,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03398709040379344,"score_gpt":0.2699377127467016,"score_spread":0.2359506223429081,"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."}}