{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003021995,0.001247782,0.0008925306,0.002100521,0.002040137,0.005577764,0.003219328,0.002191027,0.01386637],"category_scores_gemma":[0.008770905,0.0008689355,0.001680254,0.001908614,0.005544877,0.009035842,0.002816296,0.004182538,0.002257714],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003299216,"about_ca_system_score_gemma":0.002558947,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005787642,"about_ca_topic_score_gemma":0.004274846,"domain_scores_codex":[0.9961929,0.001552065,0.0002559046,0.000563977,0.001108268,0.0003269139],"domain_scores_gemma":[0.9948955,0.003313269,0.0001976798,0.000729559,0.0005999303,0.0002640746],"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.00001100953,0.00001134202,0.00003823251,0.00002289602,0.000005437939,0.00002634042,0.0001202384,0.001439514,0.00006669807,0.993935,0.0008783817,0.003444782],"study_design_scores_gemma":[0.0000087415,0.000002869511,0.00001813084,0.00001049658,0.000005723748,0.00001273907,0.00002873859,0.006027277,0.00008600861,0.9910905,0.002704804,0.000003904522],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01134643,0.001270337,0.8653191,0.003999411,0.0001827835,0.000125359,0.0005573644,0.0008489743,0.1163503],"genre_scores_gemma":[0.6592203,0.001745974,0.2954189,0.0009862719,0.0003115791,0.0004900532,0.00166011,0.0002562953,0.03991052],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01386637,"threshold_uncertainty_score":0.04638761,"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."}}