{"id":"W2899509916","doi":"","title":"Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus.","year":2018,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Iterated function; Belief revision; Computer science; Calculus (dental); Situation calculus; Theoretical computer science; Mathematics; Artificial intelligence; Medicine","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.009245238,0.0009388765,0.0009664577,0.002242462,0.00231194,0.008289666,0.002857887,0.00355426,0.009088459],"category_scores_gemma":[0.04329071,0.001529871,0.002889626,0.001288003,0.00565509,0.01509073,0.00475339,0.0059732,0.001227505],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003044092,"about_ca_system_score_gemma":0.002055062,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003523191,"about_ca_topic_score_gemma":0.004457579,"domain_scores_codex":[0.9923838,0.003236491,0.0007658555,0.001009285,0.001946198,0.0006584186],"domain_scores_gemma":[0.9825691,0.01292339,0.000800814,0.001531479,0.001525093,0.0006501433],"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.00009899439,0.00004212874,0.0003494753,0.00007301149,0.00004426348,0.0001992565,0.0007122982,0.007990809,0.0007480371,0.9801208,0.0006219003,0.008998906],"study_design_scores_gemma":[0.00002997,0.00001981,0.0000880093,0.00002926511,0.00003188018,0.00005702432,0.00009659885,0.02965307,0.0005888016,0.9680296,0.00135653,0.0000193744],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02928418,0.0005459496,0.9356049,0.001817368,0.0001337537,0.0001786422,0.0002855381,0.0007015255,0.03144822],"genre_scores_gemma":[0.6891655,0.0002721909,0.3041564,0.0003379333,0.000126972,0.0002530987,0.0003287614,0.0001608064,0.005198381],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009245238,"threshold_uncertainty_score":0.04889405,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.151396291895283,"score_gpt":0.3716772708593377,"score_spread":0.2202809789640546,"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."}}