{"id":"W1552562496","doi":"","title":"Decision-Theoretic, High-Level Agent Programming in the Situation Calculus","year":2000,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":195,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Markov decision process; Computer science; Situation calculus; Interpreter; Domain (mathematical analysis); Programming language; Programming domain; Symbolic programming; Artificial intelligence; Inductive programming; Logic programming; Partially observable Markov decision process; Process calculus; Theoretical computer science; Markov process; Programming paradigm; Markov chain; Machine learning; Mathematics; Markov model","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.002469878,0.0006401483,0.0005856741,0.0006314011,0.001078498,0.003571429,0.00199594,0.001147116,0.003554962],"category_scores_gemma":[0.002464734,0.0006735682,0.001512226,0.0008389078,0.004398766,0.004680107,0.002101016,0.00304425,0.0007030797],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001897493,"about_ca_system_score_gemma":0.002075329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003574028,"about_ca_topic_score_gemma":0.004691287,"domain_scores_codex":[0.9988247,0.0005111034,0.00007259087,0.000139516,0.0003014127,0.0001506811],"domain_scores_gemma":[0.9990422,0.0005681764,0.00008260546,0.0001316042,0.00007349619,0.0001017923],"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.000008916802,0.00001325059,0.00005923485,0.00002513892,0.000005981686,0.0000537814,0.0001763066,0.01140871,0.0003481651,0.9834978,0.0003601879,0.004042411],"study_design_scores_gemma":[0.00002092315,0.00001639711,0.00003868469,0.00001979538,0.00001414929,0.0000465624,0.00005345573,0.08147258,0.0006622191,0.9092903,0.008351909,0.00001308763],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004445979,0.0002451201,0.9862949,0.0006967667,0.00003436234,0.00004570117,0.00006224553,0.0002857103,0.007889142],"genre_scores_gemma":[0.2383414,0.0006023596,0.7540221,0.0002932015,0.0001019759,0.0002582677,0.0001306379,0.0001114742,0.006138597],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003574028,"threshold_uncertainty_score":0.01376736,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02206810531537987,"score_gpt":0.2568810325249191,"score_spread":0.2348129272095393,"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."}}