{"id":"W1487388161","doi":"10.1109/icci-cc.2015.7259376","title":"Formal properties and rules of concept algebra","year":2015,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Algebra over a field; Computer science; Mathematical proof; Algebraic number; Set (abstract data type); Term algebra; Algebraic operation; Algebra representation; Mathematics; Two-element Boolean algebra; Programming language; Pure 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007932547,0.0005842157,0.0008045661,0.003047784,0.002571267,0.006492257,0.001672328,0.001414586,0.004540845],"category_scores_gemma":[0.01903024,0.0006155994,0.001998111,0.002496884,0.009517778,0.01091823,0.002451892,0.004840055,0.001598031],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00183747,"about_ca_system_score_gemma":0.001997395,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002000946,"about_ca_topic_score_gemma":0.001199526,"domain_scores_codex":[0.9918888,0.002404572,0.001122088,0.00138203,0.002724111,0.0004784137],"domain_scores_gemma":[0.9888769,0.006126292,0.0008286785,0.00126576,0.00258821,0.0003141301],"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.00000443221,0.000008043633,0.00004996666,0.00002685001,0.000005560218,0.00002955879,0.000133874,0.0004303331,0.000206462,0.9955177,0.0004292181,0.003157956],"study_design_scores_gemma":[0.000006922104,0.000006026872,0.00003827234,0.00001738492,0.000005461206,0.00005736117,0.00003120693,0.00221911,0.0003638049,0.9920505,0.005194478,0.000009531301],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02194327,0.002736999,0.9038489,0.002687011,0.0005992915,0.0002289263,0.0009198013,0.0004919816,0.06654373],"genre_scores_gemma":[0.5342792,0.003647175,0.4472995,0.00121212,0.001526337,0.001051878,0.001780953,0.0003518794,0.008850906],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007932547,"threshold_uncertainty_score":0.04195178,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06039121750678859,"score_gpt":0.2309314483567156,"score_spread":0.170540230849927,"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."}}