{"id":"W3160140704","doi":"","title":"Representing Argumentation with Constraint Handling Rules","year":2018,"lang":"en","type":"article","venue":"SSRN Electronic Journal","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Argumentation theory; Backward chaining; Defeasible estate; Computer science; Inference; Logic programming; Constraint (computer-aided design); Defeasible reasoning; Theoretical computer science; Forward chaining; Chaining; Artificial intelligence; Natural language processing; Programming language; Inference engine; Epistemology; Mathematics; Expert system; Psychology","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.004239888,0.001220963,0.0008730269,0.00231307,0.001471671,0.007172385,0.003265401,0.00270621,0.008818504],"category_scores_gemma":[0.01190376,0.0007293758,0.002309776,0.00331531,0.002426862,0.006540083,0.002522306,0.003289856,0.003113936],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001395773,"about_ca_system_score_gemma":0.001999991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004804385,"about_ca_topic_score_gemma":0.003261433,"domain_scores_codex":[0.995241,0.002024175,0.0007326194,0.0005911114,0.001115011,0.0002960526],"domain_scores_gemma":[0.9948635,0.002662607,0.0004273562,0.001045346,0.000855242,0.0001460638],"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.00007307134,0.0000529704,0.0002240996,0.0002368456,0.00003916393,0.00041246,0.0008175775,0.04757616,0.00309561,0.8873904,0.004901611,0.05518001],"study_design_scores_gemma":[0.0001137839,0.00005727997,0.0001310057,0.0001545168,0.0000830179,0.0004194977,0.0002208712,0.277064,0.01061396,0.5493841,0.1616579,0.0001000257],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004799946,0.0002056314,0.9801772,0.0004119869,0.000104855,0.0001754387,0.0006984773,0.002042682,0.01138376],"genre_scores_gemma":[0.0885419,0.0004255909,0.9018409,0.0002323917,0.00008026172,0.000471961,0.00160592,0.0004366862,0.006364318],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008818504,"threshold_uncertainty_score":0.02950084,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01215520430643237,"score_gpt":0.2514296768246534,"score_spread":0.2392744725182211,"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."}}