{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0022578,0.00148816,0.0009205293,0.001577938,0.002078776,0.007097004,0.00308405,0.002514948,0.02973045],"category_scores_gemma":[0.01052247,0.0009470093,0.002280631,0.002050869,0.003817597,0.01226568,0.005291228,0.004429953,0.006801721],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002004598,"about_ca_system_score_gemma":0.002491446,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004816543,"about_ca_topic_score_gemma":0.005831518,"domain_scores_codex":[0.9965656,0.001134416,0.0003108527,0.0007260882,0.001037638,0.0002254374],"domain_scores_gemma":[0.9969314,0.00195963,0.0001414452,0.000490182,0.0003803147,0.00009704664],"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.00003034069,0.00003536168,0.0002138117,0.0004207102,0.00004969416,0.0003503579,0.0007563474,0.003686927,0.0004466644,0.8948432,0.03412807,0.06503862],"study_design_scores_gemma":[0.00002211996,0.00001020172,0.0001043747,0.0002464658,0.00002462348,0.0003049368,0.0003851563,0.008433392,0.0008055994,0.7486843,0.2409546,0.00002414503],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.006666917,0.00871121,0.5655383,0.01477132,0.001580892,0.0004033239,0.002737063,0.001430806,0.3981602],"genre_scores_gemma":[0.2124156,0.01412264,0.5826487,0.004581217,0.001544717,0.0009705023,0.009539516,0.0009237734,0.1732534],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02973045,"threshold_uncertainty_score":0.09945822,"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."}}