{"id":"W2807329888","doi":"","title":"Making Belnap's \"Useful 4-Valued Logic\" Useful.","year":2018,"lang":"en","type":"article","venue":"The Florida AI Research Society","topic":"Pragmatism in Philosophy and Education","field":"Arts and Humanities","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Programming language; Arithmetic; Mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":["sts","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.002987677,0.0001703784,0.0001635596,0.0000601484,0.003343981,0.0005923748,0.0007887574,0.00008983864,0.003942511],"category_scores_gemma":[0.000204742,0.0001140097,0.0001883118,0.0002175577,0.002156277,0.0004492145,0.0003076094,0.0007866974,0.001624822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001457117,"about_ca_system_score_gemma":0.0001596412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001678325,"about_ca_topic_score_gemma":0.00009391153,"domain_scores_codex":[0.9974898,0.0003627183,0.0002468752,0.0003286314,0.000836125,0.0007358286],"domain_scores_gemma":[0.9981477,0.0003546202,0.00006616418,0.0006647735,0.0006773609,0.00008933761],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002252078,0.0000487949,0.00005959879,0.00002952578,0.00006234406,9.763651e-7,0.09151737,0.000001120321,0.00007003636,0.531857,0.375763,0.0005677601],"study_design_scores_gemma":[0.0002788109,0.0002223768,0.00056556,0.00007510329,0.00002275143,0.000003900065,0.01375557,0.000805432,0.0004833245,0.3940861,0.5894517,0.0002493781],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3596712,0.001099195,0.0006948952,0.0895472,0.00922547,0.001753132,0.0001039014,0.0006283716,0.5372766],"genre_scores_gemma":[0.9748688,0.00005486067,0.0001606251,0.002884189,0.01442924,0.00009841713,0.00001421651,0.00003202111,0.007457688],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6151975,"threshold_uncertainty_score":0.9991525,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3413498060587561,"score_gpt":0.43183672712718,"score_spread":0.09048692106842388,"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."}}