{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002038968,0.00006935002,0.0001147218,0.00003168932,0.00004316694,0.00002735239,0.0004574329,0.00003334034,0.00007626985],"category_scores_gemma":[0.00002137532,0.0000508723,0.0000432878,0.0001133465,0.0000289986,0.0003489759,0.0001502687,0.00003831653,0.00003707325],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001130506,"about_ca_system_score_gemma":0.00002641634,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009323878,"about_ca_topic_score_gemma":0.00002236573,"domain_scores_codex":[0.9993973,0.00003151002,0.0001504222,0.0001813107,0.00009374903,0.0001456509],"domain_scores_gemma":[0.9993963,0.00001941121,0.00006114625,0.0003813625,0.00006554952,0.00007619939],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001092079,0.0003108998,0.01129408,0.00007472746,0.00004022026,0.00001200113,0.01342357,0.000001210273,0.004054041,0.8105825,0.01591705,0.1442788],"study_design_scores_gemma":[0.003538392,0.003994555,0.03604996,0.0003657008,0.0001020316,0.0002209689,0.001536603,0.1231405,0.5576915,0.1311691,0.139492,0.002698791],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09339158,0.00035661,0.4787378,0.00008560457,0.0002656056,0.0001395446,0.000001922312,0.0001976824,0.4268236],"genre_scores_gemma":[0.961736,0.000008077269,0.03723041,0.000114186,0.00002032742,0.000001427188,0.000001241474,0.000003265072,0.0008850737],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8683444,"threshold_uncertainty_score":0.2074512,"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."}}