{"id":"W2093147846","doi":"10.4018/jcini.2007100106","title":"The Cognitive Processes of Formal Inferences","year":2007,"lang":"en","type":"article","venue":"International Journal of Cognitive Informatics and Natural Intelligence","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":63,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Inference; Abstraction; Process (computing); Cognition; Set (abstract data type); Artificial intelligence; Cognitive science; Causal inference; Propositional calculus; Theoretical computer science; Machine learning; Programming language; Epistemology; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02032255,0.0009540666,0.0007262456,0.00365109,0.001959789,0.008809789,0.002693292,0.002193143,0.00557471],"category_scores_gemma":[0.05530259,0.0009025232,0.002089154,0.001675807,0.01855104,0.01779894,0.004108677,0.004666338,0.001142934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003530908,"about_ca_system_score_gemma":0.003278277,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002412785,"about_ca_topic_score_gemma":0.001184885,"domain_scores_codex":[0.9846641,0.008677025,0.0009250304,0.001598532,0.003588283,0.0005468915],"domain_scores_gemma":[0.9661062,0.02610143,0.001692823,0.003805065,0.001959924,0.0003345155],"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.00001023742,0.00001197812,0.0001439754,0.00009538518,0.00001823796,0.00003208793,0.0009447057,0.001550909,0.0002492203,0.9861138,0.0004099042,0.0104196],"study_design_scores_gemma":[0.000007196434,0.000006738873,0.0000851873,0.00004526434,0.000008535959,0.0000332196,0.0001082997,0.003552914,0.0002693353,0.9913628,0.004510885,0.000009676271],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01803192,0.003599384,0.9188734,0.008757187,0.0002508068,0.0002228086,0.000203957,0.0004477058,0.0496128],"genre_scores_gemma":[0.5022309,0.0047273,0.4840134,0.001347274,0.0006387749,0.0006197601,0.0004097509,0.0002263321,0.005786454],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02032255,"threshold_uncertainty_score":0.1074772,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01704464258029417,"score_gpt":0.3092314498336148,"score_spread":0.2921868072533207,"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."}}