{"id":"W3035383473","doi":"10.24963/ijcai.2020/9","title":"Formalizing Group and Propagated Trust in Multi-Agent Systems","year":2020,"lang":"en","type":"article","venue":"","topic":"Access Control and Trust","field":"Social Sciences","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Model checking; Satisfiability; Temporal logic; Branching (polymer chemistry); Theoretical computer science; Formal verification; Group (periodic table); Linear temporal logic; Programming language; Distributed computing","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.004726494,0.00071295,0.0005401004,0.001169377,0.001197314,0.003080308,0.001863036,0.00157535,0.002480665],"category_scores_gemma":[0.008306535,0.0005488168,0.001747021,0.001111305,0.00473361,0.005324851,0.003099348,0.003072504,0.000236952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002467549,"about_ca_system_score_gemma":0.002438532,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009864097,"about_ca_topic_score_gemma":0.007543874,"domain_scores_codex":[0.9962462,0.00136195,0.0002370688,0.000428804,0.001296117,0.000429796],"domain_scores_gemma":[0.9934181,0.004234882,0.0007143499,0.0007638976,0.0006011004,0.0002677168],"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.00004841133,0.00004975088,0.0005332736,0.0000683044,0.00003737493,0.000314837,0.0009725197,0.08941808,0.002243046,0.8989275,0.0004098893,0.006977085],"study_design_scores_gemma":[0.00006619348,0.00005017126,0.0001863932,0.00005422975,0.00005983819,0.0001244096,0.0002456379,0.444581,0.002990173,0.5458196,0.005790758,0.0000314987],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02455885,0.0002116134,0.9694458,0.0006295775,0.00004312018,0.00008205935,0.00008631041,0.0002586397,0.004683929],"genre_scores_gemma":[0.7093987,0.0002586917,0.2874038,0.0001649193,0.00007291153,0.0001736511,0.0001409396,0.00005557311,0.00233078],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009864097,"threshold_uncertainty_score":0.0249964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06629291333600006,"score_gpt":0.30314944051513,"score_spread":0.2368565271791299,"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."}}