{"id":"W2137537910","doi":"10.1109/tai.1995.479382","title":"An effective algorithm for incompatibility abduction problems","year":2002,"lang":"en","type":"article","venue":"","topic":"Rough Sets and Fuzzy Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Probabilistic logic; Computer science; Class (philosophy); Variety (cybernetics); Simple (philosophy); Focus (optics); Artificial intelligence; Machine learning; Logical framework; 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.001713611,0.001616093,0.001400738,0.002277782,0.001402479,0.001908117,0.002844716,0.002835353,0.009240697],"category_scores_gemma":[0.00618778,0.0007332825,0.001396196,0.002028439,0.001090594,0.002991613,0.003074792,0.002255139,0.001835461],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001066005,"about_ca_system_score_gemma":0.001561856,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001762595,"about_ca_topic_score_gemma":0.0021423,"domain_scores_codex":[0.9985968,0.0003339023,0.0001453662,0.0003114153,0.0004932837,0.0001192087],"domain_scores_gemma":[0.998799,0.0006608564,0.00006437852,0.0001669494,0.0002700865,0.0000388104],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001720879,0.0001947036,0.0005136309,0.0002948208,0.00008955772,0.0002178131,0.0002584593,0.1418212,0.003355301,0.1241423,0.01042751,0.7185126],"study_design_scores_gemma":[0.0001639075,0.00007387,0.0001373021,0.00006234244,0.00006050209,0.0002351431,0.0001023432,0.7879743,0.002864843,0.1954005,0.012896,0.00002893955],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002506862,0.0001860301,0.9936957,0.0002352074,0.00004513183,0.0001009665,0.00004056837,0.0004706313,0.002719055],"genre_scores_gemma":[0.03581071,0.0001803367,0.9613317,0.0001373314,0.00004459467,0.0002479014,0.0001873174,0.00008999371,0.001970099],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009240697,"threshold_uncertainty_score":0.03091317,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02257920423267007,"score_gpt":0.2520248037377071,"score_spread":0.2294455995050371,"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."}}