{"id":"W340913344","doi":"10.1613/jair.4192","title":"Multiagent Only Knowing in Dynamic Systems","year":2014,"lang":"en","type":"article","venue":"Journal of Artificial Intelligence Research","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"RWTH Aachen University; Deutsche Forschungsgemeinschaft","keywords":"Computer science; Extension (predicate logic); Epistemic modal logic; Order (exchange); Artificial intelligence; Monotonic function; Modal logic; Modal; Theoretical computer science; Epistemology; Description logic; Multimodal logic; Mathematics; Programming language; Philosophy","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.003142247,0.0005984015,0.0007223003,0.001116304,0.001640534,0.003348598,0.001253142,0.001668768,0.002132659],"category_scores_gemma":[0.005232442,0.0005466121,0.001433066,0.0007767548,0.005437065,0.006581346,0.003892957,0.00288684,0.0003489023],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002891233,"about_ca_system_score_gemma":0.001560692,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003405914,"about_ca_topic_score_gemma":0.002707401,"domain_scores_codex":[0.9973139,0.001016115,0.0001481022,0.0004766872,0.0007635269,0.0002816718],"domain_scores_gemma":[0.9967232,0.002042224,0.0002277259,0.0005166714,0.0002931625,0.0001969881],"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.000007402903,0.0000106922,0.00009706329,0.00002452076,0.00001004418,0.00007882465,0.0002599871,0.007028939,0.0002320947,0.9892544,0.0002911719,0.002704907],"study_design_scores_gemma":[0.00001071102,0.00001195859,0.00008623191,0.0000123201,0.00001288134,0.00004568305,0.0000694476,0.05558309,0.0004491887,0.9394766,0.0042298,0.00001200379],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04051175,0.001392578,0.9037042,0.003700033,0.0001160566,0.0001262746,0.0001578537,0.0003817304,0.04990948],"genre_scores_gemma":[0.8430942,0.0006996908,0.1462378,0.0005199457,0.0001806775,0.0002746121,0.0001938158,0.00008111389,0.0087181],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003405914,"threshold_uncertainty_score":0.02097744,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1177679315429566,"score_gpt":0.4046022042379217,"score_spread":0.2868342726949651,"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."}}