{"id":"W4285604285","doi":"10.24963/ijcai.2022/360","title":"Epistemic Logic of Likelihood and Belief","year":2022,"lang":"en","type":"article","venue":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Probabilistic logic; Computer science; Sublanguage; Probabilistic argumentation; Semantics (computer science); Belief revision; Modal logic; Theoretical computer science; Event (particle physics); Artificial intelligence; Epistemic modal logic; Datalog; Epistemology; Multimodal logic; Description logic; Programming language; Modal","routes":{"ca_aff":true,"ca_fund":true,"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.0007980685,0.0002143008,0.00029873,0.0002166203,0.0003257513,0.0001330609,0.002347715,0.00005760283,0.0001861217],"category_scores_gemma":[0.0004018815,0.0001667285,0.0001530122,0.0004308687,0.0002884367,0.0002875976,0.001596748,0.0003934258,0.0000233154],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001088187,"about_ca_system_score_gemma":0.000110714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006763719,"about_ca_topic_score_gemma":0.00001627171,"domain_scores_codex":[0.9977382,0.00002901946,0.0006730154,0.0005000567,0.0007838084,0.0002758934],"domain_scores_gemma":[0.9981763,0.0001219871,0.0006588581,0.0002464664,0.0007143735,0.0000820624],"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.00004716549,0.0002412404,0.0006647935,0.00003699333,0.00003009192,0.000001004351,0.001923107,0.00006697294,0.01024304,0.9752864,0.0001472154,0.01131199],"study_design_scores_gemma":[0.00008775125,0.0005214083,0.001191719,0.0002000522,0.00001639341,0.00005673501,0.001388313,0.04519062,0.1396673,0.8107651,0.0006096979,0.0003048801],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.663126,0.0005853973,0.06682502,0.06010564,0.00714195,0.001980019,0.0001113626,0.0004432655,0.1996814],"genre_scores_gemma":[0.997519,0.00008788887,0.001717169,0.0002492653,0.00006973682,0.00004209221,0.000001164409,0.000009902855,0.0003037674],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.334393,"threshold_uncertainty_score":0.6798991,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05277767543155166,"score_gpt":0.2654178339863315,"score_spread":0.2126401585547798,"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."}}