{"id":"W2128924604","doi":"10.1145/544741.544746","title":"The cognitive agents specification language and verification environment for multiagent systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":77,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University; University of Toronto","funders":"","keywords":"Computer science; Programming language; Specification language; Language Of Temporal Ordering Specification; Multi-agent system; Formal verification; Formal specification; Frame (networking); Model checking; Verification; Software engineering; Artificial intelligence; Software system; Software","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.0001785759,0.00006775143,0.00005453131,0.00001618742,0.0002144099,0.0001502571,0.0001882886,0.00002621056,0.00001863404],"category_scores_gemma":[0.00003529083,0.00004389253,0.00002189832,0.00003901204,0.00003334307,0.0001076103,0.00004471237,0.00002779458,0.0001425124],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002971411,"about_ca_system_score_gemma":0.000002396403,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009491261,"about_ca_topic_score_gemma":0.000002515865,"domain_scores_codex":[0.9993998,0.00003869993,0.0001123907,0.0002199577,0.0001017034,0.0001274418],"domain_scores_gemma":[0.9995027,0.0001485987,0.00006039739,0.0002203115,0.00002435369,0.00004370462],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001956818,0.0004091939,0.0008891938,0.0000628241,0.00008585185,0.000004871757,0.02956459,0.00004623584,0.00224565,0.2550217,0.01526264,0.6963876],"study_design_scores_gemma":[0.001349634,0.0001765188,0.02418206,0.0000279951,0.00002710073,0.00001293988,0.004356346,0.7973886,0.003500574,0.0002380785,0.1683851,0.0003551582],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0198645,0.003410737,0.9630431,0.0004367114,0.000348631,0.0009750472,0.000004956287,0.00009021385,0.01182613],"genre_scores_gemma":[0.9920586,0.0005422798,0.001547798,0.00003512493,0.00006567786,0.0001236367,0.000005101489,0.0000042482,0.005617539],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9721941,"threshold_uncertainty_score":0.1831756,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04007593874261665,"score_gpt":0.2436014835689504,"score_spread":0.2035255448263338,"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."}}