{"id":"W4231023460","doi":"10.4324/9781315262628","title":"An Invitation to Formal Reasoning","year":2017,"lang":"en","type":"book","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01317004,0.001416028,0.001161606,0.001837009,0.004741731,0.008624391,0.003522682,0.007720283,0.02875209],"category_scores_gemma":[0.03817734,0.000768717,0.0032968,0.001411532,0.01790795,0.01793362,0.009524046,0.01655011,0.0138155],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006843722,"about_ca_system_score_gemma":0.0046367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00249197,"about_ca_topic_score_gemma":0.001293566,"domain_scores_codex":[0.9841384,0.006104401,0.0009323015,0.002238089,0.005789993,0.0007967268],"domain_scores_gemma":[0.9812557,0.01211971,0.0005519126,0.00193534,0.003512917,0.0006244594],"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.000006881023,0.00001216637,0.00002957794,0.00004577164,0.000004426963,0.00004501091,0.000379975,0.000133491,0.00005019099,0.9082056,0.08311632,0.007970644],"study_design_scores_gemma":[0.000007014865,0.000009036001,0.00002587538,0.0001053875,0.000003163832,0.00007795848,0.000081981,0.0003534677,0.00006491264,0.5058011,0.4934589,0.00001101352],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"other","genre_scores_codex":[0.001355055,0.01990259,0.1806281,0.4417735,0.04554011,0.0002281979,0.0006967851,0.001264171,0.3086115],"genre_scores_gemma":[0.09941623,0.02210747,0.142511,0.1885131,0.0719689,0.002449065,0.001908121,0.002255078,0.468871],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02875209,"threshold_uncertainty_score":0.09618533,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02144416905146842,"score_gpt":0.2787513157480034,"score_spread":0.257307146696535,"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."}}