{"id":"W145848708","doi":"10.5591/978-1-57735-516-8/ijcai11-145","title":"Revising by an inconsistent set of formulas","year":2011,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Belief revision; Iterated function; Sequence (biology); Set (abstract data type); Ranking (information retrieval); Representation (politics); Computer science; State (computer science); Function (biology); Artificial intelligence; Mathematics; Theoretical computer science; Algorithm; Programming language","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.01037749,0.0006550558,0.00114874,0.002654128,0.002040447,0.004305706,0.00266199,0.001898788,0.002423786],"category_scores_gemma":[0.04245166,0.000737366,0.001860701,0.001231508,0.003690824,0.009170217,0.003353626,0.00309356,0.0002804999],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001625937,"about_ca_system_score_gemma":0.001624132,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008082743,"about_ca_topic_score_gemma":0.0008216705,"domain_scores_codex":[0.9887972,0.004356101,0.001055964,0.001816459,0.003465705,0.0005085609],"domain_scores_gemma":[0.9717494,0.01368856,0.002837022,0.00672077,0.004398049,0.0006062076],"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.0002682714,0.0001435048,0.004449967,0.0002295061,0.0002260458,0.00100375,0.003302959,0.01546772,0.006940769,0.8933547,0.001560885,0.07305188],"study_design_scores_gemma":[0.00007173023,0.0001382746,0.001044306,0.0001088501,0.0001751231,0.000673345,0.0005247891,0.1045061,0.006571814,0.8785774,0.007540571,0.00006765811],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1920535,0.000460948,0.7926222,0.002622762,0.0001366336,0.0001515283,0.0001540839,0.000538377,0.01125982],"genre_scores_gemma":[0.7001871,0.0002174081,0.2954851,0.0006307371,0.0001447997,0.000223125,0.0002052638,0.0001059258,0.002800528],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01037749,"threshold_uncertainty_score":0.05488211,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05759725426541475,"score_gpt":0.2568479911394098,"score_spread":0.1992507368739951,"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."}}