{"id":"W1587611405","doi":"10.1007/3-540-44886-1_28","title":"Situation Event Logic for Early Validation of Multi-Agent Systems","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Scope (computer science); Event (particle physics); Set (abstract data type); Modal logic; Modal; Multi-agent system; Modal operator; Theoretical computer science; Programming language; Artificial intelligence; Multimodal logic; Description logic","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.0014922,0.0003884447,0.0005225374,0.0006420721,0.0001751424,0.0002913135,0.001299293,0.0003017995,0.000004664493],"category_scores_gemma":[0.0001105546,0.0003513925,0.0001699748,0.0003542915,0.0001358791,0.0005295381,0.0002271671,0.0002259177,0.00001624274],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003452598,"about_ca_system_score_gemma":0.0002182039,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000518974,"about_ca_topic_score_gemma":0.00001694108,"domain_scores_codex":[0.9966484,0.00007726458,0.0008708733,0.001090797,0.0009032146,0.0004095081],"domain_scores_gemma":[0.9972863,0.0003052288,0.0008496454,0.0009268777,0.0005276794,0.0001042224],"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.00002209766,0.0002853997,0.0005924496,0.0009185516,0.00007858984,0.00001769316,0.004577645,0.6868978,0.004733355,0.1034325,0.0001077557,0.1983362],"study_design_scores_gemma":[0.0006582988,0.0002782597,0.0003594788,0.0005329835,0.00001709949,0.00001538685,4.996858e-7,0.978002,0.006656878,0.01242023,0.0005258962,0.0005330329],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0005007249,0.0004265491,0.9936597,0.000147464,0.003508519,0.001524467,0.00001094545,0.00006674146,0.0001548426],"genre_scores_gemma":[0.7134181,0.00003174023,0.2853313,0.000252963,0.0003167871,0.00006892635,0.00002418833,0.00003637098,0.0005196056],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7129173,"threshold_uncertainty_score":0.9998938,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04715022929179229,"score_gpt":0.2791518063589417,"score_spread":0.2320015770671494,"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."}}