{"id":"W2076950106","doi":"10.5555/777092.777173","title":"Non-Markovian control in the situation calculus","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Situation calculus; Markov process; Property (philosophy); Action (physics); Computer science; Operator (biology); Calculus (dental); Markov property; Markov chain; State (computer science); Theoretical computer science; Algebra over a field; Mathematics; Algorithm; Artificial intelligence; Markov model; Pure mathematics; Machine learning; 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.003462816,0.0007093428,0.0007517966,0.001080003,0.001667982,0.004227292,0.001593905,0.001188095,0.003677593],"category_scores_gemma":[0.004023284,0.0006716708,0.001643527,0.001086897,0.006800459,0.007822344,0.002330625,0.002940794,0.0004674216],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003482832,"about_ca_system_score_gemma":0.002579459,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007699122,"about_ca_topic_score_gemma":0.005938197,"domain_scores_codex":[0.9973511,0.0007921738,0.000215901,0.0004683224,0.0008400391,0.0003325058],"domain_scores_gemma":[0.9976006,0.001274223,0.0002217038,0.0003472513,0.0003406118,0.0002155999],"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.00001006137,0.000007971016,0.00005572624,0.00001562591,0.000005599999,0.00004969311,0.0001764873,0.002946936,0.0001949905,0.994427,0.0001962838,0.001913718],"study_design_scores_gemma":[0.00001464004,0.000009500797,0.00004714303,0.00001330296,0.00001240864,0.00002584417,0.00003718219,0.0190452,0.0002917708,0.9766579,0.003834197,0.00001094775],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03615067,0.00196029,0.9043226,0.00300365,0.0002123066,0.0001127364,0.0002105309,0.0006053021,0.0534219],"genre_scores_gemma":[0.7888634,0.001398707,0.1945842,0.0004094784,0.000319439,0.0003598753,0.000218777,0.0001294135,0.01371676],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007699122,"threshold_uncertainty_score":0.02526987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01383798470843147,"score_gpt":0.2173002804085869,"score_spread":0.2034622957001554,"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."}}