{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008930427,0.0001343641,0.0003253146,0.0008569983,0.0001884464,0.0004644241,0.001671394,0.0001063792,0.0000166499],"category_scores_gemma":[0.001655243,0.000106667,0.000130114,0.001147664,0.0001381312,0.0005442341,0.000295147,0.000926449,0.0002715744],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003060695,"about_ca_system_score_gemma":0.0004058302,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001557057,"about_ca_topic_score_gemma":0.0002420096,"domain_scores_codex":[0.9962389,0.000838667,0.0008917236,0.0002945961,0.00107149,0.000664554],"domain_scores_gemma":[0.9973171,0.000928401,0.000217697,0.0004118577,0.0008793408,0.0002456189],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006183568,0.0005006472,0.001193215,0.00007004569,0.00002744389,0.0002316551,0.004304941,0.006723003,0.005844694,0.2108182,0.0003816159,0.7698427],"study_design_scores_gemma":[0.00008728135,0.0007457115,0.001083954,0.0003505792,0.000003798792,0.0001715347,0.001275353,0.9606193,0.006116692,0.02440537,0.004906479,0.000233907],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1276387,0.00123231,0.8643267,0.0007891065,0.001610535,0.0002403788,3.728035e-7,0.00002725307,0.004134659],"genre_scores_gemma":[0.9957827,0.0001585627,0.003392097,0.00001501466,0.000330252,0.000003860585,1.725823e-7,0.00001042169,0.0003069148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9538963,"threshold_uncertainty_score":0.4478452,"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."}}