{"id":"W2237745239","doi":"","title":"Modeling and Verifying Probabilistic Social Commitments in Multi-Agent Systems","year":2015,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Concordia University","keywords":"Probabilistic logic; Correctness; Computer science; Model checking; Probabilistic CTL; Multi-agent system; Verifiable secret sharing; Context (archaeology); Theoretical computer science; Artificial intelligence; Probabilistic analysis of algorithms; Algorithm; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006340973,0.000880308,0.0007981145,0.001200608,0.001392546,0.003515771,0.003337486,0.001907065,0.001704149],"category_scores_gemma":[0.0187554,0.0008130439,0.001949631,0.0007607358,0.004191232,0.005284075,0.005549146,0.003212547,0.0002517303],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00300118,"about_ca_system_score_gemma":0.003883534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009314487,"about_ca_topic_score_gemma":0.00736911,"domain_scores_codex":[0.9920977,0.00302518,0.0005207731,0.00103464,0.002687453,0.0006342437],"domain_scores_gemma":[0.9882056,0.008413804,0.001128814,0.001086673,0.0008553081,0.0003099104],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001044738,0.00009151104,0.001511163,0.0001554092,0.0000736012,0.0004849804,0.000849689,0.4565001,0.003844343,0.5204465,0.0006007983,0.01533742],"study_design_scores_gemma":[0.00003313868,0.00003971207,0.0001193855,0.00002126871,0.00002598016,0.00004812426,0.0001002076,0.8653823,0.002793035,0.1294839,0.001932991,0.00001995539],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04329707,0.0001250951,0.9515174,0.0007196385,0.00003344047,0.0001945357,0.0001296281,0.000716636,0.003266503],"genre_scores_gemma":[0.7398853,0.0002565914,0.2565037,0.0002234803,0.0000735085,0.0003713179,0.0002862375,0.00009114519,0.002308781],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009314487,"threshold_uncertainty_score":0.03353465,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1007800320010015,"score_gpt":0.3293852558243314,"score_spread":0.2286052238233299,"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."}}