{"id":"W3164300571","doi":"10.48550/arxiv.2105.11071","title":"Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an\\n Approximator of AFT","year":2021,"lang":"","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Fixed point; Operator (biology); Semantics (computer science); Context (archaeology); Computer science; Abstraction; Extension (predicate logic); Algebra over a field; Computation; Algebraic semantics; Theoretical computer science; Mathematics; Programming language; Algorithm; Discrete mathematics; Pure mathematics","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.00227904,0.0004780001,0.0005789489,0.001830795,0.0009357112,0.002814284,0.001596419,0.0009529918,0.004037295],"category_scores_gemma":[0.005850205,0.0004347215,0.002121263,0.0010817,0.002710748,0.005120432,0.003182426,0.002724388,0.0005525887],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001853159,"about_ca_system_score_gemma":0.001062973,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002786699,"about_ca_topic_score_gemma":0.002459599,"domain_scores_codex":[0.997635,0.0004156007,0.0002240198,0.0006945315,0.0008300872,0.0002006623],"domain_scores_gemma":[0.9974462,0.001056328,0.000175732,0.0006550391,0.0005714578,0.00009531193],"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.0000659556,0.00002676109,0.0006914953,0.0001047052,0.00004924982,0.0002067114,0.0008300571,0.0139753,0.004487816,0.9491814,0.000587612,0.02979295],"study_design_scores_gemma":[0.00002111249,0.00006139507,0.0003472759,0.0000676074,0.0001011915,0.0003101694,0.0002824029,0.1732778,0.008894978,0.8059818,0.01060858,0.00004580089],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02753188,0.0001148747,0.9672667,0.0002098151,0.00003609513,0.00005056809,0.0001014308,0.0004593188,0.004229296],"genre_scores_gemma":[0.4866903,0.0002410559,0.5057575,0.0002430304,0.00008596145,0.0001837526,0.0004741711,0.0002293204,0.006094906],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004037295,"threshold_uncertainty_score":0.01350605,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08214952523003266,"score_gpt":0.2244995795538269,"score_spread":0.1423500543237942,"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."}}