{"id":"W2228999052","doi":"10.1016/j.artint.2016.04.006","title":"Bounded situation calculus action theories","year":2016,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"Provincia autonoma di Bolzano - Alto Adige; Sapienza Università di Roma","keywords":"Decidability; Bounded function; Situation calculus; Action (physics); Extension (predicate logic); Action theory (sociology); Mathematics; Object (grammar); Calculus (dental); Tuple; Algebra over a field; Computer science; Discrete mathematics; Pure mathematics; Artificial intelligence; 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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003605584,0.0001229195,0.0001092531,0.0000700695,0.0002300996,0.0001888961,0.0005194712,0.00007069055,0.0001082033],"category_scores_gemma":[0.0003337691,0.00008122114,0.00006345562,0.0003145796,0.0001344296,0.0007213292,0.0001185585,0.0000656439,0.001592921],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007620882,"about_ca_system_score_gemma":0.00007302329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005287568,"about_ca_topic_score_gemma":0.0002395517,"domain_scores_codex":[0.9988251,0.00008039269,0.0002442489,0.0003578835,0.0002105808,0.0002818221],"domain_scores_gemma":[0.9990564,0.0002158334,0.00008844798,0.000402835,0.0001559352,0.00008053939],"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.000005802018,0.0000264971,0.00003710348,0.000001475225,0.00000352114,0.000002083102,0.0007998088,0.000003930545,0.007118454,0.6395037,0.00005351453,0.3524441],"study_design_scores_gemma":[0.00001766908,0.00007233631,0.0002368245,0.00001501361,0.000003715018,0.000006530881,0.0001317152,0.006766836,0.314371,0.6764714,0.0017482,0.0001587539],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02799688,0.00004468492,0.9631725,0.001172793,0.001116495,0.0001027995,8.261579e-7,0.0002328339,0.006160174],"genre_scores_gemma":[0.9965777,0.00003637452,0.002250171,0.0001041847,0.0002257264,0.00001435188,7.236166e-7,0.000006251334,0.0007845255],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9685808,"threshold_uncertainty_score":0.9991844,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06660637544232685,"score_gpt":0.3137446923820261,"score_spread":0.2471383169396993,"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."}}