{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007886696,0.0002435784,0.0002270737,0.0002253589,0.0001630994,0.0009426313,0.0018025,0.000103502,0.000517251],"category_scores_gemma":[0.000717354,0.0001778465,0.0001131441,0.0003973508,0.0001451225,0.0006205116,0.0001883787,0.0004029512,0.00190811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001534413,"about_ca_system_score_gemma":0.0001420795,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001151494,"about_ca_topic_score_gemma":0.0005943179,"domain_scores_codex":[0.9975001,0.0002139234,0.0006275567,0.0005734948,0.0006732631,0.0004116697],"domain_scores_gemma":[0.9982712,0.0002845486,0.0002303829,0.0005159221,0.0006046307,0.00009334229],"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.00000892358,0.0001420687,0.0001355625,0.000002181813,0.000009647106,0.00001815196,0.00276624,0.0007965435,0.0008800155,0.823458,0.0003172996,0.1714654],"study_design_scores_gemma":[0.00007812178,0.0001623269,0.006314888,0.0001495685,0.000004263619,0.00003066135,0.001522846,0.7642715,0.004736994,0.2213933,0.0009671958,0.0003683133],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09854816,0.00005937207,0.7759551,0.01365108,0.002221234,0.0008612659,0.000005870737,0.0002189254,0.108479],"genre_scores_gemma":[0.9966279,0.00003819594,0.001517905,0.001092154,0.0002189186,0.0001376501,0.00001132114,0.000008591591,0.0003473185],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8980798,"threshold_uncertainty_score":0.998869,"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."}}