{"id":"W2415711950","doi":"10.1609/aaai.v30i1.10117","title":"Verifying ConGolog Programs on Bounded Situation Calculus Theories","year":2016,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Bounded function; Situation calculus; Decidability; Computer science; Generality; Compiler; Domain (mathematical analysis); Semantics (computer science); Variable (mathematics); Calculus (dental); Action (physics); Programming language; Theoretical computer science; 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":[],"consensus_categories":[],"category_scores_codex":[0.0006293319,0.0002607011,0.0002694757,0.0001041599,0.0003113665,0.0003526812,0.001830951,0.0001264622,0.00004708319],"category_scores_gemma":[0.0008780023,0.0001449341,0.0001346302,0.0004894938,0.0005258701,0.0004989071,0.0003369658,0.000204541,0.0002644913],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000863783,"about_ca_system_score_gemma":0.0001236066,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002391206,"about_ca_topic_score_gemma":0.00002018206,"domain_scores_codex":[0.9980066,0.00003345044,0.0004469169,0.0005804827,0.0004903147,0.0004421701],"domain_scores_gemma":[0.9982629,0.0001859018,0.0003783295,0.0003663675,0.0007053488,0.0001011193],"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.0000516995,0.0001149174,0.0002840101,0.00001306024,0.00001052565,4.16098e-7,0.001317782,0.00000103405,0.01690035,0.7782175,0.00003824378,0.2030505],"study_design_scores_gemma":[0.00005813523,0.0004930284,0.0003266089,0.0003183498,0.000009930822,0.000004542382,0.0003006927,0.005025815,0.4553861,0.5375058,0.00031464,0.0002563764],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6510102,0.00006729319,0.2080392,0.01060571,0.002465484,0.001547743,0.000006389919,0.0006691989,0.1255888],"genre_scores_gemma":[0.9981402,0.00003144931,0.0008743059,0.0001636818,0.0001040087,0.00004946544,3.412568e-7,0.00001181424,0.0006247055],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4384857,"threshold_uncertainty_score":0.5910242,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07104795872369078,"score_gpt":0.2885867582695326,"score_spread":0.2175387995458418,"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."}}