{"id":"W4391400188","doi":"10.1007/s10472-023-09908-4","title":"A knowledge compilation perspective on queries and transformations for belief tracking","year":2024,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Minnow Environmental (Canada)","funders":"Agence Nationale de la Recherche","keywords":"Succinctness; Nondeterministic algorithm; Computer science; Theoretical computer science; Action (physics); State (computer science); Belief revision; Perspective (graphical); 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.005662745,0.0007568366,0.00134333,0.002734152,0.001611761,0.007190005,0.004697509,0.002389389,0.008645183],"category_scores_gemma":[0.02050343,0.001550595,0.003073223,0.003925713,0.007281129,0.01847769,0.004711641,0.005432835,0.001295107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002490583,"about_ca_system_score_gemma":0.002252051,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009846894,"about_ca_topic_score_gemma":0.005808369,"domain_scores_codex":[0.9938481,0.002244241,0.0006087357,0.001007579,0.001788358,0.0005029115],"domain_scores_gemma":[0.9841669,0.01039396,0.0004416401,0.003149243,0.001539584,0.0003087754],"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.00004975138,0.00003110417,0.0001812918,0.0001214628,0.00003354105,0.00009508116,0.0006884625,0.01167857,0.0005695267,0.9570836,0.002059892,0.02740773],"study_design_scores_gemma":[0.00001774105,0.00002164435,0.0001012239,0.00005110591,0.00005454394,0.00007872903,0.0002049237,0.06043641,0.001962949,0.9276212,0.009427665,0.00002192835],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003245395,0.0003577097,0.9870331,0.001394847,0.00006497674,0.00006650708,0.0002418548,0.0006414301,0.006954291],"genre_scores_gemma":[0.26898,0.0009600027,0.7168403,0.001033983,0.0004800821,0.0002936845,0.001071062,0.0007414308,0.009599528],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009846894,"threshold_uncertainty_score":0.02994776,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1747475919943166,"score_gpt":0.39334058518358,"score_spread":0.2185929931892634,"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."}}