رشته هوش مصنوعی یک گرایش جدایی ناپذیر از مهندسی و علوم کامپیوتر است، هوش مصنوعی بخشی از خانواده علوم کامپیوتر است که با استفاده از مفاهیم علم کامپیوتر برای توسعه سیستم‌های هوشمندی که شبیه به انسان فکر می‌کنند، استفاده می‌کند.

مسئله‌ای که با منطق مرتبه اول و بنابراین با رهیافت عامل منطق‌گرا وجود دارد این است که:
عامل‌ها اغلب هیچگاه دسترسی کامل به تمام حقیقت درباره محیط خود را ندارند.
سؤالات بسیار مهمی وجود دارند که عامل نمی‌تواند پاسخ طبقه‌بندی شده به آن را بیابد. بنابراین باید تحت عدم قطعیت (uncertainity) عمل کند.