{"id":"W3202312471","doi":"10.1142/s0218194023500171","title":"Exact Learning of Qualitative Constraint Networks from Membership Queries","year":2023,"lang":"en","type":"article","venue":"International Journal of Software Engineering and Knowledge Engineering","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Heuristics; Computer science; Constraint (computer-aided design); Theoretical computer science; 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.00278218,0.001669375,0.001343835,0.001306805,0.0007658898,0.001775872,0.002847419,0.002075206,0.004941016],"category_scores_gemma":[0.02540443,0.0008606558,0.001108425,0.001993004,0.001197333,0.004831932,0.002164369,0.003168928,0.0005433604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002984355,"about_ca_system_score_gemma":0.003141853,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02094655,"about_ca_topic_score_gemma":0.02949376,"domain_scores_codex":[0.9979109,0.0007876049,0.0001198551,0.0005328031,0.000456651,0.0001921019],"domain_scores_gemma":[0.9784111,0.01792976,0.0009187083,0.001000735,0.001373799,0.0003658836],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001560706,0.0001329826,0.00146653,0.0001826815,0.00004507119,0.0001031046,0.0001280946,0.9077089,0.0006841673,0.008496605,0.003297799,0.07759801],"study_design_scores_gemma":[0.0000149061,0.0000108035,0.00008084571,0.000006885746,0.000003505193,0.00001081762,0.00002355593,0.9919303,0.0003000101,0.007334766,0.000279998,0.000003520607],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04807013,0.0003422851,0.9458182,0.0008197204,0.00003210786,0.0002506174,0.0009861446,0.001172844,0.002507934],"genre_scores_gemma":[0.5305026,0.0003445013,0.4602326,0.0006320952,0.00007897622,0.0005412137,0.004476896,0.0002777136,0.002913286],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02094655,"threshold_uncertainty_score":0.04164928,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01972674333613996,"score_gpt":0.2805378432091755,"score_spread":0.2608110998730355,"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."}}