{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007775808,0.0002032785,0.0003247925,0.0001282443,0.0001249129,0.00009718169,0.001330707,0.0001023862,0.00002645073],"category_scores_gemma":[0.001267546,0.0001179509,0.00007884789,0.0006903143,0.0005480394,0.0004098705,0.00051084,0.0001620346,0.00001819435],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006623236,"about_ca_system_score_gemma":0.0001716511,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007039306,"about_ca_topic_score_gemma":0.000233415,"domain_scores_codex":[0.9982314,0.0000271734,0.0005560204,0.0005321406,0.0003106748,0.0003426089],"domain_scores_gemma":[0.9984778,0.0002384178,0.0003248228,0.00030288,0.0005802891,0.00007576088],"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.00004175349,0.0001774008,0.005810327,0.00006561595,0.000006807973,3.829342e-7,0.001715656,0.000003820371,0.01234508,0.9442359,0.00001306331,0.03558415],"study_design_scores_gemma":[0.00009301819,0.0002807127,0.004837555,0.0005597915,0.000007419579,0.000006563779,0.000183847,0.007449839,0.1092717,0.8769895,0.00008934006,0.0002306823],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8949345,0.00009485382,0.07400604,0.00613775,0.0003700072,0.0009214151,0.000004358397,0.00009956167,0.02343149],"genre_scores_gemma":[0.9934513,0.00006063379,0.006200618,0.00005300829,0.00002388821,0.00001872395,5.077943e-8,0.000006599468,0.0001851543],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0985168,"threshold_uncertainty_score":0.4809897,"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."}}