{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00126107,0.001163045,0.001636986,0.0005492022,0.0007313855,0.0006622126,0.004698374,0.0005140353,0.0003424522],"category_scores_gemma":[0.0007444781,0.001349308,0.001191454,0.001140823,0.0005139629,0.001554927,0.0049384,0.0009321459,0.000140807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005186805,"about_ca_system_score_gemma":0.002509428,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002993844,"about_ca_topic_score_gemma":0.000149175,"domain_scores_codex":[0.9929619,0.0007088129,0.001064881,0.003742395,0.0002678015,0.001254176],"domain_scores_gemma":[0.9918599,0.0008055539,0.001196238,0.00294666,0.002319649,0.0008720414],"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.0008046383,0.007980843,0.009568575,0.005814678,0.001987257,0.002707829,0.01653314,0.06053217,0.002815866,0.8716536,0.0009314524,0.01866994],"study_design_scores_gemma":[0.002821984,0.0009249464,0.0003233807,0.001138315,0.0004200269,0.00008299617,0.001845227,0.9515728,0.02582078,0.0105859,0.002557584,0.00190604],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5854167,0.0006441212,0.4039052,0.00002439579,0.002156915,0.001031747,0.00008800637,0.0001637401,0.006569211],"genre_scores_gemma":[0.9847893,0.0005625373,0.009388357,0.00009886864,0.0005761003,0.00001468604,0.00009016691,0.0000921218,0.004387856],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8910406,"threshold_uncertainty_score":0.9988956,"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."}}