{"id":"W2177576448","doi":"","title":"Decidable reasoning in a fragment of the epistemic situation calculus","year":2014,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Situation calculus; Decidability; Undecidable problem; Fragment (logic); Calculus (dental); Formalism (music); Computer science; Frame problem; Circumscription; Knowledge representation and reasoning; Mathematics; Theoretical computer science; Artificial intelligence; Algorithm","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.006565571,0.0009273933,0.001458814,0.002040207,0.002953434,0.006037092,0.003304335,0.002126024,0.00400987],"category_scores_gemma":[0.01590351,0.001106526,0.004075114,0.002040118,0.00854097,0.01232077,0.00496286,0.005805952,0.0006234269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004457988,"about_ca_system_score_gemma":0.003590089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01091449,"about_ca_topic_score_gemma":0.007402188,"domain_scores_codex":[0.9916298,0.00257521,0.0006146804,0.001404229,0.00290022,0.000875915],"domain_scores_gemma":[0.9896296,0.007221533,0.0005298976,0.001444329,0.000837209,0.0003374042],"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.00005407531,0.00004256946,0.0001283583,0.00007221737,0.00003689572,0.0002864993,0.0006360048,0.01463766,0.0009954716,0.9738897,0.001058376,0.008162053],"study_design_scores_gemma":[0.00003881229,0.00001539206,0.00006713251,0.00002757158,0.00003890835,0.0001052453,0.00007217938,0.05351655,0.000954033,0.9395089,0.005632423,0.0000228839],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02161691,0.0007187166,0.9560416,0.001607794,0.0001190445,0.000176553,0.0003679015,0.0009733466,0.01837823],"genre_scores_gemma":[0.6143344,0.0009979921,0.374312,0.0007804264,0.0004360374,0.0004719718,0.001133259,0.000197057,0.007336894],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01091449,"threshold_uncertainty_score":0.03472245,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02266828649504329,"score_gpt":0.2750889418451013,"score_spread":0.252420655350058,"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."}}