{"id":"W2005725646","doi":"10.1109/coginf.2010.5599781","title":"Articular models for first-degree paraconsistent systems","year":2010,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Logical consequence; Computer science; Constructive; Propositional calculus; Completeness (order theory); Class (philosophy); Textual entailment; Simple (philosophy); Degree (music); Artificial intelligence; Set (abstract data type); Natural language processing; Representation (politics); Theoretical computer science; Mathematics; Programming language","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.001227843,0.000424621,0.0004133468,0.000860858,0.0008762727,0.002773162,0.001197424,0.001205468,0.007733526],"category_scores_gemma":[0.004324647,0.0003341948,0.0008013567,0.0008478416,0.002355133,0.004687512,0.001865469,0.002128586,0.000952077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001777066,"about_ca_system_score_gemma":0.0008414031,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002112533,"about_ca_topic_score_gemma":0.002940546,"domain_scores_codex":[0.9988499,0.0003678639,0.00005977962,0.000180266,0.0004232835,0.0001189165],"domain_scores_gemma":[0.9982198,0.0008242317,0.0001840776,0.0003343076,0.0003192186,0.0001183447],"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.000005578178,0.000005959088,0.00007996199,0.00001634723,0.000004105417,0.00003241471,0.0001367173,0.002762211,0.0003084531,0.994574,0.0003022625,0.001772137],"study_design_scores_gemma":[0.00001132545,0.00000966069,0.00004121468,0.000006773022,0.000005560253,0.00003757513,0.00007277456,0.02728547,0.000538587,0.9676686,0.004316211,0.000006237922],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07196463,0.0006526059,0.8695889,0.002595643,0.00008284366,0.0001244961,0.0005280626,0.0007506543,0.05371219],"genre_scores_gemma":[0.8506457,0.0004632956,0.1318832,0.0003206946,0.0001228969,0.0001800298,0.0004633882,0.00009350321,0.01582739],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007733526,"threshold_uncertainty_score":0.02587122,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04600415688643564,"score_gpt":0.2414202287709636,"score_spread":0.195416071884528,"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."}}