استدلال خودکار و بازنمایی دانش در سامانه‌های هوشمند