{"id":"W1539123322","doi":"10.1613/jair.2539","title":"Compositional Belief Update","year":2008,"lang":"en","type":"article","venue":"Journal of Artificial Intelligence Research","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Operator (biology); Sentence; Hierarchy; Core (optical fiber); Dual (grammatical number); Belief revision; Semantics (computer science); Class (philosophy)","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.002752319,0.0001161882,0.0002363791,0.000503389,0.000575255,0.0001911106,0.001627449,0.00008183362,0.0001853731],"category_scores_gemma":[0.0004043944,0.00009260908,0.0001667955,0.0009694602,0.0003985139,0.0006628192,0.0003040506,0.0008075266,0.0008195289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001234659,"about_ca_system_score_gemma":0.0005650731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000189997,"about_ca_topic_score_gemma":0.000009375884,"domain_scores_codex":[0.9968782,0.0003319639,0.0006539274,0.0002344226,0.00137328,0.0005282134],"domain_scores_gemma":[0.997031,0.0004625696,0.0001878399,0.0003216012,0.001706553,0.0002904384],"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.0001537397,0.0009796813,0.0006928133,0.00001807099,0.00007011468,0.001322504,0.003479547,0.000485678,0.01463756,0.8041507,0.0147089,0.1593007],"study_design_scores_gemma":[0.0001955741,0.002508526,0.002639023,0.0001828246,0.00001241991,0.004295643,0.0007325708,0.04013323,0.3330041,0.5797669,0.03588528,0.0006440164],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.137075,0.001100678,0.8475596,0.004657589,0.001040795,0.0001561566,0.000001978724,0.0000428042,0.008365434],"genre_scores_gemma":[0.9815009,0.0005319416,0.01690979,0.00009105597,0.0007316645,0.000002354268,6.910984e-7,0.000008126412,0.0002234345],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.844426,"threshold_uncertainty_score":0.9999585,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1961125141801061,"score_gpt":0.4013635257268115,"score_spread":0.2052510115467054,"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."}}