{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004707773,0.0006223987,0.0006537804,0.001100319,0.001094938,0.002301524,0.001842617,0.001037979,0.00255212],"category_scores_gemma":[0.01907966,0.0008060725,0.001901172,0.0007208937,0.004264367,0.00527467,0.004049883,0.00193424,0.0003699372],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002071432,"about_ca_system_score_gemma":0.002800288,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004957543,"about_ca_topic_score_gemma":0.00555995,"domain_scores_codex":[0.9951081,0.001620696,0.0003206698,0.0008652427,0.001368027,0.000717307],"domain_scores_gemma":[0.9871295,0.008365993,0.001131375,0.00214058,0.0009110706,0.0003215254],"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.0009382472,0.0003120979,0.01143428,0.0006266963,0.0002739731,0.001832181,0.001942022,0.217475,0.03162619,0.6758784,0.002022635,0.05563827],"study_design_scores_gemma":[0.0001089313,0.0002250547,0.001162092,0.00009963098,0.0001662815,0.0002418744,0.0003877705,0.5744339,0.05096875,0.3660247,0.006109532,0.00007147825],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2364909,0.0001808975,0.7511626,0.0005037969,0.00006933588,0.0001415625,0.0003234179,0.005252453,0.005874968],"genre_scores_gemma":[0.8574443,0.0001070163,0.1398862,0.0001598512,0.00003739564,0.0001293871,0.0003362306,0.0003282728,0.001571403],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004957543,"threshold_uncertainty_score":0.02489734,"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."}}