{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003468659,0.001696566,0.001279198,0.001901199,0.001432238,0.00719456,0.004129189,0.0023442,0.0223027],"category_scores_gemma":[0.007410207,0.002059911,0.001780149,0.002513817,0.002843827,0.007595443,0.002406179,0.005455804,0.01797668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002165057,"about_ca_system_score_gemma":0.004813292,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004478059,"about_ca_topic_score_gemma":0.003186038,"domain_scores_codex":[0.997439,0.0007818008,0.0002942038,0.0002946244,0.001021924,0.0001683596],"domain_scores_gemma":[0.9969695,0.001406758,0.0001282742,0.0007222215,0.0006825125,0.00009076037],"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.00003287442,0.00003543829,0.00007109908,0.000298049,0.00001602437,0.0001421224,0.0003183945,0.003978281,0.00117938,0.8761749,0.03240542,0.08534805],"study_design_scores_gemma":[0.00004305179,0.00002307774,0.00007683511,0.0002607723,0.00002713006,0.0003371215,0.000099224,0.02173577,0.003668646,0.6156965,0.3579838,0.00004811645],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006362585,0.001345149,0.9337139,0.0008959819,0.0003957541,0.0002096849,0.0006487788,0.003442894,0.05871151],"genre_scores_gemma":[0.03665654,0.00365081,0.8762782,0.0009198913,0.0003832559,0.001096552,0.002728121,0.003351449,0.07493527],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0223027,"threshold_uncertainty_score":0.07460999,"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."}}