{"id":"W2139056146","doi":"10.1007/978-3-642-13338-1_8","title":"Verifiable Semantic Model for Agent Interactions Using Social Commitments","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Axiom; Semantics (computer science); Model checking; Delegation; Theoretical computer science; Protocol (science); Verifiable secret sharing; Programming language; Artificial intelligence; Software 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005573218,0.0003865204,0.0004272177,0.0005061277,0.0007146369,0.0005141995,0.001626475,0.0002309624,0.00001239534],"category_scores_gemma":[0.00003183144,0.0003740446,0.0001763962,0.0002335704,0.0001986482,0.0006839246,0.0005985158,0.0005759045,0.0000199879],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003561398,"about_ca_system_score_gemma":0.0003565643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006493495,"about_ca_topic_score_gemma":0.0001888146,"domain_scores_codex":[0.9973241,0.00002149339,0.0004953178,0.001025045,0.0006157382,0.0005182985],"domain_scores_gemma":[0.9983568,0.0001710209,0.0003655614,0.0007576245,0.0002381677,0.0001107898],"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.00002987633,0.000303453,0.0001251541,0.0004229584,0.0001145772,0.00004691217,0.01083934,0.6030099,0.02060442,0.04182838,0.0002530362,0.322422],"study_design_scores_gemma":[0.0002667472,0.00003134094,0.00002521335,0.0001519391,0.00001274602,0.00001981236,1.500618e-7,0.9735223,0.001088036,0.02352531,0.0009804891,0.0003759134],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004667114,0.00004179868,0.994198,0.0002641248,0.003810677,0.0007297759,0.00001494589,0.00009202839,0.0003819229],"genre_scores_gemma":[0.3553897,0.000005033507,0.6424239,0.0006152432,0.0006801675,0.0000279176,0.00001265281,0.00003999812,0.000805449],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3705124,"threshold_uncertainty_score":0.9998711,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06729214240359305,"score_gpt":0.3111899198086979,"score_spread":0.2438977774051048,"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."}}