{"id":"W4367840729","doi":"10.1016/j.fss.2023.108533","title":"Approximate bisimulations for fuzzy-transition systems","year":2023,"lang":"en","type":"article","venue":"Fuzzy Sets and Systems","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"National Natural Science Foundation of China","keywords":"Bisimulation; Nondeterministic algorithm; Mathematics; Fuzzy logic; Operator (biology); Function (biology); Characterization (materials science); Algorithm; Discrete mathematics; Computer science; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003109226,0.0009624349,0.00140484,0.001835839,0.001255583,0.003377972,0.002226941,0.001595438,0.005654759],"category_scores_gemma":[0.02002722,0.0008433963,0.001573723,0.001979299,0.002290053,0.006225896,0.003275594,0.00264507,0.0006955976],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002770777,"about_ca_system_score_gemma":0.001567128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002691603,"about_ca_topic_score_gemma":0.002601495,"domain_scores_codex":[0.9960961,0.001273792,0.0003515804,0.00071763,0.001166802,0.000394136],"domain_scores_gemma":[0.9898078,0.006486286,0.0008690116,0.001363639,0.00111933,0.0003540392],"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.0005027571,0.00009229009,0.0006893316,0.0001842189,0.0001174441,0.00009978804,0.0004504434,0.318855,0.002292502,0.6307338,0.0009716766,0.04501073],"study_design_scores_gemma":[0.00002815392,0.00004912224,0.00008841379,0.00002635145,0.00002537213,0.00003230733,0.00007819019,0.4696079,0.001952827,0.5271174,0.0009754997,0.00001855314],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.064898,0.0002990377,0.9296325,0.0002536467,0.0000576686,0.0001025025,0.0002116385,0.000473556,0.00407139],"genre_scores_gemma":[0.8109316,0.0003433567,0.1830928,0.0001888247,0.00006902359,0.0003485307,0.0006019231,0.000186209,0.004237684],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005654759,"threshold_uncertainty_score":0.02010351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0381943807865216,"score_gpt":0.2790001604778486,"score_spread":0.240805779691327,"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."}}