{"id":"W2604896086","doi":"10.1609/aaai.v31i1.10693","title":"Abstraction in Situation Calculus Action Theories","year":2017,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Abstraction; Computer science; Bisimulation; Action (physics); Situation calculus; Programming language; Theoretical computer science; Epistemology","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.005156604,0.001247024,0.001043917,0.002113886,0.001782013,0.004280744,0.00303302,0.0018361,0.005440191],"category_scores_gemma":[0.006666251,0.001143059,0.004148124,0.001770471,0.005634014,0.008104759,0.004170835,0.004725522,0.0009789277],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003241992,"about_ca_system_score_gemma":0.002764539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005966267,"about_ca_topic_score_gemma":0.003688187,"domain_scores_codex":[0.9954699,0.001746124,0.0004049361,0.0005313424,0.001328376,0.0005193111],"domain_scores_gemma":[0.9965456,0.001897486,0.000260295,0.0006743572,0.0004323948,0.0001898603],"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.000006493633,0.000007788199,0.00007807791,0.00003297987,0.000009221684,0.00007169746,0.0002671692,0.005358362,0.0001539578,0.9909682,0.0002986531,0.002747347],"study_design_scores_gemma":[0.0000142785,0.0000138305,0.0000507148,0.0000362739,0.00001788522,0.00005924237,0.00006649101,0.02904329,0.0003291982,0.9614438,0.008911085,0.00001385976],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004517509,0.0006331741,0.9792473,0.0008368459,0.0000942349,0.0001050615,0.00012459,0.0004096959,0.01403172],"genre_scores_gemma":[0.3231236,0.001297442,0.6638934,0.0006436881,0.0003441465,0.0007141065,0.000567564,0.0002274343,0.009188625],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005966267,"threshold_uncertainty_score":0.02727109,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1414104408708887,"score_gpt":0.3511131627483136,"score_spread":0.2097027218774249,"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."}}