{"id":"W4211079681","doi":"10.1017/9781108164085.005","title":"Reasoning with Constraints","year":2017,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Transformational leadership; Appeal; Artificial intelligence; Space (punctuation); Comprehension; Cognitive science; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001598002,0.0003681306,0.0003606184,0.0001385701,0.0006096946,0.0002613114,0.001709403,0.0002900466,0.000002941166],"category_scores_gemma":[0.00001078315,0.0003879922,0.0001151619,0.000004031388,0.0004210157,0.0002416013,0.0005362167,0.0005966531,0.00002098171],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001000322,"about_ca_system_score_gemma":0.0003089129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009684521,"about_ca_topic_score_gemma":0.000001930212,"domain_scores_codex":[0.9985336,0.00003119212,0.0001253809,0.0006639777,0.0002992928,0.0003465704],"domain_scores_gemma":[0.9979354,0.00008598369,0.0003833312,0.001235203,0.0001536464,0.0002064093],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002506187,0.00000274073,0.00001046113,0.0000407749,0.0001031138,0.001336453,0.00008575512,0.00001061507,0.000003968657,0.9788637,0.01177757,0.007739781],"study_design_scores_gemma":[0.0005523603,0.00009329947,0.00002285519,0.0011054,0.0000946362,0.0001382841,0.000008248994,0.0008528604,0.00009380328,0.00002592834,0.996336,0.0006763276],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00001281905,0.00008718017,0.07077312,0.00002689214,0.000164047,0.000184771,0.0000640842,0.0002801604,0.928407],"genre_scores_gemma":[0.002176204,0.00001522641,0.007324695,0.00005540629,0.00007478067,3.555804e-7,0.00002036423,0.00002906952,0.9903039],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9845584,"threshold_uncertainty_score":0.9998572,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02079924289910996,"score_gpt":0.1946481557597843,"score_spread":0.1738489128606744,"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."}}