بحث الگو:دانش محاسبه‌پذیر