{"id":"W2063502165","doi":"10.1016/j.asoc.2014.04.014","title":"Model checking probabilistic social commitments for intelligent agent communication","year":2014,"lang":"en","type":"article","venue":"Applied Soft Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Probabilistic logic; Multi-agent system; Artificial intelligence; Distributed computing; Computer security; Human–computer interaction","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.001808651,0.0001715231,0.0002128956,0.00006686013,0.0006848658,0.0001670392,0.001237248,0.00008470099,7.410959e-7],"category_scores_gemma":[0.0001588172,0.0001857244,0.00007338788,0.0002049728,0.00006736719,0.0001388948,0.0005371112,0.0001784621,0.00001666733],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001580072,"about_ca_system_score_gemma":0.00003463567,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003548035,"about_ca_topic_score_gemma":0.000001130958,"domain_scores_codex":[0.998477,0.0001115992,0.0004335926,0.0003928034,0.0002426462,0.0003423022],"domain_scores_gemma":[0.9985055,0.0003428322,0.0002947263,0.0006830876,0.0001153962,0.00005849229],"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.000006341623,0.00006174842,0.00001672686,0.00004825063,0.00001158859,2.524009e-8,0.002691369,0.03741758,0.000438645,0.7102452,0.0001180664,0.2489445],"study_design_scores_gemma":[0.0002406454,0.00002053424,0.0001534456,0.00001810566,0.000008866738,7.679818e-7,0.00004706387,0.9308307,0.001049549,0.06645477,0.0009903779,0.0001851384],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008235623,0.00001488737,0.9877215,0.0001609591,0.0001654245,0.0006861901,8.887512e-7,0.0003066996,0.002707822],"genre_scores_gemma":[0.5086392,6.798991e-7,0.4910127,0.0002236115,0.00004245647,0.00005301356,0.00000843967,0.0000111431,0.000008799821],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8934132,"threshold_uncertainty_score":0.757362,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07946400868594175,"score_gpt":0.3278603819312408,"score_spread":0.2483963732452991,"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."}}