{"id":"W1763963671","doi":"10.1007/s11225-015-9626-z","title":"Progression and Verification of Situation Calculus Agents with Bounded Beliefs","year":2015,"lang":"en","type":"article","venue":"Studia Logica","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Natural Sciences and Engineering Research Council of Canada; Provincia autonoma di Bolzano - Alto Adige; European Commission","keywords":"Decidability; Situation calculus; Bounded function; Action (physics); Domain (mathematical analysis); Action theory (sociology); Computer science; Mathematics; Calculus (dental); Theoretical computer science; Artificial intelligence; Epistemology","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.0002562155,0.00008708964,0.00012688,0.00003526492,0.00009400764,0.00004459257,0.0002003426,0.00004184592,0.000002749927],"category_scores_gemma":[0.00007568154,0.00005578297,0.00001489916,0.0002159932,0.00007787514,0.0001708673,0.0001280255,0.00004689818,0.00001375467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002934156,"about_ca_system_score_gemma":0.0000841962,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001136417,"about_ca_topic_score_gemma":0.00001468988,"domain_scores_codex":[0.999201,0.00005571447,0.0001215216,0.0002483815,0.0002414179,0.0001319665],"domain_scores_gemma":[0.9993798,0.00002454289,0.0001149134,0.000227093,0.0001724986,0.00008113422],"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.0002410417,0.001725609,0.08038244,0.0001350003,0.0001765715,0.00005708075,0.05293955,0.00005876266,0.003248733,0.6304237,0.009486035,0.2211255],"study_design_scores_gemma":[0.005722639,0.00476848,0.9154153,0.0001979549,0.00008170098,0.00005298244,0.00112524,0.01750123,0.007552416,0.02982992,0.01681469,0.000937472],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6065632,0.002266648,0.2711275,0.0009849812,0.0005138118,0.001080771,0.00000287778,0.0003120601,0.1171482],"genre_scores_gemma":[0.9899786,0.00002978357,0.009817426,0.0000302706,0.00003179448,0.00002098626,0.000003572046,0.000003123474,0.00008450721],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8350328,"threshold_uncertainty_score":0.2274764,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04576077388929656,"score_gpt":0.290040312828687,"score_spread":0.2442795389393904,"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."}}