{"id":"W1608057897","doi":"","title":"Integrating Abstract State Machines and Interpreted Systems for Situation Analysis decision support design","year":2008,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Executable; Traceability; Decision support system; Intelligent decision support system; Management science; Software engineering; Artificial intelligence; Programming language; Engineering","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.005872041,0.0008088602,0.000657009,0.001321584,0.0006637283,0.004539608,0.001869593,0.001285864,0.003084111],"category_scores_gemma":[0.01249733,0.0007520674,0.001317191,0.0008574267,0.004646142,0.00629,0.003251468,0.003227199,0.0004650526],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001583954,"about_ca_system_score_gemma":0.00209786,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001439034,"about_ca_topic_score_gemma":0.001459738,"domain_scores_codex":[0.9928702,0.004499038,0.0006222968,0.0004854288,0.001333964,0.000189164],"domain_scores_gemma":[0.9913672,0.005578759,0.0006997454,0.00133094,0.0007483034,0.0002750912],"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.000055476,0.00008025373,0.0004686293,0.0001725341,0.00006224184,0.0002050469,0.001092154,0.06367189,0.00205613,0.9013014,0.0006097805,0.03022447],"study_design_scores_gemma":[0.00004857121,0.00009360713,0.000151755,0.0001861213,0.00005383824,0.00009639293,0.0002431573,0.3241808,0.002776318,0.6581809,0.01394393,0.00004466152],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003651372,0.0001411423,0.9932041,0.0004296789,0.00003265187,0.00006579318,0.00001639006,0.0002220929,0.002236774],"genre_scores_gemma":[0.1712521,0.0002673125,0.8267843,0.0001782655,0.00006255332,0.0004171586,0.00007404731,0.00006002084,0.0009043291],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005872041,"threshold_uncertainty_score":0.03105468,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03126501942797347,"score_gpt":0.2760299137856316,"score_spread":0.2447648943576582,"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."}}