{"id":"W147871885","doi":"","title":"Mutual belief revision: semantics and computation","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Intuition; Belief revision; Semantics (computer science); Artificial intelligence; Computation; Computational model; Computational complexity theory; Theoretical computer science; Perspective (graphical); Cognitive science; Programming language; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004075078,0.00007191823,0.00008694376,0.00004956865,0.00009680483,0.00009739075,0.0001778168,0.00004174679,0.00001043986],"category_scores_gemma":[0.00003503013,0.00005566027,0.00002081679,0.0001764036,0.00002984343,0.0001908727,0.0001550652,0.00005667517,0.0000892073],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000109683,"about_ca_system_score_gemma":0.00001430973,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005864858,"about_ca_topic_score_gemma":0.00001193056,"domain_scores_codex":[0.9993503,0.00001654303,0.000132469,0.0002045776,0.000130139,0.000165945],"domain_scores_gemma":[0.9995581,0.0001123403,0.00003595807,0.0001442437,0.00006789034,0.00008145902],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004115111,0.00006987072,0.003019009,0.00002626955,0.000009057921,0.00003863137,0.002141943,0.00001215056,0.0001763819,0.5648594,0.007530414,0.4221127],"study_design_scores_gemma":[0.002751054,0.001106855,0.1450402,0.0001714605,0.00003700346,0.0005488612,0.0005682161,0.5968498,0.007330942,0.05401686,0.1900227,0.001556024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02632848,0.0002489492,0.9294317,0.0003026362,0.0002221221,0.00006080044,9.057606e-8,0.0001343582,0.04327081],"genre_scores_gemma":[0.9194093,0.00002994312,0.0789329,0.0003041706,0.0001012442,2.276839e-7,0.000001031839,0.000003174606,0.001218022],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8930808,"threshold_uncertainty_score":0.226976,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01761701728747976,"score_gpt":0.276070799122742,"score_spread":0.2584537818352622,"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."}}