{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001518652,0.0001465576,0.0002563414,0.00008017429,0.00007340316,0.00006693408,0.0005569602,0.00007324544,0.0002594418],"category_scores_gemma":[0.00006359061,0.0001091542,0.00005203605,0.0002941386,0.00005066971,0.0003285946,0.0003244858,0.00009444145,0.000122409],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001080277,"about_ca_system_score_gemma":0.00004043843,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004908575,"about_ca_topic_score_gemma":0.0000364394,"domain_scores_codex":[0.9989103,0.00004273259,0.0002229086,0.0003700804,0.0001876536,0.0002663461],"domain_scores_gemma":[0.9989599,0.0002152797,0.0001187512,0.0004526399,0.0001624947,0.00009093907],"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.00007875222,0.001260686,0.04747742,0.0004019701,0.0001803371,0.00003859909,0.009021408,0.0003416478,0.02577489,0.8828521,0.01397434,0.01859781],"study_design_scores_gemma":[0.01117377,0.004076978,0.2663,0.0005719887,0.00009229738,0.0002472446,0.0008279406,0.4772968,0.01234698,0.05180762,0.1722684,0.002989921],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3750376,0.00170614,0.3046305,0.00120207,0.0007306212,0.0009119446,0.00001009862,0.0003981008,0.3153729],"genre_scores_gemma":[0.9726483,0.00006056485,0.02232904,0.0003268094,0.00002415261,0.000007967304,0.000002765732,0.000007409039,0.004593002],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8310445,"threshold_uncertainty_score":0.4451177,"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."}}