{"id":"W2605185012","doi":"10.3233/fi-2017-1519","title":"SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication","year":2017,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Model checking; Symbolic communication; Semantics (computer science); Autonomous agent; Human–computer interaction; Intelligent agent; Artificial intelligence; Theoretical computer science; Programming language","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.003320422,0.001452861,0.00120823,0.002445675,0.001009966,0.002725133,0.0038784,0.001654608,0.00634777],"category_scores_gemma":[0.01402447,0.0009298876,0.00239876,0.001261408,0.002392303,0.004105232,0.003010054,0.003236723,0.001210624],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002425832,"about_ca_system_score_gemma":0.007118068,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01086803,"about_ca_topic_score_gemma":0.01229442,"domain_scores_codex":[0.9948844,0.001354821,0.0004074597,0.0006568754,0.002333511,0.0003627694],"domain_scores_gemma":[0.9920651,0.00432263,0.0006236308,0.001404954,0.001419249,0.0001643742],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008678076,0.0003507455,0.004253198,0.001153383,0.000396402,0.0007285458,0.0007364092,0.429329,0.03163269,0.2565227,0.02435319,0.2496761],"study_design_scores_gemma":[0.0001123395,0.0001002117,0.0001716619,0.00006617374,0.00008522326,0.0001023531,0.00005300052,0.9279785,0.01824356,0.03431936,0.01872467,0.00004296675],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006708618,0.00007564947,0.975821,0.0002198534,0.0001013881,0.0001746717,0.0004303327,0.01443003,0.00203848],"genre_scores_gemma":[0.1797806,0.0002067136,0.8104599,0.0004673005,0.00009706189,0.0005752142,0.00198186,0.001804578,0.004626745],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01086803,"threshold_uncertainty_score":0.02160954,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1291633609914421,"score_gpt":0.3750386201418049,"score_spread":0.2458752591503628,"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."}}