{"id":"W2017548357","doi":"10.1016/j.ijar.2004.08.001","title":"New directions in fuzzy automata","year":2004,"lang":"en","type":"article","venue":"International Journal of Approximate Reasoning","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":149,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Guelph","funders":"","keywords":"Fuzzy logic; Computer science; Theoretical computer science; Automata theory; Automaton; Fuzzy set operations; Mathematics; Fuzzy set; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.000756337,0.00008995329,0.0001365634,0.0003909602,0.0000345992,0.000179893,0.001176198,0.00004503285,0.000006808143],"category_scores_gemma":[0.0003417688,0.00008429087,0.00007590682,0.000333177,0.00001736057,0.00129497,0.0001287329,0.000228547,0.00001198532],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003257013,"about_ca_system_score_gemma":0.0002446866,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007791365,"about_ca_topic_score_gemma":0.000006085068,"domain_scores_codex":[0.9986999,0.00004603275,0.0004540527,0.0001385216,0.0005106129,0.0001508717],"domain_scores_gemma":[0.9990925,0.00004210324,0.000375515,0.0001711029,0.0002322513,0.00008651624],"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.00004041953,0.0001396709,0.0008528021,0.000005549096,0.00006244746,0.0001321671,0.001429915,0.005787529,0.00199895,0.7767299,0.0001110068,0.2127097],"study_design_scores_gemma":[0.01252511,0.0006789044,0.08631638,0.00314878,0.00004754145,0.01157541,0.000635827,0.186233,0.1002099,0.5764433,0.02083101,0.001354814],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02728561,0.0001536855,0.9640554,0.001347907,0.001703278,0.00005252413,7.437009e-7,0.00005716946,0.005343702],"genre_scores_gemma":[0.1717883,0.00009951457,0.8278236,0.00005478263,0.0001937604,0.000001654476,6.448531e-7,0.000006754857,0.00003092406],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2113549,"threshold_uncertainty_score":0.3437282,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0189341741581855,"score_gpt":0.3102065770582431,"score_spread":0.2912724029000576,"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."}}