{"id":"W2966225274","doi":"10.24963/ijcai.2019/244","title":"A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief","year":2019,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"University of Toronto","keywords":"Completeness (order theory); Computer science; Expressive power; Propositional calculus; Belief revision; Knowledge representation and reasoning; Logical consequence; First-order logic; Expressivity; Non-monotonic logic; Order (exchange); Artificial intelligence; Cognitive science; Theoretical computer science; Programming language; Mathematics; Psychology","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.003835873,0.0006334996,0.0007465279,0.001161543,0.001654927,0.00479658,0.002234637,0.002043977,0.002574378],"category_scores_gemma":[0.00816399,0.0005412127,0.001944733,0.00183253,0.004902378,0.009031872,0.003322518,0.003357537,0.0006149933],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0025795,"about_ca_system_score_gemma":0.002402717,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002641191,"about_ca_topic_score_gemma":0.002959975,"domain_scores_codex":[0.9972456,0.000929016,0.0001965398,0.0004664441,0.0009249499,0.0002376074],"domain_scores_gemma":[0.9951623,0.002985867,0.0005155322,0.0006195595,0.0004665454,0.0002500797],"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.00003048807,0.00003720829,0.000136078,0.0001431672,0.00002619798,0.0001979691,0.0004144364,0.006717482,0.001172087,0.9779773,0.001492281,0.01165535],"study_design_scores_gemma":[0.0000425347,0.00004683826,0.0001147628,0.0000565854,0.00004679352,0.000269349,0.00009953633,0.04966669,0.00224171,0.9344727,0.01290805,0.00003459979],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009072455,0.0008025464,0.9754126,0.003337454,0.00007253413,0.00009460136,0.0002634026,0.000399916,0.01054457],"genre_scores_gemma":[0.4029421,0.001520717,0.5860024,0.001085433,0.0003486533,0.0003406284,0.0004948822,0.00008715427,0.007178053],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00479658,"threshold_uncertainty_score":0.02028626,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01583570666477245,"score_gpt":0.2193562091721722,"score_spread":0.2035205025073998,"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."}}