{"id":"W2949214568","doi":"10.48550/arxiv.1509.02012","title":"Bounded Situation Calculus Action Theories","year":2015,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Decidability; Bounded function; Action (physics); Extension (predicate logic); Situation calculus; Action theory (sociology); Object (grammar); Calculus (dental); Mathematics; Tuple; Computer science; Algebra over a field; Mathematical economics; Discrete mathematics; Pure mathematics; Epistemology; Artificial intelligence; Philosophy","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004095871,0.0002750437,0.0002697659,0.0001910508,0.000218921,0.0002505705,0.001272141,0.0003310918,0.00002450201],"category_scores_gemma":[0.00009824267,0.0002879129,0.0001632573,0.0004508878,0.0001223319,0.0006026333,0.001367849,0.0004321009,0.0002808009],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004582413,"about_ca_system_score_gemma":0.0004420487,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001922412,"about_ca_topic_score_gemma":0.0002102354,"domain_scores_codex":[0.9983522,0.0001943811,0.0001492462,0.0008780791,0.0001183362,0.0003077201],"domain_scores_gemma":[0.9981552,0.00007210905,0.000240435,0.0009760857,0.000375459,0.0001807065],"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.00002313818,0.00007434589,0.0004817741,0.00003601122,0.00005517756,0.00007882222,0.001469929,0.009939813,0.00002355631,0.9854296,0.0008275727,0.001560232],"study_design_scores_gemma":[0.0004782134,0.00006529232,0.0007968902,0.00003879749,0.00006423626,0.000007265934,0.0002337138,0.3363497,0.0002658617,0.65895,0.002266783,0.0004832345],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1627348,0.00007883637,0.8038979,0.00007201635,0.001694669,0.0002126975,0.00000430579,0.0004204046,0.03088435],"genre_scores_gemma":[0.993764,0.00008560382,0.0006201036,0.00004289596,0.0001879306,0.000001078449,0.0000234602,0.00001199566,0.005262971],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8310292,"threshold_uncertainty_score":0.9999573,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1107812676465257,"score_gpt":0.2193130126846531,"score_spread":0.1085317450381274,"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."}}