{"id":"W2404787561","doi":"10.3233/978-1-61499-098-7-498","title":"Efficient Reasoning in Multiagent Epistemic Logics","year":2012,"lang":"en","type":"book-chapter","venue":"Frontiers in artificial intelligence and applications","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Epistemology; Computer science; Artificial intelligence; Multi-agent system; Cognitive science; Philosophy; Psychology","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.00495979,0.0009060662,0.0009389919,0.001086468,0.001166673,0.004417061,0.002097915,0.001198027,0.003423973],"category_scores_gemma":[0.008112506,0.0008547165,0.00156814,0.001471197,0.002411143,0.007931943,0.004260498,0.002864018,0.000710077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002711892,"about_ca_system_score_gemma":0.001298519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002927975,"about_ca_topic_score_gemma":0.003111377,"domain_scores_codex":[0.9956097,0.001707867,0.0003497542,0.0005927998,0.001422029,0.0003178527],"domain_scores_gemma":[0.9957119,0.002979897,0.0002202726,0.0007,0.0002953054,0.00009257399],"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.0001137371,0.00009447966,0.0002825014,0.0003113284,0.00008421134,0.0002375753,0.0004651468,0.06837101,0.002373413,0.8471883,0.002915252,0.077563],"study_design_scores_gemma":[0.00003728014,0.00001585261,0.00006939354,0.00003543738,0.00003208338,0.00005730815,0.00007024796,0.1747309,0.002094387,0.8168563,0.005987103,0.00001370337],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01301616,0.0008990149,0.9744985,0.001020499,0.0000329564,0.0001205727,0.000134277,0.0005917566,0.009686226],"genre_scores_gemma":[0.2832664,0.001067736,0.7076425,0.0002833135,0.0001117946,0.0002656244,0.0004908703,0.0001363687,0.006735366],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00495979,"threshold_uncertainty_score":0.02623022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04115961271224455,"score_gpt":0.2673035660861798,"score_spread":0.2261439533739352,"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."}}