{"id":"W2102812030","doi":"10.1109/ismvl.1991.130733","title":"The abnormality predicate","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"Natural Sciences and Engineering Research Council of Canada; University of Saskatchewan","keywords":"Circumscription; Rotation formalisms in three dimensions; Randomness; Predicate (mathematical logic); Computer science; Non-monotonic logic; Abnormality; Class (philosophy); Decidability; Artificial intelligence; Theoretical computer science; Mathematics; Programming language; Psychology","routes":{"ca_aff":true,"ca_fund":true,"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.005398706,0.000769385,0.00108553,0.001957965,0.003792034,0.005024179,0.002116163,0.003470295,0.01331654],"category_scores_gemma":[0.01522684,0.000727131,0.00159985,0.002379371,0.009811725,0.01750123,0.00605625,0.00556678,0.003269057],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002693905,"about_ca_system_score_gemma":0.002377227,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002178543,"about_ca_topic_score_gemma":0.001189431,"domain_scores_codex":[0.9937972,0.001657953,0.0005037781,0.001501519,0.00172176,0.0008178678],"domain_scores_gemma":[0.988456,0.00728663,0.0009165974,0.001692514,0.001220986,0.0004272111],"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.00004529154,0.000009106752,0.0003389293,0.00003115725,0.000005832169,0.0001187138,0.0002573604,0.0002809917,0.0003371289,0.987056,0.003886176,0.007633325],"study_design_scores_gemma":[0.00003331255,0.00004585787,0.0004157956,0.00005393884,0.00003907423,0.0006884788,0.0002867235,0.004739824,0.003287181,0.855006,0.1353537,0.00005021941],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04007137,0.002159782,0.6732595,0.02863793,0.001643823,0.0003872194,0.002548595,0.004686238,0.2466055],"genre_scores_gemma":[0.8269059,0.001807356,0.1244879,0.00652643,0.001668144,0.0006133546,0.002540021,0.001284119,0.03416678],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01331654,"threshold_uncertainty_score":0.04454827,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02101367819878916,"score_gpt":0.2111460447829463,"score_spread":0.1901323665841571,"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."}}