{"id":"W6947940579","doi":"10.48550/arxiv.2208.03087","title":"A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases","year":2022,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Species Distribution and Climate Change","field":"Environmental Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Knowledge base; Disjunctive normal form; Extension (predicate logic); Knowledge representation and reasoning; Negation; Fixed point; Set (abstract data type); Semantics (computer science); Characterization (materials science)","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.002823995,0.0006934495,0.0007211902,0.003346773,0.001227062,0.003924697,0.003020881,0.00139829,0.003384483],"category_scores_gemma":[0.009409171,0.000701395,0.002403936,0.001964081,0.004617515,0.007914455,0.003267139,0.003770171,0.0004599603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003696588,"about_ca_system_score_gemma":0.001279629,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00766359,"about_ca_topic_score_gemma":0.004145887,"domain_scores_codex":[0.9971449,0.0003457932,0.0002259142,0.0008357314,0.001101438,0.0003461567],"domain_scores_gemma":[0.9944332,0.002646127,0.0004661127,0.0008470676,0.00135109,0.0002564262],"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.00006669253,0.00003894803,0.0008551326,0.000107351,0.00006391202,0.0003748903,0.001053075,0.0320251,0.004284598,0.9396728,0.0006015485,0.02085598],"study_design_scores_gemma":[0.00001709227,0.00003657163,0.0002508645,0.00006231906,0.00005634746,0.0001913463,0.0002134671,0.1180033,0.005657588,0.8707764,0.004695145,0.00003975727],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05057327,0.0002017832,0.9422768,0.0003745193,0.00002168801,0.00007525377,0.0002828646,0.0005202129,0.005673578],"genre_scores_gemma":[0.6215918,0.0003219774,0.3718679,0.0002995055,0.00005887756,0.0001958509,0.0008973206,0.0002209276,0.004545698],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00766359,"threshold_uncertainty_score":0.02682078,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07979874826720865,"score_gpt":0.1945965031584108,"score_spread":0.1147977548912022,"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."}}