{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005451614,0.001153783,0.001030107,0.001870558,0.003026182,0.004418706,0.003254639,0.001932166,0.007334115],"category_scores_gemma":[0.01125743,0.0008656097,0.002626311,0.001481026,0.008505611,0.01096286,0.004835498,0.004756514,0.001060094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003591532,"about_ca_system_score_gemma":0.002474149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005401705,"about_ca_topic_score_gemma":0.003171889,"domain_scores_codex":[0.994446,0.001788208,0.0004043716,0.001044833,0.001573475,0.0007430266],"domain_scores_gemma":[0.9917589,0.0048765,0.0005866851,0.001437844,0.0008688151,0.0004713037],"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.00001041662,0.000009039541,0.0001133171,0.00003125098,0.000007270218,0.00007505484,0.0002614323,0.001446943,0.0002282219,0.9953256,0.0003444639,0.00214693],"study_design_scores_gemma":[0.00001546391,0.00001196829,0.00007338924,0.00002748021,0.00001632018,0.00006638573,0.00008531514,0.01360078,0.0005239134,0.9775099,0.008055513,0.00001345998],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02594419,0.001185549,0.9166302,0.002808417,0.0002168595,0.0002156869,0.0004692615,0.001006601,0.05152331],"genre_scores_gemma":[0.5937245,0.001019592,0.3889439,0.0009494958,0.0003537551,0.0006238807,0.0007520904,0.0002649586,0.0133678],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007334115,"threshold_uncertainty_score":0.02883124,"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."}}