{"id":"W2076950106","doi":"10.5555/777092.777173","title":"Non-Markovian control in the situation calculus","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Situation calculus; Markov process; Property (philosophy); Action (physics); Computer science; Operator (biology); Calculus (dental); Markov property; Markov chain; State (computer science); Theoretical computer science; Algebra over a field; Mathematics; Algorithm; Artificial intelligence; Markov model; Pure mathematics; Machine learning; Epistemology","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.0002991254,0.00006547807,0.00007488159,0.00004076771,0.00006740748,0.0001034859,0.0005481653,0.00003438053,0.0001071561],"category_scores_gemma":[0.00004140088,0.00003795582,0.00003478557,0.0002458508,0.00001749018,0.0001944275,0.00003564982,0.00007573142,0.0003980993],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001995461,"about_ca_system_score_gemma":0.000008590414,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006816755,"about_ca_topic_score_gemma":0.0002138575,"domain_scores_codex":[0.9993636,0.00005617015,0.0001044088,0.0001629864,0.0001387613,0.0001740951],"domain_scores_gemma":[0.9995189,0.000105483,0.00002550227,0.0002915731,0.00002777635,0.00003080664],"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.000007892929,0.0006806765,0.01462339,0.00001524112,0.00002461172,0.0001175654,0.03577701,0.000183018,0.0006176523,0.5912465,0.07317991,0.2835265],"study_design_scores_gemma":[0.0007723722,0.00006699474,0.01930007,0.000004938303,0.000002990892,0.0000122178,0.00009469705,0.9703532,0.00007433916,0.001868634,0.007321775,0.0001277181],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008603137,0.0001212694,0.6291786,0.003396134,0.0002032611,0.0002079935,2.04086e-7,0.00007007398,0.3582194],"genre_scores_gemma":[0.995878,0.000005777913,0.0007904913,0.001666521,0.00006150998,0.00001330152,2.748713e-7,0.000001933024,0.001582189],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9872749,"threshold_uncertainty_score":0.5116894,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01383798470843147,"score_gpt":0.2173002804085869,"score_spread":0.2034622957001554,"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."}}