{"id":"W2270172784","doi":"","title":"Reasoning about continuous uncertainty in the situation calculus","year":2013,"lang":"en","type":"article","venue":"International Joint Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Formalism (music); Situation calculus; Computer science; Countable set; Action (physics); Theoretical computer science; Artificial intelligence; Calculus (dental); Algorithm; Mathematics; Discrete mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009367282,0.0010118,0.001274001,0.002177464,0.002826064,0.007291828,0.002760335,0.002207631,0.00301453],"category_scores_gemma":[0.01574592,0.001095375,0.002583179,0.002382808,0.008093439,0.01295815,0.006083439,0.004715714,0.0004479489],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004379177,"about_ca_system_score_gemma":0.002449073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007645269,"about_ca_topic_score_gemma":0.00573117,"domain_scores_codex":[0.9921296,0.003015321,0.0005626122,0.000974296,0.002547598,0.0007705207],"domain_scores_gemma":[0.9924775,0.005239763,0.0004761447,0.0007820656,0.0006428423,0.0003818673],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002540116,0.0000133466,0.0001918018,0.00003645262,0.00002565827,0.0001799373,0.0003947166,0.01192938,0.0002350599,0.9828076,0.0004730112,0.003687504],"study_design_scores_gemma":[0.00001410011,0.000007030227,0.0000466541,0.00001547952,0.00001830569,0.00005159078,0.00008638281,0.03443318,0.0001855711,0.9631776,0.001950088,0.00001413682],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02492563,0.001136762,0.9505125,0.003663056,0.0001280165,0.00007162202,0.0002919135,0.0004598471,0.01881077],"genre_scores_gemma":[0.7429689,0.001154382,0.2498262,0.0006362957,0.0003445935,0.0002303508,0.0003547462,0.00009994725,0.004384612],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009367282,"threshold_uncertainty_score":0.04953957,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06629843824728475,"score_gpt":0.3025074020353032,"score_spread":0.2362089637880185,"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."}}