{"id":"W3080556762","doi":"10.24963/kr.2020/57","title":"Changing Beliefs about Domain Dynamics in the Situation Calculus","year":2020,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Vector Institute; University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Canadian Institute for Advanced Research","keywords":"Situation calculus; Axiom; Domain (mathematical analysis); Action (physics); Dynamics (music); Rewriting; Relation (database); Computer science; Belief revision; Artificial intelligence; Epistemology; Mathematics; Psychology; Data mining; Programming language","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.0003620365,0.00007860891,0.00008199726,0.00004994919,0.0001013073,0.000123145,0.0006331691,0.00003724737,0.00001276319],"category_scores_gemma":[0.00005015822,0.00005066774,0.00003660833,0.0006288723,0.00001687637,0.0001852316,0.0001628982,0.0001025105,0.0001107618],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005929388,"about_ca_system_score_gemma":0.00002794465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002868254,"about_ca_topic_score_gemma":0.000284647,"domain_scores_codex":[0.9992131,0.00006920805,0.0001163297,0.0002111266,0.0001632776,0.000226933],"domain_scores_gemma":[0.9996294,0.00006449817,0.00003239779,0.0002030094,0.0000241832,0.00004644804],"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.000001168946,0.00002366084,0.0005589333,0.000006514142,0.000002626152,0.00001589713,0.02827282,0.00005357673,0.00003775449,0.954389,0.0003331032,0.01630492],"study_design_scores_gemma":[0.0003238323,0.00006503116,0.003337129,0.00001093511,0.000002183514,0.000008758599,0.00219351,0.9833937,0.0001302939,0.00804003,0.002327937,0.0001666529],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01512627,0.00008343684,0.9101692,0.006818213,0.000124678,0.000134689,4.467267e-7,0.0001090324,0.06743401],"genre_scores_gemma":[0.9911063,0.000006752781,0.005592734,0.002912033,0.0001236186,0.000009927673,0.000003393564,0.00000370314,0.0002415143],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9833401,"threshold_uncertainty_score":0.206617,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01558418458708108,"score_gpt":0.2335903772062905,"score_spread":0.2180061926192094,"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."}}