الذكاء الاصطناعي, تقييد القيود, حل المشكلات, علوم الحاسوبطريقة الت分解 (Constraint Satisfaction Decomposition Method)