{"id":"W2142128908","doi":"","title":"Automata-Based Abduction for Tractable Diagnosis.","year":2010,"lang":"en","type":"article","venue":"Description Logics","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Inference; Abductive reasoning; Axiom; Domain (mathematical analysis); Theoretical computer science; Complete information; Automaton; Artificial intelligence; Non-monotonic logic; Representation (politics); Interpretation (philosophy); Monotonic function; Machine learning; Programming language; Mathematical economics; Mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003986652,0.001621664,0.001060896,0.002011505,0.001019755,0.002955619,0.002822758,0.001831356,0.007697817],"category_scores_gemma":[0.01660074,0.001143514,0.004552469,0.001302038,0.003743092,0.004167427,0.005551188,0.004593375,0.001801079],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002614786,"about_ca_system_score_gemma":0.002734333,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002857573,"about_ca_topic_score_gemma":0.00387202,"domain_scores_codex":[0.9960881,0.001145507,0.000471916,0.0009008392,0.001173707,0.0002199265],"domain_scores_gemma":[0.9896629,0.00766035,0.0005347141,0.001463282,0.0005686856,0.0001100271],"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.0001985737,0.0001332805,0.001087274,0.001035606,0.0002611858,0.0004950134,0.0005553476,0.2244369,0.007091274,0.5873452,0.003785004,0.1735754],"study_design_scores_gemma":[0.00004721903,0.00004836333,0.00008393078,0.0001247981,0.00007210555,0.0001884781,0.00007206472,0.5297327,0.005709182,0.4549036,0.008988002,0.00002953663],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001419322,0.0001725328,0.9954193,0.0002736318,0.00003183535,0.0001108566,0.0001209743,0.0007116952,0.001739983],"genre_scores_gemma":[0.1022219,0.0004502227,0.8927717,0.0003032684,0.00006156779,0.0005404092,0.0006540729,0.0001685619,0.002828354],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007697817,"threshold_uncertainty_score":0.02575177,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0428340268826681,"score_gpt":0.265612261656814,"score_spread":0.2227782347741459,"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."}}