{"id":"W1865029539","doi":"10.1007/978-1-4615-1567-8_3","title":"Two Approaches to Efficient Open-World Reasoning","year":2000,"lang":"en","type":"book-chapter","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Simple (philosophy); Computer science; Word (group theory); Artificial intelligence; Natural language processing; Epistemology; Linguistics; Philosophy","routes":{"ca_aff":true,"ca_fund":false,"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.003594906,0.001531085,0.001815046,0.003692776,0.002702613,0.01122229,0.008058324,0.004224414,0.02806411],"category_scores_gemma":[0.01701634,0.001756007,0.003233964,0.004526893,0.006792174,0.02658212,0.01139952,0.008405233,0.006523877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002602772,"about_ca_system_score_gemma":0.002391047,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002474736,"about_ca_topic_score_gemma":0.003086912,"domain_scores_codex":[0.9934964,0.001559825,0.0003741887,0.0009561206,0.002995837,0.0006176765],"domain_scores_gemma":[0.9907278,0.003978222,0.0002686074,0.003651229,0.001037589,0.0003366341],"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.00004653219,0.00007105427,0.00006097792,0.0001021424,0.00001522466,0.00003291335,0.0002695663,0.001854902,0.0003105394,0.9365312,0.007050765,0.05365413],"study_design_scores_gemma":[0.00003223192,0.0000116925,0.00005703242,0.00004576259,0.00002103944,0.00009801364,0.0001035207,0.0224624,0.0009639387,0.9534745,0.02271264,0.00001740326],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001621786,0.0008218554,0.9604896,0.002316498,0.0002201673,0.0001173235,0.0001870987,0.0006968454,0.03352877],"genre_scores_gemma":[0.08615171,0.001609825,0.8735663,0.0009431347,0.0005266443,0.0004589159,0.0008134382,0.0006146771,0.03531535],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02806411,"threshold_uncertainty_score":0.09388375,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1024910189599086,"score_gpt":0.2629422765639934,"score_spread":0.1604512576040847,"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."}}