{"id":"W1502812478","doi":"10.1007/978-1-4419-6984-2_10","title":"The Cognitive Agents Specification Language and Verification Environment","year":2010,"lang":"en","type":"book-chapter","venue":"","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University; University of Toronto","funders":"","keywords":"Computer science; Programming language; Specification language; Language Of Temporal Ordering Specification; Verification; Software engineering; 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.0002221975,0.0001523933,0.0001028947,0.0000423022,0.0002144295,0.0001583235,0.0002685978,0.0001566025,0.0001508697],"category_scores_gemma":[0.000009792461,0.0001081071,0.00003841609,0.00001029443,0.00005726281,0.0001294488,0.00009160955,0.0001760284,0.0004910106],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003323649,"about_ca_system_score_gemma":0.00001263283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001339981,"about_ca_topic_score_gemma":0.00001509611,"domain_scores_codex":[0.999037,0.00001979285,0.0002189013,0.0003635006,0.0002570129,0.0001037763],"domain_scores_gemma":[0.9991269,0.00008930288,0.0002325685,0.0004706069,0.00002866104,0.00005195795],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000008413512,0.00002782706,0.00002968323,0.00002692467,0.00006747826,0.000005441321,0.002909706,6.446095e-7,0.003787058,0.7291104,0.001500396,0.2625261],"study_design_scores_gemma":[0.0006244416,0.00007219117,0.01104565,0.000115914,0.00005472547,0.00001768238,0.0002416161,0.004896334,0.003938872,0.004835541,0.9734544,0.0007026784],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001053113,0.001399919,0.3816669,0.001260785,0.001154137,0.00172433,0.00002767756,0.0001813517,0.6115318],"genre_scores_gemma":[0.1185223,0.002821335,0.003372682,0.000178506,0.0003995849,0.00005991649,0.0001352747,0.00003936328,0.8744711],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9719539,"threshold_uncertainty_score":0.6311111,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02385588057945675,"score_gpt":0.2310771923677398,"score_spread":0.2072213117882831,"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."}}