{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009139575,0.001100169,0.001081609,0.002250607,0.00175745,0.003974334,0.003091412,0.001603558,0.003236123],"category_scores_gemma":[0.0374341,0.000993422,0.003143257,0.001250999,0.006040424,0.009147213,0.004672834,0.004026777,0.0004459203],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003643123,"about_ca_system_score_gemma":0.004434508,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01364704,"about_ca_topic_score_gemma":0.00763325,"domain_scores_codex":[0.9901231,0.002766004,0.0006806112,0.001701192,0.003363327,0.001365822],"domain_scores_gemma":[0.9720091,0.02003498,0.002344357,0.002426935,0.002367933,0.0008166345],"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.0004626922,0.000197315,0.004120662,0.0002632932,0.0001975372,0.001603745,0.003103711,0.1422998,0.01037306,0.8089967,0.0007087696,0.0276728],"study_design_scores_gemma":[0.000109851,0.000105033,0.0004024073,0.00006487004,0.00009591843,0.0001258429,0.0002317554,0.4684871,0.009198273,0.5188406,0.002276532,0.0000617423],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1565201,0.0002514038,0.8342321,0.001012994,0.00004528435,0.0001988823,0.0003264876,0.001946203,0.005466656],"genre_scores_gemma":[0.8372851,0.0002286406,0.1587651,0.0001679891,0.00005835532,0.0002143746,0.0005810161,0.0001526634,0.00254668],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01364704,"threshold_uncertainty_score":0.04833531,"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."}}