{"id":"W3080880417","doi":"10.24963/kr.2020/62","title":"A First-Order Logic of Limited Belief Based on Possible Worlds","year":2020,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"University of Toronto","keywords":"Possible world; Computer science; Epistemic modal logic; Order (exchange); Sentence; Epistemology; Semantics (computer science); Artificial intelligence; Non-monotonic logic; Description logic; Multimodal logic; Philosophy; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004531343,0.0008698915,0.0007903949,0.002128192,0.002099813,0.00589368,0.002229495,0.00172865,0.004443184],"category_scores_gemma":[0.005944616,0.00067903,0.002737873,0.002202983,0.006697538,0.01290971,0.003272926,0.004721021,0.0007189394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003497393,"about_ca_system_score_gemma":0.002033373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004268723,"about_ca_topic_score_gemma":0.00417383,"domain_scores_codex":[0.996729,0.00127791,0.0002340836,0.0006209916,0.0008628524,0.0002751301],"domain_scores_gemma":[0.995841,0.002278084,0.0003611608,0.000486004,0.0007372983,0.0002964071],"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.0000154761,0.00001097345,0.00005586958,0.00002706204,0.00001065943,0.000042655,0.0002209501,0.001474336,0.0002116896,0.99409,0.00047442,0.003365797],"study_design_scores_gemma":[0.0000230878,0.00002158309,0.00006591596,0.0000333595,0.00002081519,0.00005997276,0.00008005536,0.01533762,0.0005963911,0.9755937,0.008144838,0.00002253268],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01377292,0.001151805,0.9374829,0.005038563,0.0002120619,0.0001477427,0.0005772797,0.0003530124,0.04126375],"genre_scores_gemma":[0.533785,0.001012533,0.4507685,0.001541619,0.0003049397,0.0003922461,0.0006399982,0.0000799503,0.01147521],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00589368,"threshold_uncertainty_score":0.02537549,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02811395451652016,"score_gpt":0.2382975380100321,"score_spread":0.2101835834935119,"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."}}