{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003366543,0.0001019598,0.0001190317,0.00007896475,0.0001559689,0.000207327,0.0004059339,0.0001158848,0.0000226449],"category_scores_gemma":[0.0002349823,0.00008753832,0.0000726195,0.0001579303,0.00004343729,0.0005544613,0.0000315138,0.0001250329,0.00004134585],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001949446,"about_ca_system_score_gemma":0.0000444225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001688593,"about_ca_topic_score_gemma":0.00003762461,"domain_scores_codex":[0.9991745,0.00002154956,0.0001658463,0.000272765,0.0001408178,0.0002245626],"domain_scores_gemma":[0.9992406,0.000123026,0.00007870287,0.000400146,0.0001067741,0.00005079763],"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.00004689844,0.000932514,0.01425042,0.0001148366,0.00002950869,0.00001703191,0.0005598349,0.001236768,0.05283919,0.6018395,0.07543372,0.2526997],"study_design_scores_gemma":[0.001622136,0.0004493484,0.05561538,0.00001927324,0.00003369715,0.00004266409,0.0001050643,0.4182838,0.04614334,0.06817242,0.4088767,0.0006361299],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09115369,0.00004833662,0.9016456,0.002568022,0.003143229,0.000248505,0.000004057562,0.0005851584,0.0006033844],"genre_scores_gemma":[0.77651,0.000009483957,0.2224565,0.0005778464,0.0001431289,0.0001342885,0.000008358691,0.000005781329,0.0001545624],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6853563,"threshold_uncertainty_score":0.3569709,"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."}}