{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001416677,0.00004571366,0.00007309289,0.00002073118,0.00002708195,0.00003309749,0.0001561609,0.00001732414,0.000002111197],"category_scores_gemma":[0.00002378504,0.00003212157,0.00001256267,0.00004736943,0.00006183739,0.0002066617,0.0002568564,0.00003333794,0.000004275345],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003085521,"about_ca_system_score_gemma":0.0000278976,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001541823,"about_ca_topic_score_gemma":0.000001348509,"domain_scores_codex":[0.999595,0.00002007136,0.00008266593,0.0001033549,0.0000874921,0.0001114335],"domain_scores_gemma":[0.9996926,0.00002723536,0.00002492926,0.00009855615,0.0001015907,0.00005504813],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001334281,0.00004363081,0.001005794,0.00001306893,0.00001689008,0.000003326991,0.004451162,0.00008156206,0.0001169115,0.126833,0.004597676,0.8628237],"study_design_scores_gemma":[0.002047176,0.0008985672,0.006919735,0.0001815444,0.00001312339,0.00007942918,0.0007140879,0.9061443,0.04927433,0.02690067,0.006264599,0.0005624848],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4274266,0.001026979,0.560252,0.0002429798,0.0001350189,0.00005790899,3.333109e-7,0.0000933933,0.01076484],"genre_scores_gemma":[0.9899673,0.000003490497,0.009606953,0.0001287418,0.0000331971,9.292398e-7,2.584033e-7,0.000001646419,0.0002574164],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9060627,"threshold_uncertainty_score":0.130988,"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."}}