For example, the satplan algorithm uses logic for planning and inductive logic programming is a method for learning.
على سبيل المثال، خوارزمية satplan تستخدم المنطق للتخطيط، و برمجة المنطق الاستقرائي هي طريقة للتعلم.