{"id":"W2465441781","doi":"10.1007/978-3-319-34111-8_28","title":"Flexible Approximators for Approximating Fixpoint Theory","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Rotation formalisms in three dimensions; Computer science; Fixed point; Non-monotonic logic; Operator (biology); Theoretical computer science; Knowledge representation and reasoning; Semantics (computer science); Default logic; Logical consequence; Algebra over a field; Negation; Algorithm; Artificial intelligence; Mathematics; Description logic; Programming language; Autoepistemic logic; Pure mathematics; Multimodal logic","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.003379517,0.00180724,0.002043129,0.002375975,0.001051855,0.003601335,0.004070992,0.001949278,0.009846644],"category_scores_gemma":[0.01823978,0.001183143,0.002552394,0.002630201,0.00292943,0.007054671,0.005373226,0.007391397,0.002518146],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002705354,"about_ca_system_score_gemma":0.001070643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001849134,"about_ca_topic_score_gemma":0.002363006,"domain_scores_codex":[0.9967191,0.0008374797,0.0002229324,0.0006443865,0.001257038,0.0003190376],"domain_scores_gemma":[0.9925913,0.004199585,0.0002445278,0.002224092,0.0005611962,0.0001792222],"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.0003855021,0.00008860781,0.000777308,0.0003106284,0.0001093589,0.0001008273,0.0004940432,0.07029317,0.003060385,0.7419167,0.005598131,0.1768654],"study_design_scores_gemma":[0.0000393576,0.00006577231,0.0001429771,0.0001008475,0.00006805691,0.00009535796,0.00009558449,0.2804748,0.002216784,0.708135,0.008535911,0.00002955207],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01310437,0.0009307036,0.9773548,0.0002482322,0.0001484319,0.00004364727,0.0001237678,0.001214065,0.006831917],"genre_scores_gemma":[0.355542,0.001440813,0.6246254,0.000275544,0.0002923315,0.0003126595,0.001060578,0.001232782,0.01521806],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009846644,"threshold_uncertainty_score":0.03294033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01896253473379628,"score_gpt":0.2474889166451792,"score_spread":0.2285263819113829,"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."}}