{"id":"W2434144965","doi":"10.1609/aaai.v30i1.10108","title":"A First-Order Logic of Probability and Only Knowing in Unbounded Domains","year":2016,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Vlaamse regering; University of Toronto; Fonds Wetenschappelijk Onderzoek","keywords":"Probabilistic logic; Knowledge base; Computer science; Belief revision; Order (exchange); Logical consequence; Base (topology); Artificial intelligence; Theoretical computer science; Mathematics","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.005121236,0.000936178,0.001037586,0.002101456,0.002897382,0.00632724,0.002267605,0.002676489,0.004444523],"category_scores_gemma":[0.007202191,0.0009324952,0.002608565,0.002182794,0.008511677,0.01529595,0.003618825,0.005279826,0.0008053961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003477731,"about_ca_system_score_gemma":0.002654746,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004159373,"about_ca_topic_score_gemma":0.004870011,"domain_scores_codex":[0.9963651,0.001110111,0.0003462085,0.0008132314,0.0009687212,0.0003965385],"domain_scores_gemma":[0.9930951,0.004142547,0.0006179833,0.0009011202,0.0008291057,0.0004141626],"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.000006517005,0.000004990051,0.00005215556,0.00001657082,0.000006090915,0.00006307117,0.0001253752,0.0008201626,0.00009820167,0.9968148,0.0003530782,0.001638982],"study_design_scores_gemma":[0.00000905142,0.000009064204,0.00005594969,0.00001397606,0.00001489379,0.00009490444,0.00002865564,0.007115461,0.000279836,0.9880151,0.004350021,0.00001306752],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01205836,0.00080708,0.9403859,0.004710681,0.0002346347,0.00008499251,0.0005372348,0.0004388349,0.04074237],"genre_scores_gemma":[0.6165627,0.001408969,0.3585766,0.002190003,0.0009088208,0.0003149449,0.0008329892,0.0001719026,0.01903316],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00632724,"threshold_uncertainty_score":0.02708399,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06535929149130568,"score_gpt":0.2797917303073284,"score_spread":0.2144324388160227,"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."}}